summaryrefslogtreecommitdiff
path: root/test/mono/pass
AgeCommit message (Expand)Author
2020-09-07Fix typo a mono_rewrites definitionBrian Campbell
2019-11-04Some almost-forgotten mono testsBrian 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-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-07-24Move monomorphisation after mapping rewritesBrian Campbell
2018-04-17Enable mono builtins test, tweak test outputBrian Campbell
2018-04-06Test now passesBrian 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-09Sort mono test cases, add missing filesBrian Campbell
2018-02-23Change monomorphisation tests to proper outputBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:10:09 +0000