summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
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-22Printing functions compiles againKathy Gray
2014-11-22interp_interface happy again. printing functions now doesn't compileKathy Gray
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-22make interpreter now compilesKathy Gray
2014-11-22Changing interface in step with Peter and ppcmem changesKathy Gray
2014-11-22signed multiplication and quotKathy Gray
2014-11-22add new function for overflow arithmetic instructionsKathy Gray
2014-11-21Support signed and unsigned arithmeticKathy Gray
2014-11-21Print out default values for underspecified vectors instead of leaving them a...Kathy Gray
2014-11-21Fix bugs now documented in ppcmem notesKathy Gray
2014-11-20abstract previousKathy Gray
2014-11-20Use better type information for register inspectionsKathy Gray
2014-11-20Handle constructors with zero parameters better.Kathy Gray
2014-11-20Set vector start for more register writesKathy Gray
2014-11-20set more vector starts before sending them off to register writesKathy Gray
2014-11-20look for sub matches of registers on exhaustive modeKathy 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-19print sparse vectorsKathy Gray
2014-11-19Correct off-by-one bug in type checking vector slicesKathy Gray
2014-11-18fix bad type annotation in interp_interfacePeter Sewell
2014-11-18wibKathy Gray
2014-11-18Add missing cases to printing_functions printing of interp_valuesKathy Gray
2014-11-18Actually expect barriers to happenKathy Gray
2014-11-18Fix countLeadingZeroes typo (diff in number of es present)Kathy Gray
2014-11-18Fix various pattern match bugs; add a few functionsKathy Gray
2014-11-17Use red printing for the value in the hole from Printing_functions instead of...Kathy Gray
2014-11-17Make env_union intelligently join two environments instead of just list append.Kathy Gray
2014-11-17wibPeter Sewell
2014-11-16Add some missing functionsKathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-13numbers got to big for show, write my own versionKathy Gray
2014-11-13Catch more cases of registers for extern_regKathy Gray
2014-11-13Set start index on bits in extern_valueKathy Gray
2014-11-12; -> ,Peter Sewell
2014-11-12Add a function to print local variables and values, local_variables_to_stringKathy Gray
2014-11-11remove [ and ] from values in the holeKathy Gray
2014-11-10Print contents of the [_] hole when it's available.Kathy Gray
2014-11-08make pp of Bitvector values of widths 1,2,4, or 8 bytes be in hex (but includ...Peter Sewell
2014-11-07Add integer_of_byte_list : list word8 -> integerKathy Gray
2014-11-07stop using LEMLIB in makefile, in case that's interfering with lem library pl...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 04:19:57 +0000