Gabriel Scherer
|
ccb041cc30
|
interpreter: convert the trace counter to Int64 for 32bit portability
|
2021-09-24 18:23:43 +02:00 |
|
Gabriel Scherer
|
3c96f028e0
|
fix the (apparently generated?) .mli files in interpreter/
|
2021-03-20 09:00:44 +01:00 |
|
Nathanaël Courant
|
5f95304e2a
|
Add mli files for interpreter, parallel compilation for interpopt.opt
|
2021-02-23 14:53:05 +01:00 |
|
Nathanaël Courant
|
bb65661b32
|
Remove binary file added by mistake
|
2021-02-18 08:01:04 +01:00 |
|
Nathanaël Courant
|
f375799b0d
|
Make interp compatible with ocamlopt
|
2021-02-17 15:16:14 +01:00 |
|
Nathanaël Courant
|
7969c70193
|
Changes to make Makefile work
|
2021-02-16 14:05:22 +01:00 |
|
Nathanaël Courant
|
f3949cc18f
|
Slight changes to make interpreter compatible with miniml
|
2021-02-08 10:39:36 +01:00 |
|
Nathanaël Courant
|
b6ddc1ff6d
|
Make a few changes in interpreter for syntax compatibility with miniml
|
2021-01-06 12:57:33 +01:00 |
|
Brian Hempel
|
a7532dbe51
|
Interpreter README: mode is selected by an ENV var
|
2020-12-26 10:24:40 +01:00 |
|
Brian Hempel
|
c65316e315
|
Fix typo in exn3: “wrap2” -> “wrap3”
|
2020-12-22 10:49:18 -06:00 |
|
Nathanaël Courant
|
23bd655873
|
Add comment about the interpreter needing a few more features than the current version of miniml
|
2020-12-07 21:26:42 +01:00 |
|
Nathanaël Courant
|
e469c51a3a
|
Fix typos in README after review
|
2020-12-07 21:23:57 +01:00 |
|
Nathanaël Courant
|
b84dff4c94
|
Add READMEs
|
2020-12-07 18:07:44 +01:00 |
|
Nathanaël Courant
|
74bdd147aa
|
Move interpreter to its own folder
|
2020-11-30 16:31:12 +01:00 |
|