formalsec / smtml
45%

DEFAULT BRANCH: main
Repo Added
Files 12
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 45.3% (+0.03%) from 45.274%
481

push

github

filipeom 
Use Re instead of Dune_re

959 of 2117 relevant lines covered (45.3%)

9.58 hits per line

Relevant lines Covered
2117 RELEVANT LINES 959 COVERED LINES
9.58 HITS PER LINE
Source Files on main

Recent builds

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
See All Builds (307)