formalsec / smtml / 314

Builds Branch Commit Type Ran Committer Via Coverage
314 main parse booleans push filipeom github
50.19
312 main Prepare v0.6.3 push filipeom github
47.92
310 main Update patricia-tree lower bounds to 0.11.0 push filipeom github
48.17
309 main Prepare release v0.6.2 push filipeom github
48.17
306 main Support cmdliner 2.0 push filipeom github
49.16
294 main Update OCaml compiler in CI and don't run on main push push filipeom github
49.86
291 main Allow running actions on merge group push filipeom github
47.59
290 main Update CHANGES.md push filipeom github
47.59
289 main Update doc index push filipeom github
47.66
288 main Use `Unix.gettimeofday` instead of `Rusage` push filipeom github
47.63
287 main Bring Owi's missing simplifications into `extract2` and `concat3` push filipeom github
47.6
286 main Update `CHANGES.md` push filipeom github
48.02
285 main optimize Expr.equal, cache Expr.simplify push filipeom github
48.05
284 main Fix synopsis push filipeom github
48.0
283 main Bring back forall and exists quantifiers (Closes #200) push filipeom github
48.0