summaryrefslogtreecommitdiff
path: root/test/c
AgeCommit message (Expand)Author
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
2018-12-18Revert "Experiment with generating type variable names in a repeatable way"Alasdair
2018-12-18Experiment with generating type variable names in a repeatable wayAlasdair Armstrong
2018-12-18Store function instantiation information within annotations, so we don'tAlasdair
2018-12-14Add a few more tests for JenkinsAlasdair Armstrong
2018-12-14A few additional testsAlasdair
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-11-30Parser tweaks and fixesAlasdair Armstrong
2018-11-28Allow folding constant expressions into single register readsAlasdair
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong
2018-11-27Add an optimisation pass to combine variables if possibleAlasdair Armstrong
2018-11-23Introduce intermediate bitvector representation in CAlasdair Armstrong
2018-11-19Commit the Sail file for config register test not the outputAlasdair Armstrong
2018-11-19Ensure sizeof re-writing occurs for configuration registersAlasdair Armstrong
2018-11-06Fix bug with loop indices not being mapped to int64 in CAlasdair Armstrong
2018-11-05Add a regression test for issue #22Alasdair Armstrong
2018-09-28Add a regression test for bug in commit 88b25e9Alasdair Armstrong
2018-09-13C: Fix an issue with assigning to unitialized variables at end of blocksAlasdair Armstrong
2018-09-10Various fixesAlasdair Armstrong
2018-09-06C: Fix a bug with shadowing in nested let-bindingsAlasdair
2018-08-30C: Fix a bug where function argument type becomes more specific due to flow t...Alasdair Armstrong
2018-08-30C: Fix an issue with struct field being generalised inside polymorphic constr...Alasdair Armstrong
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-22Fix a bug in nested vector concatenation patternsAlasdair Armstrong
2018-08-21C: Correctly handle the kinds of patterns generated by mappingsAlasdair Armstrong
2018-08-20Refactor tuple conversions in Sail to C compilationAlasdair Armstrong
2018-08-20Add some more test cases for C compilationAlasdair Armstrong
2018-08-18Correctly handle specialising polymorphic types in nested unionsAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:29:44 +0000