summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
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-24improve value to string for debuggingKathy Gray
2014-11-24wibKathy 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-24coerce single element bit vector to bit for conditionalsKathy Gray
2014-11-23fix logfile printingPeter Sewell
2014-11-23slice Only when I should and not to erase an register writeKathy Gray
2014-11-23Slice generated vectors when appropriateKathy Gray
2014-11-23Treat undef like unknown when needing a vector assignment of themKathy Gray
2014-11-23make interpreter work better with unknowns, make interp_inter_imp do better o...Kathy Gray
2014-11-23Print out value when pattern match failsKathy Gray
2014-11-23fix register-from-address start intPeter Sewell
2014-11-23make pretty_interp be back in sync with pretty_printKathy Gray
2014-11-23some Ord instance classesKathy 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-23Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-23the properly named "git"Peter Sewell
2014-11-23extern single bit and single bool to instruction_fieldsKathy Gray
2014-11-23Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-23wibPeter Sewell
2014-11-23instruction printingKathy Gray
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-23better... still not rightPeter Sewell
2014-11-23new printing codePeter Sewell
2014-11-23fill in remaining coercion implementationsPeter Sewell
2014-11-23properly name division operators in libKathy Gray
2014-11-23Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-23wibPeter Sewell
2014-11-23make interpreter now buildsKathy Gray
2014-11-23in progressKathy Gray
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-23clean up interp interKathy Gray
2014-11-23more coercionsPeter Sewell
2014-11-23OCaml stubs for coercions and _to_istate OCamlPeter Sewell
2014-11-23wib (comment out to typecheck the rest...)Peter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 00:51:43 +0000