formalsec / smtml
45%

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: main
CHANGE BRANCH
x

coverage: 44.505% (+0.06%) from 44.449%
562

push

github

filipeom 
Add support for colibri2.0.6.0

2385 of 5359 relevant lines covered (44.5%)

38.71 hits per line

Relevant lines Covered
5359 RELEVANT LINES 2385 COVERED LINES
38.71 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
560 main fix issue 642 Unexpected exception thrown and fix pp_binop push filipeom github
44.47
559 main Release 0.29.0 push filipeom github
44.49
558 main fix issue 642 Unexpected exception thrown and fix pp_binop push filipeom github
44.49
557 main Cancel CI jobs when branch is updated Uses a GitHub Actions concurrency group keyed by the workflow and branch reference. When a new push arrives, it cancels any in-progress runs for that same PR branch before starting the new one. Prevents wast... push filipeom github
44.59
556 main Finish migration to Yojson.Safe.t (#470) push filipeom github
44.57
555 main Use explicit result return in smtml parsing functions It already bit me in the ass by not treating exceptions in injector. With explicit types I'm forced to treat them and also it allows me to use monadic syntax. push filipeom github
44.61
553 main Add indexed rotate operators This is needed because some solvers may follow the SMT-LIB standard strictly and only implement the rotate operators using indicies. Closes #625 Closes #627 BREAKING: This change intentionally breaks the `rotate_{le... push filipeom github
46.45
552 main Pin cvc5 to development version that build shared library push filipeom github
46.21
See All Builds (373)