summaryrefslogtreecommitdiff
path: root/src/lem_interp/run_interp.ml
AgeCommit message (Expand)Author
2014-06-10Minor color and build tweaksGabriel Kerneis
2014-06-10More colorsGabriel Kerneis
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-06-09Support deinfix pretty-printingGabriel Kerneis
2014-06-09Add "continuation" command in interpreterGabriel Kerneis
2014-06-09Add switch to show/hide casts in interpreterGabriel Kerneis
2014-06-07Improve help messageGabriel Kerneis
2014-06-07Print mem and envGabriel Kerneis
2014-06-07Stack printingGabriel Kerneis
2014-06-06Compact debug output and first draft of interactive loopGabriel Kerneis
2014-06-05Enable single-stepping for test/power.sailGabriel Kerneis
2014-05-29Check constraints in power.sail; this required using big_int instead of int t...Kathy Gray
2014-05-28correct mismatched parens didn't mean to commit...Kathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-12More interface supportKathy Gray
2014-05-08more interface changesKathy Gray
2014-04-04Cosmetic improvements (statistics, --quiet)Gabriel Kerneis
2014-04-04Improve Power executionGabriel Kerneis
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2014-03-20Remove work-around from interpreter, move it to power.sailGabriel Kerneis
2014-03-20Workaround missing casts for external callsGabriel Kerneis
2014-03-19Fix endiannessGabriel Kerneis
2014-03-17Revert broken vector handlingGabriel Kerneis
2014-03-14Support regbits read and writeGabriel Kerneis
2014-03-14Pretty-print subreg correctlyGabriel Kerneis
2014-03-12Remove automagic register initializationGabriel Kerneis
2014-03-11More work on interpreter and Power modelGabriel Kerneis
2014-03-07Treat registers as values when not being actively read or written to, so that...Kathy Gray
2014-02-28Fix endiannessGabriel Kerneis
2014-02-28Load ELF sections to virtual memory addressesGabriel Kerneis
2014-02-27More flexible test executionGabriel Kerneis
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:38:36 +0000