summaryrefslogtreecommitdiff
path: root/src/specialize.mli
AgeCommit message (Expand)Author
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2019-05-31Change specialization interface slightlyAlasdair Armstrong
2019-04-05Fix: Don't remove uncalled polymorphic constructors if they are matched uponAlasdair Armstrong
2019-03-27C: Generate C from sliced specificationsAlasdair Armstrong
2019-02-27Make -o option work as usual with C compilationAlasdair Armstrong
2019-02-25Allow int-specialization for non-externs onlyAlasdair Armstrong
2019-02-22Fix some bugs in int-specializationAlasdair Armstrong
2019-02-19Refactor specializationAlasdair Armstrong
2019-01-29Add an option to crudely slice a function out of a Sail modelBrian Campbell
2018-12-08Compiling againAlasdair
2018-08-13Remove old specialisation code in specialize.mlAlasdair
2018-03-09Specialise constructors for polymorphic unionsAlasdair Armstrong
2018-01-23Started working on C backend for sailAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:38 +0000