summaryrefslogtreecommitdiff
path: root/src/specialize.ml
AgeCommit message (Expand)Author
2019-01-29Add an option to crudely slice a function out of a Sail modelBrian Campbell
2019-01-08Improvements for v85Alasdair Armstrong
2018-12-26More cleanupAlasdair Armstrong
2018-12-26Some cleanupAlasdair Armstrong
2018-12-12Generalise existentials for non-integer type variablesAlasdair
2018-12-11Fix most remaining tests on branchAlasdair
2018-12-08Compiling againAlasdair
2018-12-04Simplify kinds in the ASTAlasdair Armstrong
2018-10-11Change the function type in the ASTAlasdair
2018-08-28fix some compiler not-matched warnings about Typ_bidir and Typ_internal_unknownJon French
2018-08-18Correctly specialise type annotation in polymorphic functionsAlasdair
2018-08-13Remove old specialisation code in specialize.mlAlasdair
2018-08-02Start working on a solution for correctly monomorphising polymorphic variant ...Alasdair Armstrong
2018-07-27Remove unused U_effect constructorAlasdair Armstrong
2018-06-28Add tagged memory to C rts to cheri can be compiled to CAlasdair Armstrong
2018-06-27RTS: Add support for __ListConfigAlastair Reid
2018-06-27Make sure __SetConfig gets included in generated codeAlasdair Armstrong
2018-06-06Some work on improving error messagesAlasdair Armstrong
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-04-18Rename BK_nat to BK_int to be consistent with source syntaxAlasdair Armstrong
2018-03-22Fix C compilation for CHERI and MIPSAlasdair Armstrong
2018-03-13Polymorphic option types now compile to CAlasdair Armstrong
2018-03-09Specialise constructors for polymorphic unionsAlasdair Armstrong
2018-03-05Fix specialisation pass to handle polymorphic substitutionsAlasdair Armstrong
2018-02-19Have generic vectors working in C backendAlasdair Armstrong
2018-02-15List support in C backendAlasdair Armstrong
2018-02-07Have exceptions working in C backendAlasdair Armstrong
2018-01-23Started working on C backend for sailAlasdair Armstrong
2018-01-22Added rewriter that specializes all function calls in a specification.Alasdair Armstrong
2018-01-18Modified unification so Type_check.instantiation_of works after sizeof rewritingAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:18:51 +0000