formalsec / smtml / 282

Builds Branch Commit Type Ran Committer Via Coverage
282 main Update README.md with how to install at least one solver (Closes #164) push filipeom github
47.7
281 main Add floating-point operator `Copysign` (Closes #185) push filipeom github
47.7
280 main Add sign extension to operators with unsigned counter parts (Closes #207) push filipeom github
47.51
279 main Make `dune-glob` a dev dependency push filipeom github
47.51
278 main Fixes `Value.compare` (Closes #210) push filipeom github
47.51
277 main Fix project description (Closes #199) push filipeom github
47.7
276 main Allow manual dispatch for solver workflows push filipeom github
47.7
275 main Prepare v0.5.0 push filipeom github
47.7
274 main fix doc push filipeom github
47.7
273 main Temporary constraint: prelude <= 0.3 push filipeom github
47.54
272 main Update ocaml compiler version in CI push filipeom github
47.49
271 main Remove smt-testcomp23 because its trashing ecma-sl's CI push filipeom github
47.49
270 main Attempt to fix solver actions push filipeom github
47.49
269 main Removes `satisfiability` type Because we're using a polymorphic variant for the satisfiability result it's nicer to have the explicit sum of polymorphic variants in the type signature of functions. push filipeom github
47.49
268 main Adopt OCaml's code of conduct push filipeom github
47.49