summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Collapse)Author
2016-01-27Make mips build againKathy Gray
Make quiet mode for sequential interpreter not print
2016-01-27start adding breakpointKathy Gray
2016-01-26Stop turning all decreasing vectors into indexed ones : i.e. let's print ↵Kathy Gray
them sensibly at last
2016-01-26fix starting indices for mips initial register values.Robert Norton
2016-01-26Fix some bugs in writing registers with slices in the sequential interpreterKathy Gray
2016-01-26print reg dump in correct format for cheri test suite. Reinstate timing of ↵Robert Norton
execution.
2016-01-26Fix problem in run_with_model where we forgot that ppcmem2 treats everything ↵Kathy Gray
as increasing, and updated ranges accordingly, and mistakenly were using the wrong range values for register slicing.
2016-01-26dump registers in format expected by cheri test suite when halting. Remove ↵Robert Norton
distinction between prog_mem and data_mem at least for now as data_mem was not being populated correctly (wrong elf flags?).
2016-01-22mips: fix PC update logic so branches might work.Robert Norton
2016-01-21mips interpreter successfully executes more than one instruction after some ↵Robert Norton
wrangling of integer types
2016-01-21mips: rename GPRs so that they sort lexicographically for display.Robert Norton
2016-01-20see writes to registers in the register file for 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-20Show opcode in sequential interpreter when decode failsKathy Gray
2016-01-19Put None and Some into interpreter environmentsKathy Gray
Also making progress towards separating int sized things from integer sized things
2016-01-19hacky initial makery for mips interpreter. Builds stuff in wrong places and ↵Robert Norton
needs fixing but nearly works.
2016-01-13Closes issue #28 and issue #27Kathy Gray
Note: also adds a most_significant function to the standard library, that returns the lowest indexed bit in a inc bit vector and the biggest indexed bit in a dec bit vector.
2016-01-11Interpreter interface now supports option<ast> result from decode and etc ↵Kathy Gray
instead of looking for exit calls
2016-01-11Interpreter that understands assertKathy Gray
2015-12-22More make file goo, and fixing a typo in run_with_elfKathy Gray
2015-12-22More gluing mips to interpreterKathy 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-11-25non-working sail/mips interpreter integration for kathy to look at and ↵Robert Norton
example mips elf file.
2015-11-17Very nearly there sequential interpreter, just need to hook in the spec ↵Kathy Gray
files for the different isas to support
2015-11-12Incorporating elf into sequential interpreterKathy Gray
Fix an effect bug on aliased id
2015-11-10Make first half of sequential interpreter driver compile againKathy Gray
2015-10-23slight change to libraryKathy Gray
2015-10-08augment annot of interpreterKathy Gray
2015-10-05More library functionsKathy Gray
Tweak to rewriter to actually rewrite function patterns
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-24Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Shaked Flur
2015-07-24added signed_integerShaked Flur
2015-07-24Begin doing better analysis on case splits over unknownsKathy Gray
2015-07-20minor fixesKathy Gray
2015-07-19abbreviate printing of memory values <=9Peter Sewell
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-07-01Go on despite the presence of an exit in exhaustive modeKathy Gray
2015-06-30Fix updating dec vector start bugsKathy Gray
2015-06-29Fix pattern match errorKathy Gray
2015-06-29Return unknown for a == unknown or unknown == a. Fixes issue #15Kathy Gray
2015-06-28Tag enumeration variables properly when introducing themKathy 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-24Support new memory write events in the sail front end and pretty printerKathy Gray
Events are eamem to signal the memory address to write to and wmv to pass the value to write
2015-06-24Add new outcomes/events separating effective address and value for memory writesKathy Gray