summaryrefslogtreecommitdiff
path: root/src/c_backend.ml
AgeCommit message (Expand)Author
2019-02-06Remove all sizeof rewriting from C compilationAlasdair
2019-02-04Fix behavior for fallthrough cases in catch blocksAlasdair Armstrong
2019-02-01Add tracing instrumention for SMTAlasdair Armstrong
2019-01-30Cache compilation results to improve build times for repeated buildsAlasdair
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-22Add a pragma for unrolling recursive functionsAlasdair Armstrong
2019-01-22Make sure we optimize constrained union constructorsAlasdair
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2018-12-26More cleanupAlasdair Armstrong
2018-12-22Improve error messages and debuggingAlasdair Armstrong
2018-12-20Fix monomorpisation tests with typechecker changesAlasdair Armstrong
2018-12-14A few additional testsAlasdair
2018-12-11Fix all tests with type checking changesAlasdair Armstrong
2018-12-10Various changes:Alasdair Armstrong
2018-12-08Compiling againAlasdair
2018-12-06Re-factor initial checkAlasdair Armstrong
2018-11-30Parser tweaks and fixesAlasdair Armstrong
2018-11-30Improvements for ASL parserAlasdair Armstrong
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-23C backend improvementsAlasdair Armstrong
2018-11-20Add messages for assert failures without user defined messagesAlasdair Armstrong
2018-11-19Don't re-check AST repeatedly in exp_lift_assign re-writeAlasdair Armstrong
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-11-06Fix bug with loop indices not being mapped to int64 in CAlasdair Armstrong
2018-11-05Ensure function quantifier is in scope when generating C return typeAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-31Improve error messages for unsolved function quantifiersAlasdair Armstrong
2018-10-11Change the function type in the ASTAlasdair
2018-09-28Fix optimisation bug for certain if statementsAlasdair Armstrong
2018-09-18Fix issues with tuple Constructors taking multiple argumentsAlasdair Armstrong
2018-09-04C: add an option to control generation of main().Prashanth Mundkur
2018-09-04C: split out setup/init and teardown functions from main().Prashanth Mundkur
2018-08-30C: Fix a bug where function argument type becomes more specific due to flow t...Alasdair Armstrong
2018-08-30Allow additional includes to be specified for C backend.Prashanth Mundkur
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-21C: Correctly handle the kinds of patterns generated by mappingsAlasdair Armstrong
2018-08-20Refactor tuple conversions in Sail to C compilationAlasdair Armstrong
2018-08-18Correctly handle specialising polymorphic types in nested unionsAlasdair
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Remove unused ref typeAlasdair Armstrong
2018-08-16Various cleanups to ott grammarAlasdair Armstrong
2018-08-14Improve error messages from C backend, and fix issues with assigning to pointersAlasdair Armstrong
2018-08-14Remove some comments from C outputAlasdair Armstrong
2018-08-13Add graph library graph.ml, and use to correctly sort type definitionsAlasdair
2018-08-13Sort ctype_defs in dependency order after specialisationAlasdair
2018-08-09Fix a bug by ensuring that monomorphic variant constructors do not get lifted...Alasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:41:20 +0000