formalsec / smtml / 401

Builds Branch Commit Type Ran Committer Via Coverage
401 main Unpin opam-publish in publish CI Since opam-publish 2.7.0 already includes the latest changes we can unpin my branch. push filipeom github
54.06
400 main Release 0.12.0 push filipeom github
54.06
399 main Backwards compatibility with ocaml 4.14 push filipeom github
54.06
398 main Improve error message on missing solver (#424) push filipeom github
54.06
397 main Release 0.12.0 push filipeom github
54.06
396 main Improve error message on missing solver (#424) push filipeom github
54.06
395 main Add missing cvc5 `to_string` operator push filipeom github
54.06
394 main Add bitvector overflow predicate operators (#417) push filipeom github
54.06
393 main Add workflow to weekly create a new release (#386) push filipeom github
54.06
392 main update dune file push filipeom github
54.06
391 main Fix Expr_raw module interface push filipeom github
54.06
390 main Log SMT queries and execution times to serialized files push filipeom github
54.06
389 main Automatic release scripts and workflow (#386) push filipeom github
54.37
388 main Automatic release scripts and workflow (#386) push filipeom github
54.37
387 main Automatic release scripts and workflow (#386) push filipeom github
54.37