summaryrefslogtreecommitdiff
path: root/test/builtins
AgeCommit message (Expand)Author
2021-04-23Add isla builtin testing and update coq scriptsail2Brian Campbell
2020-04-28Add flooring division in preludeAlasdair
2019-07-16Fix all remaining tests for this branchAlasdair
2019-06-18Implement count_leading_zeros in LemThomas Bauereiss
2019-06-17Implement a count_leading_zeros builtin for ocaml and c. This may be a slight...Robert Norton
2019-06-06Add arith_shiftr to C and OCaml librariesThomas Bauereiss
2019-05-23Fix bug in slice_maskThomas Bauereiss
2019-04-16Code for testing builtins with CoqBrian Campbell
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2018-12-12Fix some small bugsAlasdair
2018-12-12Add parallelism limit to C and builtins testAlasdair Armstrong
2018-12-11Fix all tests with type checking changesAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Ressurect builtin tests, and add parallel test runner scriptAlasdair Armstrong
2018-07-09Simplify treating of undefined_bool in Lem libraryThomas Bauereiss
2018-06-06Some additional fixes to C backend. Re-enable primitive optimizations.Alasdair Armstrong
2018-05-23A couple of missing >= 0 constraints on vector handling functionsBrian Campbell
2018-05-09Run ARM built-in tests for Lem backend (via OCaml)Thomas Bauereiss
2018-04-03Added test cases for builtinsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:12:00 +0000