summaryrefslogtreecommitdiff
path: root/lib/prelude.sail
AgeCommit message (Expand)Author
2018-04-05Add generic prelude library that pulls in various basic sailAlasdair Armstrong
2017-12-12Add a few helper functions for bit listsThomas Bauereiss
2017-12-07Support monomorphisation with set constrained integersBrian Campbell
2017-12-06Make AST after rewriting for Lem backend type-checkableThomas Bauereiss
2017-11-07Add builtin for reversing endiannessThomas Bauereiss
2017-11-07Declare prelude functions as externThomas Bauereiss
2017-10-18Mark more prelude functions externBrian Campbell
2017-09-29Some more refactoring of Sail libraryThomas Bauereiss
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-24Begin refactoring Sail libraryThomas Bauereiss
2017-08-08Glue together Sail prelude and Lem libraryThomas Bauereiss
2017-08-02Tune vector_subrangeThomas Bauereiss
2017-07-26Add right shift to lib/prelude.sail, and add case for E_exit in Ast_util.stri...Alasdair Armstrong
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-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-12Added vector range l-expressions and additional testsAlasdair Armstrong
2017-07-06Testing new typechecker on MIPS specAlasdair Armstrong
2017-07-05Fixed several unification bugsAlasdair Armstrong
2017-06-29Added a large test case to the test-suiteAlasdair Armstrong
2017-06-29Created prelude.sail for initial typing environmentAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:01:48 +0000