summaryrefslogtreecommitdiff
path: root/test/mono
AgeCommit message (Expand)Author
2020-11-19Make mono rewrites be more careful to produce constant-sized typesBrian Campbell
2020-09-25tests: Move copy-pasted code into a shared helper .shAlex Richardson
2020-09-12Merge some of the gitignore filesColumbus240
2020-09-07Fix typo a mono_rewrites definitionBrian Campbell
2020-05-04Mono: Try to fix bug in inter-procedural analysisThomas Bauereiss
2020-05-04Try to fix bug in size parameter rewritingThomas Bauereiss
2020-04-21Take kid synonyms into account when propagating constantsThomas Bauereiss
2020-04-21Mono: Check for non-constant calls to make_the_valueThomas Bauereiss
2019-11-22Add tests for monomorphisation improvement in eb0e17f2Brian Campbell
2019-11-07Make the world a slightly more sane and consistent placeAlasdair Armstrong
2019-11-04Some almost-forgotten mono testsBrian Campbell
2019-08-29Clean up some mono testsBrian Campbell
2019-07-16Get monomorphisation tests working with separate bitvectorsAlasdair Armstrong
2019-06-20Handle more uses of mutable variables during monomorphisation cast insertionBrian Campbell
2019-06-19Monomorphisation improvements for aarch64_smallBrian Campbell
2019-05-06Handle type variables generated while inferring applications in monomorphisationBrian Campbell
2019-04-26More constructor monomorphisation supportBrian Campbell
2019-04-25Get basic constructor monomorphisation working againBrian Campbell
2019-04-25Update prelude in mono testsBrian Campbell
2019-03-15Fix testsThomas Bauereiss
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:54:57 +0000