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%. Remained the same
487

push

github

filipeom 
Start updating CI to use our custom images

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