formalsec / smtml
54%

DEFAULT BRANCH: main
Repo Added
Files 11
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: 54.065%. Remained the same
401

push

github

filipeom 
Unpin opam-publish in publish CI

Since opam-publish 2.7.0 already includes the latest changes we can
unpin my branch.

951 of 1759 relevant lines covered (54.06%)

11.4 hits per line

Relevant lines Covered
1759 RELEVANT LINES 951 COVERED LINES
11.4 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
401 main Unpin opam-publish in publish CI Since opam-publish 2.7.0 already includes the latest changes we can unpin my branch. push filipeom github
54.06
400 main Release 0.12.0 push filipeom github
54.06
399 main Backwards compatibility with ocaml 4.14 push filipeom github
54.06
398 main Improve error message on missing solver (#424) push filipeom github
54.06
397 main Release 0.12.0 push filipeom github
54.06
396 main Improve error message on missing solver (#424) push filipeom github
54.06
395 main Add missing cvc5 `to_string` operator push filipeom github
54.06
394 main Add bitvector overflow predicate operators (#417) push filipeom github
54.06
393 main Add workflow to weekly create a new release (#386) push filipeom github
54.06
392 main update dune file push filipeom github
54.06
See All Builds (235)