summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_interface.lem
AgeCommit message (Expand)Author
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
2014-10-31Add a num to bits function; start hooking up the power.ml file to the symbol/...Kathy Gray
2014-10-30use proper equality on register name typePeter Sewell
2014-10-30harmonise argument orderPeter Sewell
2014-10-30Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for r...Kathy Gray
2014-10-28Allow tracking of unknowns in interp library, removing the P hacks.Kathy Gray
2014-10-10Functions for operating on bit and byte vectors from the interpreter interfaceKathy Gray
2014-10-07kathy,peter: making decode integration with ppcmem2 typecheckPeter Sewell
2014-10-07Merge and make real Peter's comment typeKathy Gray
2014-10-07Put in type for instruction form for models; remove extra information from By...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:16:04 +0000