summaryrefslogtreecommitdiff
path: root/src/lem_interp/run_interp.ml
AgeCommit message (Expand)Author
2014-02-27Merge branch 'interp_typed'Kathy Gray
2014-02-26Get interpreter working using types, no added functionality yetKathy Gray
2014-02-26Debug and fix memory multi-bytes memory writesGabriel Kerneis
2014-02-25Manage annotKathy Gray
2014-02-25First step of using type information in interpreter. Reading and writing plai...Kathy Gray
2014-02-21Add type annotations to lem grammar, including printing out the annotated ast...Kathy Gray
2014-02-18Report failing tests and return 1 in case of errorGabriel Kerneis
2014-02-18Improve interpreter pretty-printingGabriel Kerneis
2014-02-14Attempt multi-byte memory read and writeGabriel Kerneis
2014-02-14Write slice to memoryGabriel Kerneis
2014-02-14Register slice writeGabriel Kerneis
2014-02-13Index memory with big_ints in interpreterGabriel Kerneis
2014-02-13Display backtrace when interpreter failsGabriel Kerneis
2014-02-12Fix endianess issuesGabriel Kerneis
2014-02-12Replace nat by natural in interpreterGabriel Kerneis
2014-01-09Fixed bug in resuming after an action (which was manifesting as an apparent p...Kathy Gray
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
2013-10-16Clean up action pretty-printingGabriel Kerneis
2013-10-15Resume interpreter after actionsGabriel Kerneis
2013-10-14Run main() to execute testsGabriel Kerneis
2013-10-14Pretty-print interpeter valuesGabriel Kerneis
2013-10-10Run interpreterGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 15:47:18 +0000