summaryrefslogtreecommitdiff
path: root/src/smtlib.ml
AgeCommit message (Expand)Author
2019-05-01Jib: Refactor V_callAlasdair Armstrong
2019-04-30SMT: Allow custom queriesAlasdair Armstrong
2019-04-29SMT: Refactor overflow checks into generic event checking systemAlasdair Armstrong
2019-04-27Merge branch 'sail2' into smt_experimentsAlasdair
2019-04-24SMT: Can now recheck some simple models via the interpreterAlasdair
2019-04-23SMT: Add parser for generated modelsAlasdair Armstrong
2019-04-16SMT: Fix inlining issuesAlasdair Armstrong
2019-04-16SMT: Add struct value literalsAlasdair
2019-04-13SMT: More builtinsAlasdair
2019-04-10SMT: Add some simple constant folding for generated SMTAlasdair
2019-04-09SMT: Experimental Jib->SMT translationAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 17:00:38 +0000