formalsec / smtml / 370

Builds Branch Commit Type Ran Committer Via Coverage
370 main Bump actions/checkout from 4 to 5 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push filipeom github
54.78
369 main Bump dune to 3.19 and add maintenance_intent to dune-project push filipeom github
54.78
366 main Release v0.9.0 push filipeom github
54.97
365 main Patch Expr.relop to accept theory specific types for equality (#394) It appears we were already accepting for other theories except integers. Just missing he inequality for ints. push filipeom github
54.97
364 main Add CODEOWNERS push filipeom github
55.0
363 main [fix] Construction phormulas with int equality Signed-off-by: Kakadu <Kakadu@pm.me> push filipeom github
55.0
362 main Allow smtml to compile with z3 4.15.x (#391) push filipeom github
54.97
361 main Avoid integer overflow when creating Dolmen terms in Bitv.v by using Zarith push filipeom github
54.97
360 main Use git-cliff for automatic changelog generation (#388) Also a step towards #386 push filipeom github
54.97
359 main Release v0.8.0 push filipeom github
54.97
358 main Add `Solver_dispatcher.supported_solvers` list push filipeom github
54.97
357 main Add alt-ergo to list of available solver to check push filipeom github
54.97
356 main Serialize exception log output in sexp format to a temp file To avoid polluting the current dir with a log file the user did not request push filipeom github
54.97
355 main Ensure (int->float)->int simplification is sound push filipeom github
54.97
354 main Allow lifting arbitrary width bitvector models push filipeom github
55.07