formalsec / smtml / 154

Builds Branch Commit Type Ran Committer Via Coverage
154 main Don't cache bitwuzla CI (Fixes #159) push filipeom github
49.16
153 main Don't hc unecessarily push filipeom github
49.16
152 main Don't use self-hosted for deploy CI push filipeom github
49.12
148 main Fixes ocaml_intrinsics version push filipeom github
48.55
147 main Remove dune's {build} tag push filipeom github
48.55
145 main Small fixes and adds cvc5 CI push filipeom github
48.55
144 main [cvc5 mappings] Fix argument type push filipeom github
48.55
143 main More parametric tests and only run tests when z3 available push filipeom github
48.55
142 main Adds `is_available` flag to know which solvers are installed push filipeom github
48.45
141 main Add command to convert smtml scripts to smt-lib scripts push filipeom github
48.32
140 main Better error messages on non-implemented functions push filipeom github
48.34
139 main Compile with z3_mappings2.nop.ml when z3 is not installed push filipeom github
47.99
138 main Cleanup parametric mappings push filipeom github
47.99
137 main Fixes section headers in `CHANGES.md` push filipeom github
47.99
136 main Equality defined using boolean theory push filipeom github
47.99