summaryrefslogtreecommitdiff
path: root/src/c_backend.ml
AgeCommit message (Expand)Author
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
2018-08-09Add type information to AP_app constructorsAlasdair Armstrong
2018-08-09Fix bugs involving multi-argument variant type constructorsAlasdair Armstrong
2018-08-08Fix ordering of generated anonymous types for each cdefAlasdair Armstrong
2018-08-07More updates for fixing variant typesAlasdair Armstrong
2018-08-06Cast each argument to a polymorphic constructor into it's most general typeAlasdair Armstrong
2018-08-06Make sure monomorphic constructors are preservedAlasdair Armstrong
2018-08-06Add a simple test case for polymorphic variant typeAlasdair Armstrong
2018-08-06More fixes for polymorphic data typesAlasdair Armstrong
2018-08-03More work on fixing polymorphic constructor monomorphisationAlasdair Armstrong
2018-08-02Start working on a solution for correctly monomorphising polymorphic variant ...Alasdair Armstrong
2018-07-24Merge remote-tracking branch 'origin/sail2' into c_fixesAlasdair Armstrong
2018-07-24Now builds mips spec again.Alasdair
2018-07-12Fix bug for large integers in OCaml compilationAlasdair Armstrong
2018-07-10Only put static qualifier on valspecs when -static flag is usedAlasdair Armstrong
2018-07-08Add -static flag that controls whether generated C functions are staticAlasdair
2018-07-05Fix equality comparisons for variants in CAlasdair
2018-07-05Fix equality comparisons for structsAlasdair
2018-07-05Passes all tests and now builds mips and cheri againAlasdair
2018-07-05Fix CHERI test that was failing when compiled to CAlasdair Armstrong
2018-07-05make many generated c functions static -- this gives the compiler a chance to...Robert Norton
2018-07-03Fix a bug in foreach loopsAlasdair Armstrong
2018-07-02Fix get_recursive_functions to not only pick up non-mutually recursive functionsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:26:12 +0000