blob: f19a884b3b0c0b7b564229aeb329a932a4b3ea16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
# UPEM / L3 Info / Functional programming / Project: URM
Unlimited Register Machine in OCaml.
## Requirements
* ocaml (≥4.05.0)
* GNU Make
* [OCaml Makefile](https://mmottl.github.io/ocaml-makefile/)
* [kaputt](http://kaputt.x9c.fr/)
## Make targets
In the `src` directory:
* Build: `make nc` produces a binary named `urm`
* Test: `make test`
* Clean: `make clean`
## Usage
```
./urm <run | trace> <urm | eurm> <program file> <initial register state file>
```
Examples programs are provided in the `examples` folder.
## Authors
* Pacien TRAN-GIRARD
* Adam NAILI
## License
Project distributed under the terms of the Creative Commons BY-NC-SA 3.0 license.
|