summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_interface.lem
AgeCommit message (Expand)Author
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
2014-11-19add byte_list_of_integerKathy Gray
2014-11-18fix bad type annotation in interp_interfacePeter Sewell
2014-11-07Add integer_of_byte_list : list word8 -> integerKathy Gray
2014-11-07Fix types in num_to_bitsKathy Gray
2014-11-05add type class instantiations (required as reg_name currently contains big_ints)Peter Sewell
2014-11-05fix(?) a Big_int/int type error wrt trans_sailPeter Sewell
2014-11-04proposed split of decode into decode-to-instruction and instruction-to-instru...Peter Sewell
2014-11-04K,P debuggingPeter Sewell
2014-11-03kathy,christopher,peter: talking about bitvectors and sc callsPeter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:16:27 +0000