summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_interface.lem
AgeCommit message (Collapse)Author
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
Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 Conflicts: src/lem_interp/interp_interface.lem
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
Conflicts: src/lem_interp/interp_interface.lem
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
Use register size. Printing again doesn't compile
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 ↵Peter Sewell
instruction-to-instructionstate
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 ↵Kathy Gray
symbol/memory address list.
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 ↵Kathy Gray
registers we might read that we want values for (particularly the PC)
2014-10-28Allow tracking of unknowns in interp library, removing the P hacks.Kathy Gray
Add a function from instruction to istate
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 ↵Kathy Gray
Bytevectors; add place holder for memory size dependency tracking
2014-10-07comment with suggested i_state_or_error typePeter Sewell
2014-10-03Add a decoding function to interp_interface and interp_inter_imp. (Note, ↵Kathy Gray
this is quite specific to Power's spec)
2014-08-21Improve printing of function calls in stepper modeKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 11:11:25 +0000