summaryrefslogtreecommitdiff
path: root/src/constraint.ml
AgeCommit message (Expand)Author
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-25Fix solution finding using SMT by looking for the right variableBrian Campbell
2018-12-20Fix monomorpisation tests with typechecker changesAlasdair Armstrong
2018-12-19Improve sizeof rewriting performanceAlasdair Armstrong
2018-12-12Fix some small bugsAlasdair
2018-12-11Fix all tests with type checking changesAlasdair Armstrong
2018-12-08Compiling againAlasdair
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-04-25Simplify subtyping checkAlasdair Armstrong
2018-04-04Add a function to find unique solution for constraintsAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-15Allow user defined operations in nexps (experimental)Alasdair Armstrong
2017-11-10Fixed some tricky typechecking bugsAlasdair Armstrong
2017-10-06Various improvements to menhir parser, and performance improvments for Z3 callsAlasdair Armstrong
2017-08-24Fix some bugs related to the CHERI specThomas Bauereiss
2017-06-29Created prelude.sail for initial typing environmentAlasdair Armstrong
2017-06-15Prototype Bi-directional type checking algorithm for sailAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:34:20 +0000