formalsec / smtml
40%

DEFAULT BRANCH: main
Repo Added
Files 52
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: 40.116%. Remained the same
571

push

github

filipeom 
Unpin cvc5 package and add conflicts clause

2413 of 6015 relevant lines covered (40.12%)

34.43 hits per line

Relevant lines Covered
6015 RELEVANT LINES 2413 COVERED LINES
34.43 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
571 main Unpin cvc5 package and add conflicts clause push filipeom github
40.12
570 main Fix rotate operator serialization (#655) This issue was probably introduced by #629. Should have done a better job testing our parser at that point. Closes #655 push filipeom github
40.12
569 main Migrate testing framework to alcotest from ounit2 For the simple reason being that I like the output more. push filipeom github
39.72
568 main Allow coderabbit to approve my PRs push filipeom github
39.68
567 main Allow coderabbit to approve my PRs push filipeom github
39.67
566 main Try out coderabbit push filipeom github
39.68
565 main Add AGENTS.md push filipeom github
39.72
563 main Release 0.29.0 push filipeom github
44.45
562 main Add support for colibri2.0.6.0 push filipeom github
44.5
561 main Add colibri2 conflicts constraint on version <= 0.6.0 push filipeom github
44.45
See All Builds (381)