formalsec / smtml / 135

Builds Branch Commit Type Ran Committer Via Coverage
135 main Fixes test-z3 workflow name push filipeom github
47.99
134 main Fixes CI push filipeom github
47.99
132 main Bitwuzla: bool_sort and better error messages push filipeom github
47.99
131 main Missing Fresh modules push filipeom github
47.99
130 main Adds S_with_fresh push filipeom github
47.99
129 main change return type of `Solver_dispatcher.solver_type_of_string`, add `Solver_dispatcher.pp_solver_type` for easy use with cmdliner push filipeom github
47.96
128 main add inlined hint to Hc functor push filipeom github
48.06
127 main Version v0.1.1 push filipeom github
48.06
126 main Removes `pin-depends` push filipeom github
48.06
125 main Version v0.1.1 push filipeom github
48.06
124 main Don't use sed to change solver name push filipeom github
48.06
123 main Fix FP model generation for Colibri2 push filipeom github
48.2
122 main Fixes fp tests push filipeom github
48.2
121 main Fix z3 tests and comment bitwuzla test push filipeom github
48.56
119 main Fixes caches push filipeom github
48.1