summaryrefslogtreecommitdiff
path: root/mips_new_tc
AgeCommit message (Expand)Author
2018-03-08rename mips_new_tc to mipsRobert Norton
2018-03-07Fix cheri and mips following 1fe8f33fce5aaaaea82fc54b6d198ffc9d7e1eeb which r...Robert Norton
2018-03-06overload shift operators so they can be used with integer shifts in cheri128 ...Robert Norton
2018-03-06finish port of cheri128 spec. to sail2.Robert Norton
2018-03-06add atom versions of val declaration for min and max.Robert Norton
2018-03-02add a cp2_next_pc function to update cheri state in fde loop and a stub versi...Robert Norton
2018-03-01Add support for read_tag and write_tag in sail_lib.ml. and support for intial...Robert Norton
2018-03-01cheri wip.Robert Norton
2018-02-27Get MIPS translated to LemThomas Bauereiss
2018-02-26working sail2 mips spec (passes BERI tests).Robert Norton
2018-02-26ADDU should sign extend 32-bit result.Robert Norton
2018-02-26workaround sail2 not liking type synonyms as arguments to constructors (see #2).Robert Norton
2018-02-26Fix SLTIU: note that immediate must be sign extended before unsigned comparison!Robert Norton
2018-02-22wipRobert Norton
2018-02-08work in progress mips sail2 port.Robert Norton
2017-12-19Support user-defined exceptions in Lem shallow embeddingThomas Bauereiss
2017-11-07Add builtin for reversing endiannessThomas Bauereiss
2017-09-29Some more refactoring of Sail libraryThomas Bauereiss
2017-09-29Add MIPS->Isabelle target to MakefileThomas Bauereiss
2017-09-02Remove dependency of state.lem on bitvector operationsThomas Bauereiss
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-24Begin refactoring Sail libraryThomas Bauereiss
2017-08-17Add support for register types other than bitvector to state monadThomas Bauereiss
2017-08-08Fix Lem bindings in test casesThomas Bauereiss
2017-08-02Improve pretty-printing of register declaration and assignmentThomas Bauereiss
2017-07-17Fixed multiply for MIPS in prelude so it correctly doubles bitvectorAlasdair Armstrong
2017-07-14Correct signedness bugs in mips_new_tc.Brian Campbell
2017-07-13Added some code to check if function return types in function clauses and val...Alasdair Armstrong
2017-07-13Modified MIPS model so it typechecks with the new typecheckerAlasdair Armstrong
2017-07-13Improved type inference for let statements and assignments with type annotate...Alasdair Armstrong
2017-07-12Various small changesAlasdair Armstrong
2017-07-12Fixed parser to parse 2** nexp expressions properlyAlasdair Armstrong
2017-07-11Various typechecker improvements:Alasdair Armstrong
2017-07-10Bugfixes and testing new checker on the MIPS specAlasdair Armstrong
2017-07-06Testing new typechecker on MIPS specAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 18:31:25 +0000