summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.lem
AgeCommit message (Collapse)Author
2016-11-09move decode_error type back to Sail_impl_base for nowChristopher Pulte
2016-11-08fixesChristopher Pulte
2016-10-25Improve pattern match failure error messagesKathy Gray
2016-10-22fixes, Interp.value printing for debuggingChristopher Pulte
2016-10-21shallow embedding progressChristopher Pulte
2016-10-06move type definitions that both interpreter and shallow embedding use to ↵Christopher Pulte
sail_impl_base, add sail_impl_base.outcome, add interp_inter_imp auxiliary functions, make prompt use sail_impl_base.outcome
2016-09-13Add optional address to memv eventsKathy Gray
2016-09-09minor fixesKathy Gray
2016-08-17tuple assignment now implemented so (a,b) := foo() will now workKathy Gray
2016-08-17Fix pattern match bug in interp where vector accesses were using the wrong ↵Kathy Gray
start index
2016-08-14Add missing case to replicateKathy Gray
2016-07-26And fix abbrev oversite in interpreterKathy Gray
2016-07-25Actually fix stack for returnKathy Gray
2016-07-25Fix stack for returnKathy Gray
2016-07-23Add a return exp form to Sail, supported in type checker and in interpreter.Kathy Gray
TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem
2016-06-03Fix bug exposed/introduced by properly handling vector starts in the type ↵Kathy Gray
checker
2016-06-03turn off debug print statementsKathy Gray
2016-06-03Mips file: removed some unnecessary parenthesisKathy Gray
Interp: trying to add some debugging to isolate bug
2016-05-09Reverse the list of events to respect their orderKathy Gray
2016-05-09Add more debugging information for vector concatenationKathy Gray
2016-04-19Make value treatment on memory write calls uniform for function call vs ↵Kathy Gray
assignment expression
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-04-13Remove some warnings, in progress.Kathy Gray
2016-03-30Small missing cases in patternsKathy Gray
2016-01-28Support exit and assert better in sequential interpreter and general ↵Kathy Gray
interpreter interface
2016-01-27Make mips build againKathy Gray
Make quiet mode for sequential interpreter not print
2016-01-26Stop turning all decreasing vectors into indexed ones : i.e. let's print ↵Kathy Gray
them sensibly at last
2016-01-26Fix some bugs in writing registers with slices in the sequential interpreterKathy Gray
2016-01-20Assorted bug fixes that gets one mips instruction running (then fails for ↵Kathy Gray
expected reasons) :)
2016-01-20Decoding a mips instruction :)Kathy Gray
Not executing yet as some previous commit has broken the interpreter's local assignment
2016-01-19Put None and Some into interpreter environmentsKathy Gray
Also making progress towards separating int sized things from integer sized things
2016-01-11Interpreter that understands assertKathy Gray
2015-12-08wreg effects and tags now proper for LEXP_field, LEXP_vector ↵Kathy Gray
LEXP_vector_range for sub register writes. Closes issue #23
2015-12-07Interpreter working again with updated tag, effects, and types behaviourKathy Gray
2015-10-08augment annot of interpreterKathy Gray
2015-08-06Update analysis to merge states and values after branches taken due to ↵Kathy Gray
unknown conditions. Does not merge if one path has resulted in an exit
2015-07-24Turn back off new analysis style until it worksKathy Gray
2015-07-24Begin doing better analysis on case splits over unknownsKathy Gray
2015-07-20minor fixesKathy Gray
2015-07-02fix match_pattern reverse bugKathy Gray
2015-07-01fix equality comparisonKathy Gray
2015-07-01Use set instead of list for tainted valuesKathy Gray
2015-06-30Fix updating dec vector start bugsKathy Gray
2015-06-26Better handling of literal true and false (turn them into the expected bit0 ↵Kathy Gray
and bit1); also fix some handling of wmv and eamem.
2015-06-24Support new write memory eventsKathy Gray
2015-06-21Taint printing changes: make it for debugging only, except when showing all ↵Kathy Gray
events in exhaustive mode
2015-06-18Consistent handling of constructors with no parametersKathy Gray
2015-06-17fix missed pattern caseKathy Gray
2015-06-08keeping tainted values in functionally updating recordsKathy Gray
2015-06-06append vectors with proper length for dec caseKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 03:54:03 +0000