summaryrefslogtreecommitdiff
path: root/src/lem_interp/run_interp.ml
AgeCommit message (Collapse)Author
2013-12-16test: catch and print exceptionsGabriel Kerneis
2013-12-06Output test name on startGabriel Kerneis
2013-11-28Updated syntax with working examplesKathy Gray
2013-11-07Stub for external callsGabriel Kerneis
2013-11-05Support parsing for extern callsGabriel Kerneis
2013-10-16Basic MEM and register implementation for interpreterGabriel Kerneis
This is extremely naive, and does not support slices.
2013-10-16Clean up action pretty-printingGabriel Kerneis
2013-10-15Resume interpreter after actionsGabriel Kerneis
At the moment, writes are ignored and reads always return unit.
2013-10-14Run main() to execute testsGabriel Kerneis
Tests do not pass because of weird pattern-matching errors in the interpreter.
2013-10-14Pretty-print interpeter valuesGabriel Kerneis
2013-10-10Run interpreterGabriel Kerneis
Forgotten because of a wrong .gitignore.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-15 13:17:00 +0000