summaryrefslogtreecommitdiff
path: root/src/anf.ml
AgeCommit message (Expand)Author
2019-01-10Fixes so 8.5 with vector instructions compiles to CAlasdair Armstrong
2018-12-04Remove FES_Fexps constructorAlasdair Armstrong
2018-11-23C backend improvementsAlasdair Armstrong
2018-11-19Don't re-check AST repeatedly in exp_lift_assign re-writeAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-31Improve error messages for unsolved function quantifiersAlasdair Armstrong
2018-09-28Fix optimisation bug for certain if statementsAlasdair Armstrong
2018-09-18Fix issues with tuple Constructors taking multiple argumentsAlasdair Armstrong
2018-09-13C: Fix an issue with assigning to unitialized variables at end of blocksAlasdair Armstrong
2018-09-06C: Fix a bug with shadowing in nested let-bindingsAlasdair
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-09Add type information to AP_app constructorsAlasdair Armstrong
2018-08-06More fixes for polymorphic data typesAlasdair Armstrong
2018-07-27Make type annotations abstract in type_check.mliAlasdair Armstrong
2018-07-25Remove unused internal AST nodesAlasdair Armstrong
2018-07-05Passes all tests and now builds mips and cheri againAlasdair
2018-06-29Try to fix some tricky C compilation bugs, break everything insteadAlasdair Armstrong
2018-06-28Add tagged memory to C rts to cheri can be compiled to CAlasdair Armstrong
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-06-23Split Sail->ANF translation into its own fileAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:40:52 +0000