blob: 2cce7bf3424c1fc0ea9e6bdf5dcf3f2572d0c8ba (
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
|
# UPEM / L3 Info / Functional programming / Project: URM
Unlimited Register Machine in OCaml.
## Requirements
* ocaml
* GNU Make
* [OCaml Makefile](https://mmottl.github.io/ocaml-makefile/)
* [kaputt](http://kaputt.x9c.fr/)
## Make targets
* Build: `make nc` produces a binary named `urm`
* Test: `make test`
* Clean: `make clean`
## Usage
```
./urm <run | trace> <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.
|