Skip to content

Actions: formalsec/smtml

Actions

opam-repository

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.14.0 opam-repository #34: Commit 4b4c4ce pushed by filipeom
3m 20s main
main
3m 20s
Promote tests opam-repository #33: Commit 271fffa pushed by filipeom
6m 54s main
main
6m 54s
WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer opam-repository #32: Commit c618aec pushed by filipeom
3m 0s main
main
3m 0s
Bring back collections-c benchmarking as a test opam-repository #31: Commit 66b5f6f pushed by filipeom
3m 12s main
main
3m 12s
Release 0.13.0 opam-repository #30: Commit d150717 pushed by filipeom
3m 26s main
main
3m 26s
Bump ocamlformat 0.27.0 -> 0.28.1 opam-repository #29: Commit 9836663 pushed by filipeom
2m 55s main
main
2m 55s
Use the the hex format to print and parse floats opam-repository #28: Commit ff36933 pushed by filipeom
3m 15s main
main
3m 15s
Expose a solver's M_with_make as part of the solver mappings opam-repository #27: Commit a9bb53e pushed by filipeom
3m 20s main
main
3m 20s
upd examples.mld opam-repository #26: Commit ba8f90d pushed by filipeom
3m 9s main
main
3m 9s
Fix the order of formulas printed by the z3 mapping printer opam-repository #25: Commit b9846cf pushed by filipeom
7m 0s main
main
7m 0s
Unpin opam-publish in publish CI opam-repository #24: Commit 7e1e145 pushed by filipeom
3m 2s main
main
3m 2s
Release 0.12.0 opam-repository #23: Commit 8603aa7 pushed by filipeom
4m 21s main
main
4m 21s
Backwards compatibility with ocaml 4.14 opam-repository #22: Commit 7c308a2 pushed by filipeom
4m 14s main
main
4m 14s
Improve error message on missing solver (#424) opam-repository #21: Commit 3045428 pushed by filipeom
3m 52s main
main
3m 52s
Release 0.12.0 opam-repository #20: Commit cbff05f pushed by filipeom
4m 33s main
main
4m 33s
Improve error message on missing solver (#424) opam-repository #19: Commit 3045428 pushed by filipeom
4m 6s main
main
4m 6s
Add missing cvc5 to_string operator opam-repository #18: Commit 5a720c9 pushed by filipeom
2m 45s main
main
2m 45s
Add bitvector overflow predicate operators (#417) opam-repository #17: Commit 0e0803a pushed by filipeom
2m 29s main
main
2m 29s
Add workflow to weekly create a new release (#386) opam-repository #16: Commit 673a540 pushed by filipeom
2m 40s main
main
2m 40s
update dune file opam-repository #15: Commit 44a8c38 pushed by filipeom
2m 28s main
main
2m 28s
Fix Expr_raw module interface opam-repository #14: Commit 56df705 pushed by filipeom
2m 46s main
main
2m 46s
Log SMT queries and execution times to serialized files opam-repository #13: Commit c49f809 pushed by filipeom
3m 57s main
main
3m 57s
Automatic release scripts and workflow (#386) opam-repository #12: Commit 3c98cc0 pushed by filipeom
4m 31s main
main
4m 31s
Automatic release scripts and workflow (#386) opam-repository #11: Commit 7e57f20 pushed by filipeom
4m 34s main
main
4m 34s
Automatic release scripts and workflow (#386) opam-repository #10: Commit d686856 pushed by filipeom
4m 10s main
main
4m 10s