formalsec / smtml / 169

Builds Branch Commit Type Ran Committer Via Coverage
169 main Don't use prerelease opam version in CI push filipeom github
49.49
168 main Adds `Solver.get_statistics` function (Closes #85) push filipeom github
49.49
167 main Adds Model.to_json (Closes #168) push filipeom github
49.62
166 main Fixes colibri2 pin push filipeom github
49.25
165 main Update README.md with code coverage report generation push filipeom github
49.25
164 main Fixes Batch's push/pop (Closes #61) push filipeom github
49.25
163 main Release v0.2.1 push filipeom github
49.14
162 main Add conflicts on solvers versions outside depopt range We want to nudge our users to install versions of the solvers that are actually compatible with smtml. To this end, I added a conflict with solver versions that are outside of the depopt range. push filipeom github
49.14
161 main Release v0.2.0 push filipeom github
49.14
160 main Missing bitwuzla operators `to_fp` and `of_ieee_bv` push filipeom github
49.14
159 main Missing bitwuzla operators `to_fp` and `of_ieee_bv` push filipeom github
49.14
158 main Protect my leaks push filipeom github
49.14
157 main Protect my leaks push filipeom github
49.14
156 main Make `Expr.Bool` functions backwards compatible push filipeom github
49.14
155 main Bring back `Expr.Bool.v` push filipeom github
49.14