search

formalsec / smtml

A frontend for multiple SMT solvers in OCaml
https://formalsec.github.io/smtml/smtml/
MIT License
27 stars 8 forks source link

Update benchpress pin #249

Closed filipeom closed 1 week ago

filipeom commented 2 weeks ago

Macos CI is broken due to pkgconf (see https://github.com/ocaml/setup-ocaml/issues/897)