summaryrefslogtreecommitdiff
path: root/src/lem_interp/run_interp.ml
AgeCommit message (Expand)Author
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-08-16lem_interp: remove broken val_to_string_internal functions, replace with stri...Jon French
2017-02-03fix headersPeter Sewell
2014-12-11Many fixes, primarily dealing with undefinedKathy Gray
2014-11-22Add size of register to register for making appropriate unknown register_valuesKathy Gray
2014-11-22Changing interface in step with Peter and ppcmem changesKathy Gray
2014-11-17Use red printing for the value in the hole from Printing_functions instead of...Kathy Gray
2014-11-06Refactor printing to display the contents the [_] and to better format bit ve...Kathy Gray
2014-10-07Put in type for instruction form for models; remove extra information from By...Kathy Gray
2014-10-04clarify Step constructorKathy Gray
2014-08-19make test_power_interactive working again; now using interp_interface instead...Kathy Gray
2014-08-14Small tweaks to interp_interface interfaceKathy Gray
2014-08-05start tainting values with register dependenciesKathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-07-30working dec vectorsKathy Gray
2014-07-16Reading from an alias to two concatenated registers; not writing yet.Kathy Gray
2014-07-15Finishing up some of the support for ExitKathy Gray
2014-06-30Support for nondeterministic blocksKathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:54:55 +0000