formalsec / smtml / 481

Builds Branch Commit Type Ran Committer Via Coverage
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
468 main Use caml_string_hash when compiling with ocaml >= 5 push filipeom github
44.59
467 main improves hashing push filipeom github
44.59
466 main Simplify `i32.of_bool(i32.to_bool(c)) = c` push filipeom github
44.56
465 main Support arbitrary width bitvectors in mappings.ml push filipeom github
44.32
464 main Remove axioms.ml An idea lost to time push filipeom github
44.32