summaryrefslogtreecommitdiff
path: root/test/mono
AgeCommit message (Expand)Author
2019-02-08Updates for asl_parserAlasdair Armstrong
2019-02-07Add a symbol for new implicit arguments for backwards compatabilityAlasdair Armstrong
2019-02-02Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-01-31Monomorphisation: improve cast insertion and nexp rewriting on variantsBrian Campbell
2019-01-31Support case splitting on variables as well as sizeof in cast introductionBrian Campbell
2018-12-20Fix monomorpisation tests with typechecker changesAlasdair Armstrong
2018-12-03Fix = / == in a couple of monomorphisation testsBrian Campbell
2018-08-07Lem: print more bitvector typesBrian Campbell
2018-07-24Move monomorphisation after mapping rewritesBrian Campbell
2018-06-18Mono test script updateBrian Campbell
2018-05-22Fix one part of cast introduction, leave another for laterBrian Campbell
2018-04-18Update mono test scriptBrian Campbell
2018-04-18Move Lem shl_int, shr_int implementations from aarch64_extras to sail libBrian Campbell
2018-04-17Enable mono builtins test, tweak test outputBrian Campbell
2018-04-11Fix test preludeBrian Campbell
2018-04-06Test now passesBrian Campbell
2018-04-04Instantiate type properly when introducing mono castsBrian Campbell
2018-04-04Add bitvector casts to funcl bodies when necessaryBrian Campbell
2018-03-14Update mono testsBrian Campbell
2018-03-14Remove unnecessary size_itself_int uses in guards (for Lem)Brian Campbell
2018-03-13Add test for mutual recursion and monomorphisationBrian Campbell
2018-03-13Support a few more set constraints in monoBrian Campbell
2018-03-13Merge funcls for Lem output, making it suitable for testing with OCamlBrian Campbell
2018-03-13A couple of mono test tweaksBrian Campbell
2018-03-09Sort mono test cases, add missing filesBrian Campbell
2018-02-23Make mono test harness nicerBrian Campbell
2018-02-23Change monomorphisation tests to proper outputBrian Campbell
2018-02-23Update more monomorphisation testsBrian Campbell
2018-02-22Curtail at more false assertionsBrian Campbell
2018-02-22Start resurrecting monomorphisation testsBrian Campbell
2018-02-08Add (most of) the bitvector cast insertion transformationBrian Campbell
2018-01-31Find buried set constraints in assertsBrian Campbell
2018-01-25Use set asserts as case splits in monomorphisationBrian Campbell
2018-01-15Support non-trivial literal patternsBrian Campbell
2018-01-10Fix control dependencies in monomorphisation analysisBrian Campbell
2017-12-07Support monomorphisation with set constrained integersBrian Campbell
2017-11-14During monomorphisation always refine constructors,Brian Campbell
2017-09-28Refine constructors during monomorphisationBrian Campbell
2017-09-14Better failure reporting on mono testsBrian Campbell
2017-08-28Improve test output for monomorphisationBrian Campbell
2017-08-28Update test script for gen_lib changesBrian Campbell
2017-08-23Update monomorphisation test scriptBrian Campbell
2017-08-22Adapt first part of union monomorphisation to existential typesBrian Campbell
2017-08-18Bit more monomorphisation testingBrian Campbell
2017-08-16Very basic start to monomorphisation testingBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:59:30 +0000