summaryrefslogtreecommitdiff
path: root/src/specialize.ml
AgeCommit message (Expand)Author
2021-01-05Fix some cases when monomorphising vectors containing variable-length bitvectorsAlasdair
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
2020-01-16Allow effects on mappingsAlasdair Armstrong
2019-10-31Allow sail to be scripted using sailAlasdair
2019-10-25Some more interpreter tweaksAlasdair Armstrong
2019-06-13Add AST for greater-than and less-than constraintsBrian Campbell
2019-05-31Change specialization interface slightlyAlasdair Armstrong
2019-05-03Jib: Fix optimizations for SMT IR changesAlasdair Armstrong
2019-04-27Merge branch 'sail2' into smt_experimentsAlasdair
2019-04-15SMT: Allow partial specializationsAlasdair Armstrong
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-04-13SMT: Add count_leading_zeros and more builtinsAlasdair
2019-04-11SMT: Add property and counterexample directiveAlasdair Armstrong
2019-04-09SMT: Experimental Jib->SMT translationAlasdair 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-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-11Improve ocamldoc commentsAlasdair Armstrong
2019-03-05Fix missing case in specializationAlasdair
2019-03-05Additional optimizations for C compilationAlasdair
2019-03-04fix old extern type usage in SpecializeJon French
2019-02-25Allow int-specialization for non-externs onlyAlasdair Armstrong
2019-02-22Fix more bugs in int-specializationAlasdair Armstrong
2019-02-22Fix some bugs in int-specializationAlasdair Armstrong
2019-02-21Fix specialization bug involving function annotations not matching valspecsAlasdair
2019-02-19Refactor specializationAlasdair Armstrong
2019-02-14Don't do any rewrites when checking files for EmacsAlasdair Armstrong
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:20 +0000