summaryrefslogtreecommitdiff
path: root/test/typecheck/run_tests.sh
AgeCommit message (Expand)Author
2020-09-25tests: Move copy-pasted code into a shared helper .shAlex Richardson
2020-02-21Make sure we test that struct literals have a complete set of fields. Fixes #60Alasdair Armstrong
2019-11-05Make sure we correctly forbid recursive datatypes that we don't want to supportAlasdair Armstrong
2019-02-15Use multiple solversAlasdair
2018-12-06Re-factor initial checkAlasdair Armstrong
2018-11-01Changes to enable analysing type errors in ASL parserAlasdair Armstrong
2018-01-23Added additional tests, and fixed ocaml build of ARM testsAlasdair Armstrong
2018-01-16Improve formatting of output when running all test suites.Alasdair Armstrong
2018-01-16Created version of typecheck test suite for sail2 branchAlasdair Armstrong
2017-12-04Fix warnings in test suiteAlasdair Armstrong
2017-11-10Fixed some tricky typechecking bugsAlasdair Armstrong
2017-09-02Add command line flags to toggle sequential monad and native machine wordsThomas Bauereiss
2017-09-01Started work on test suite for ocaml backendAlasdair Armstrong
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-02Fix run_tests.sh so it cleans up generated ml files when testing ocaml backendAlasdair Armstrong
2017-08-01Added ocaml generation to run_tests.shAlasdair Armstrong
2017-07-13Typechecker now inserts val specs into AST when it infers themAlasdair Armstrong
2017-07-13Modified MIPS model so it typechecks with the new typecheckerAlasdair Armstrong
2017-07-10Bugfixes and testing new checker on the MIPS specAlasdair Armstrong
2017-07-06Testing new typechecker on MIPS specAlasdair Armstrong
2017-07-04Added documentation to type_check_new.mliAlasdair Armstrong
2017-07-03Fixed bug in XML output for jekinsAlasdair Armstrong
2017-07-03Added test suite XML output for jenkinsAlasdair Armstrong
2017-07-03Added tests for lem shallow embeddingAlasdair Armstrong
2017-06-29Added support for set constraintsAlasdair Armstrong
2017-06-29Various improvements to typecheckerAlasdair Armstrong
2017-06-15Prototype Bi-directional type checking algorithm for sailAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:55:54 +0000