| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Move sources to dedicated directory | pacien | 2018-04-29 |
| | | |||
| * | Document eurm transformation functions | pacien | 2018-04-21 |
| | | |||
| * | Add EURM interface | pacien | 2018-04-21 |
| index : urm | |
| [ARCHIVED 2017] An abstract Unlimited Register Machine simulator implemented in the functional programming language OCaml |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Move sources to dedicated directory | pacien | 2018-04-29 |
| | | |||
| * | Document eurm transformation functions | pacien | 2018-04-21 |
| | | |||
| * | Add EURM interface | pacien | 2018-04-21 |