summaryrefslogtreecommitdiff
path: root/src/ast_util.mli
AgeCommit message (Expand)Author
2017-10-26Experiment with pretty-printing non-atomic nexps in LemThomas Bauereiss
2017-10-25Allow mutually recursive functionsThomas Bauereiss
2017-10-25Merge branch 'experiments' into mono-experimentsBrian Campbell
2017-10-24Handle existential types in Lem backend by stripping them andBrian Campbell
2017-10-23Added effect set pretty printing for new parserAlasdair Armstrong
2017-10-12Fixes pattern matching exact values ([:'n:]) on integer literalsAlasdair Armstrong
2017-10-03Fixes to new parserAlasdair Armstrong
2017-09-18Added additional utility functions in ast_utilAlasdair Armstrong
2017-09-14Fix a regression when writing to a register via a reference in a vector such ...Thomas Bauereiss
2017-09-13Work on improving Sail error messagesAlasdair Armstrong
2017-09-02Various fixes for HexapodThomas Bauereiss
2017-08-30Improved ocaml backend to the point where the hexapod spec produces syntactic...Alasdair Armstrong
2017-08-24More work on undefined elimination pass.Alasdair Armstrong
2017-08-23Started work on an undefined literal removal pass for the ocamlAlasdair Armstrong
2017-08-17Work on E_constraint removal pass and diagnosing bugs in E_sizeof removal passAlasdair Armstrong
2017-08-16Added the feature to bind type variables in patterns.Alasdair Armstrong
2017-08-08Various fixes and improvements for the Lem pretty-printingThomas Bauereiss
2017-08-02Improve pretty-printing of register declaration and assignmentThomas Bauereiss
2017-07-26Improve rewriting of sizeof expressionsThomas Bauereiss
2017-07-25Add partial support for rewriting of sizeof expressionsThomas Bauereiss
2017-07-21Improvements to sail n_constraintsAlasdair Armstrong
2017-07-18Add Lem pretty-printer for new typecheckerThomas Bauereiss
2017-07-15Add version of rewriter for new typecheckerThomas Bauereiss
2017-07-05Re-factored and cleaned up type-checkerAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 02:46:31 +0000