summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
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-21Fix up printing, try to make .lem files smaller (at least a tiny bit)Kathy 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 12:40:45 +0000