summaryrefslogtreecommitdiff
path: root/src/ast_util.mli
AgeCommit message (Expand)Author
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 12:06:28 +0000