formalsec / smtml / 190

Builds Branch Commit Type Ran Committer Via Coverage
190 main Test nan equality for reals as well push filipeom github
47.26
189 main Remaining cases for pattern matching push filipeom github
52.14
187 main Fixes `bisect.exclude` push filipeom github
52.16
184 main Update fmt lowerbound push filipeom github
47.44
183 main Dune fmt push filipeom github
51.63
182 main Make z3_mappings2 the default z3 mappings push filipeom github
51.82
178 main Add Yojson lowerbound push filipeom github
46.97
177 main Prepare v0.2.2 push filipeom github
46.97
176 main Allow creating and lifting bitvecs with bw = 1 push filipeom github
50.47
175 main Test relop simplification push filipeom github
50.58
174 main Adds Unit value (Closes #113) push filipeom github
49.18
173 main Temporarily disable cvc5 push filipeom github
44.98
172 main Add simplification cases for Nan and Infinity floats push filipeom github
48.59
171 main Update CHANGES.md push filipeom github
45.13
170 main Fixes Model.to_json output push filipeom github
49.46