summaryrefslogtreecommitdiff
path: root/test/c
AgeCommit message (Expand)Author
2021-01-05Fix some cases when monomorphising vectors containing variable-length bitvectorsAlasdair
2020-11-01Fix interpreter pattern matching bugAlasdair
2020-08-10Fix a C backend bug with letbindings in guards shadowing body definitionsAlasdair
2020-06-23Fix bug with duplicate enum identifiers in patternsAlasdair
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-14Merge remote-tracking branch 'origin' into codegenAlasdair
2020-05-14Re-activate some testsAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2020-04-27Fix try in exception handler jib bugBrian Campbell
2020-04-15Add more intuitive defaults to interactive toplevelAlasdair
2020-04-10Add test output to gitignoreThomas Bauereiss
2020-02-20More list C codegen fixes for issue #59Alasdair Armstrong
2020-02-20Fix missing code generation builtins for lists. Fixes #59Alasdair Armstrong
2020-01-17Merge scattered mapping fixesJames Clarke
2020-01-16Cleanup type-checking rule for LEXP_fieldAlasdair Armstrong
2019-12-06Don't introduce uneccesary control flow when compilingAlasdair Armstrong
2019-11-11Make sure undefined_gen inserts enough type annotations for union constructorsAlasdair Armstrong
2019-08-01Merge branch 'sail2' into separate_bvAlasdair Armstrong
2019-07-16Merge remote-tracking branch 'origin/sail2' into separate_bvAlasdair Armstrong
2019-06-30Fix bug with toplevel pattern in RISC-V duopodAlasdair
2019-06-19Make C emulator exit with failure for uncaught exception. Make special case f...Robert Norton
2019-06-05Add some regression testsAlasdair
2019-06-04Merge branch 'sail2' into separate_bvAlasdair Armstrong
2019-05-28Make sure single clause functions with top-level guards work correctlyAlasdair Armstrong
2019-05-17Experiment with making vector and bitvector distinct typesAlasdair Armstrong
2019-05-14Various bugfixesAlasdair Armstrong
2019-05-03Jib: Fix optimizations for SMT IR changesAlasdair Armstrong
2019-04-26Fix some broken interpreter testsAlasdair Armstrong
2019-04-15Fix: Allow zero-length vector literalsAlasdair Armstrong
2019-04-06Various bugfixes and improvementsAlasdair
2019-04-05Fix: Don't remove uncalled polymorphic constructors if they are matched uponAlasdair Armstrong
2019-04-05Fix: Add test case for commit 689eaeAlasdair Armstrong
2019-03-27Interactive: Refactor sail.mlAlasdair Armstrong
2019-03-22C: Fix as-patterns in C outputAlasdair Armstrong
2019-03-21Jib: Add types to Phi functionsAlasdair Armstrong
2019-03-13C: Add missing update_lbits builtinAlasdair Armstrong
2019-03-09C: Fix miscompilation of constrained struct field accessAlasdair
2019-03-06Add option to slice out printing and tracing functions when generating CAlasdair Armstrong
2019-03-05Additional optimizations for C compilationAlasdair
2019-02-21Allow monomorphisation with C generationAlasdair
2019-02-20Remove dead branches when compiling to CAlasdair Armstrong
2019-02-19Add regression test for #34Alasdair Armstrong
2019-02-11Add an additional test caseAlasdair
2019-02-11Add tests for implicit argumentsAlasdair Armstrong
2019-02-06Fix some testsAlasdair Armstrong
2019-02-04Test lem output by running end-to-end tests using ocaml via lemAlasdair Armstrong
2019-02-04Fix behavior for fallthrough cases in catch blocksAlasdair Armstrong
2019-02-01Add test cases for integer synonymsAlasdair
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-22Add some more test casesAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:40 +0000