summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
2016-01-26Stop turning all decreasing vectors into indexed ones : i.e. let's print them...Kathy Gray
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 ex...Robert Norton
2016-01-26Fix problem in run_with_model where we forgot that ppcmem2 treats everything ...Kathy Gray
2016-01-26dump registers in format expected by cheri test suite when halting. Remove di...Robert Norton
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 w...Robert Norton
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 exp...Kathy Gray
2016-01-20Decoding a mips instruction :)Kathy Gray
2016-01-20Show opcode in sequential interpreter when decode failsKathy Gray
2016-01-19Put None and Some into interpreter environmentsKathy Gray
2016-01-19hacky initial makery for mips interpreter. Builds stuff in wrong places and n...Robert Norton
2016-01-13Closes issue #28 and issue #27Kathy Gray
2016-01-11Interpreter interface now supports option<ast> result from decode and etc ins...Kathy Gray
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 LEXP_vector_rang...Kathy Gray
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 exampl...Robert Norton
2015-11-17Very nearly there sequential interpreter, just need to hook in the spec files...Kathy Gray
2015-11-12Incorporating elf into sequential interpreterKathy Gray
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
2015-08-06Update analysis to merge states and values after branches taken due to unknow...Kathy Gray
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 a...Kathy Gray
2015-06-24Support new write memory eventsKathy Gray
2015-06-24Support new memory write events in the sail front end and pretty printerKathy Gray
2015-06-24Add new outcomes/events separating effective address and value for memory writesKathy Gray
2015-06-22Fixes issue #12Kathy Gray
2015-06-21Taint printing changes: make it for debugging only, except when showing all e...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 16:13:22 +0000