formalsec / smtml / 487

Builds Branch Commit Type Ran Committer Via Coverage
487 main Start updating CI to use our custom images push filipeom github
45.3
486 main SMTZilla: attempt to support `push` and `pop` push hra687261 github
45.3
485 main ci: add missing `--with-test` flag to deploy CI push filipeom github
45.3
483 main Release 0.21.0 push filipeom github
45.3
482 main chore: extend maintenance intent push filipeom github
45.3
481 main Use Re instead of Dune_re push filipeom github
45.3
479 main fix: Add i32.{to_bool, of_bool} cvtop evaluation functions (#531) Closes #531 push filipeom github
45.27
476 main Refactor badges and add Zulip chat link Updated badge links and added Zulip chat link. push web-flow github
45.35
475 main Expose type-safe API to create uninterpreted functions It allows us to catch easy to make errors such as these: ```ocaml open Smtml.Typed let f = Func.(make "f" @@ Types.int @-> Types.real @-> Types.bool @-> ret Types.bool) let a = Int.v 0 let... push filipeom github
45.35
474 main Release 0.20.0 push filipeom github
45.35
473 main Add missing documentation to typed.mli push filipeom github
45.35
472 main Attempt to nixify create-release CI push filipeom github
45.35
471 main Add missing documentation to typed.mli push filipeom github
45.35
470 main removed duplicates, And with cst push filipeom github
44.97
469 main Some fixes from #524 push filipeom github
44.59