summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_interface.lem
AgeCommit message (Expand)Author
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-19abbreviate printing of memory values <=9Peter Sewell
2015-07-01Go on despite the presence of an exit in exhaustive modeKathy Gray
2015-06-24Add new outcomes/events separating effective address and value for memory writesKathy Gray
2015-06-19one more end flag for memory_value functionsKathy Gray
2015-06-18Add more end_flag parametersKathy Gray
2015-06-17Extend mode and external memory functions with endian flagKathy Gray
2015-06-16Incorporate comments from Peter.Kathy Gray
2015-06-09Fix error in building register valuesKathy Gray
2015-06-02changes to compare and equality instances to make lem generate isabelle outputcp526
2015-06-02Fix errors around ARM not being able to decode due to instruction_extractor b...Kathy Gray
2015-05-18Add equality check for addressesKathy Gray
2015-05-18Add comparison for addressKathy Gray
2015-05-16Fix bug where undef was blown up to fill the full register on a field assignmentKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-05-01Change interpreter interface to support ppcmem2's view of vectors as always i...Kathy Gray
2015-03-19added constructors for aarch64 read_kind and write_kindShaked Flur
2015-03-15Many changes:Kathy Gray
2015-02-27Fix a series of errors leading to the first ARM instruction not running.Kathy Gray
2015-01-16more for loop corrections, as well as pattern match errorKathy Gray
2014-11-23fix register-from-address start intPeter Sewell
2014-11-23some Ord instance classesKathy Gray
2014-11-23wibPeter Sewell
2014-11-23wibPeter Sewell
2014-11-23wibPeter Sewell
2014-11-23wibKathy Gray
2014-11-23get bits right coming out of coercion from integerKathy Gray
2014-11-23fill in remaining coercion implementationsPeter Sewell
2014-11-23wibPeter Sewell
2014-11-23wibPeter Sewell
2014-11-23resolve little conflictPeter Sewell
2014-11-23Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-23wibPeter Sewell
2014-11-23Fill in some of the basic coercionsKathy Gray
2014-11-23more coercionsPeter Sewell
2014-11-23OCaml stubs for coercions and _to_istate OCamlPeter Sewell
2014-11-23fight with interface/impl mismatch. lose.Peter Sewell
2014-11-23make interface build again, oopsPeter Sewell
2014-11-23Merge commit 'bff8bd5'Peter Sewell
2014-11-23some coercionsPeter Sewell
2014-11-23update instruction/istate decoding.Kathy Gray
2014-11-23wibPeter Sewell
2014-11-22Add size of register to register for making appropriate unknown register_valuesKathy Gray
2014-11-22sorry, interp_interface didn't build. now it doesPeter Sewell
2014-11-22move missing pieces from machineDefValueTypes into interp_interfacePeter Sewell
2014-11-22Changing interface in step with Peter and ppcmem changesKathy Gray
2014-11-19more equality instance definitionsKathy Gray
2014-11-19add value compare functionsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 14:18:36 +0000