summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_lib.lem
AgeCommit message (Expand)Author
2014-11-26Fix negKathy Gray
2014-11-25more changes to quot and modKathy Gray
2014-11-25another carry out attemptKathy Gray
2014-11-25improved divisionKathy Gray
2014-11-25wibKathy Gray
2014-11-25carry out is computedKathy Gray
2014-11-25another mod and quot definitionKathy Gray
2014-11-25refine quot and modKathy Gray
2014-11-24Add new quot and mod operatorsKathy Gray
2014-11-24don't to_num a num...Kathy Gray
2014-11-24Give a better answer on overflow with two vectors of unknowns (i.e. unknown i...Kathy Gray
2014-11-24Correctly cast between 1 and a single bitKathy Gray
2014-11-24Missing patterns in pattern matchesKathy Gray
2014-11-24Updated libraryKathy Gray
2014-11-24wibKathy Gray
2014-11-24Signed and unsigned comparisonsKathy Gray
2014-11-23coerce better between a single bit and a bit vector of one bitKathy Gray
2014-11-23maybe best not to die at the first sign of an undef...Kathy Gray
2014-11-23properly name division operators in libKathy Gray
2014-11-23make interpreter now buildsKathy 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-20look for sub matches of registers on exhaustive modeKathy Gray
2014-11-18Fix various pattern match bugs; add a few functionsKathy Gray
2014-11-16Add some missing functionsKathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-05Correct bug treating unsigned values as signed in arith operationsKathy Gray
2014-10-30Add case to neg for interp_libKathy Gray
2014-10-28Allow tracking of unknowns in interp library, removing the P hacks.Kathy Gray
2014-10-28hacks on taint trackingPeter Sewell
2014-10-22Update printing for testing, fix some bugs found along the wayKathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-09-04Make exhaust run from the first breakpoint in the interactive interpreterKathy Gray
2014-08-27Changes to get another (slightly larger) executable running;Kathy Gray
2014-08-20Add ability to track register dependencies in interactive stepper; thus testi...Kathy Gray
2014-08-13Update library functionsKathy Gray
2014-07-30working dec vectorsKathy Gray
2014-07-01Update case of EXTSGabriel Kerneis
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-24Get enumerations working in interpreterKathy Gray
2014-06-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-19Add mod:vec->range->vecGabriel Kerneis
2014-06-18Fix mod_vec in libraryGabriel Kerneis
2014-06-18Add definition of mod to libKathy Gray
2014-06-12Interpret when an unknown is inserted into the program by interp_exhaustiveKathy Gray
2014-06-11Equality between range and bit vectorGabriel Kerneis
2014-06-11Improve error message for missing library functionsGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 18:20:08 +0000