summaryrefslogtreecommitdiff
path: root/src/property.ml
AgeCommit message (Expand)Author
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2019-11-07Backport fixes to SMT generation from poly_mapping branchAlasdair Armstrong
2019-05-16SMT: Improve simplification for generated SMTAlasdair Armstrong
2019-05-07Move parser combinators shared by property and model parsing to separate fileAlasdair Armstrong
2019-05-01Jib: Refactor V_callAlasdair Armstrong
2019-04-30SMT: Allow custom queriesAlasdair Armstrong
2019-04-30SMT: Fix dead-code FIXME in jib_compileAlasdair Armstrong
2019-04-13SMT: Add count_leading_zeros and more builtinsAlasdair
2019-04-11SMT: Add property and counterexample directiveAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:37 +0000