summaryrefslogtreecommitdiff
path: root/src/rewrites.mli
AgeCommit message (Expand)Author
2019-02-08Rewrite type definitions in rewrite_nexp_idsThomas Bauereiss
2018-07-24Move monomorphisation after mapping rewritesBrian Campbell
2018-07-23Coq: make all pattern matches in the output exhaustiveBrian Campbell
2018-05-01Add anonymous record arms to unionsJon French
2018-01-24Have some simple sail programs compiling to CAlasdair Armstrong
2018-01-18Clean up command line options slightlyAlasdair Armstrong
2018-01-05Fix duplicate definitions created by mergeAlasdair Armstrong
2018-01-05Merge remote-tracking branch 'origin/interactive' into vectorAlasdair Armstrong
2018-01-03Lots of experimental changes on this branchAlasdair Armstrong
2017-12-15Experimenting with interactive modeAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-30Improvements to enable parsing and checking intermediate rewritingAlasdair Armstrong
2017-11-27Split rewriter into separate rewriting library and rewrite passesAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 14:49:48 +0000