summaryrefslogtreecommitdiff
path: root/src/constraint.ml
AgeCommit message (Expand)Author
2020-05-13Add caching of calls to solve_uniqueThomas Bauereiss
2020-04-01Report SMT solver stderr on unexpected return codeBrian Campbell
2019-06-13Add AST for greater-than and less-than constraintsBrian Campbell
2019-06-05Add some regression testsAlasdair
2019-06-05Fix: Make sure we check Jib types match for operators before optimizingAlasdair Armstrong
2019-03-14Add various useful methods to interactive modeAlasdair Armstrong
2019-03-14Fix unification missing variables in generated SMTAlasdair Armstrong
2019-03-14Report when the SMT solver fails badlyBrian Campbell
2019-02-18Add option to linearize constraints containing exponentialsAlasdair Armstrong
2019-02-18Rename Type_check.solve -> Type_check.solve_uniqueAlasdair Armstrong
2019-02-15Use multiple solversAlasdair
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-01-31 08:06:53 +0000