formalsec / smtml
52%

DEFAULT BRANCH: main
Repo Added
Files 13
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: 51.566%. Remained the same
416

push

github

filipeom 
Release 0.14.0

988 of 1916 relevant lines covered (51.57%)

10.6 hits per line

Relevant lines Covered
1916 RELEVANT LINES 988 COVERED LINES
10.6 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
416 main Release 0.14.0 push filipeom github
51.57
415 main Add `threads` to smtml's libraries stanza push filipeom github
51.57
414 main Add draft smtml logo push filipeom github
51.57
413 main Update README with logo and project details Added logo and enhanced project description. push web-flow github
51.57
412 main Add draft smtml logo push filipeom github
51.57
411 main Release 0.14.0 push filipeom github
51.57
410 main Promote tests push filipeom github
51.57
409 main WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer push filipeom github
51.57
408 main Bring back collections-c benchmarking as a test push filipeom github
53.75
407 main Release 0.13.0 push filipeom github
53.75
See All Builds (250)