aboutsummaryrefslogtreecommitdiff
path: root/README.md
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.