formalsec / smtml
40%

DEFAULT BRANCH: main
Repo Added
Files 53
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.451% (+0.02%) from 40.429%
581

push

github

hra687261 
fmt

2455 of 6069 relevant lines covered (40.45%)

35.72 hits per line

Relevant lines Covered
6069 RELEVANT LINES 2455 COVERED LINES
35.72 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
581 main fmt push hra687261 github
40.45
580 main Add test for alt-ergo with negative values in model push hra687261 github
40.43
579 main Remove colibri2 pinned dependency push filipeom github
40.43
578 main Release 0.30.0 push filipeom github
40.43
577 main Quantifer support and unification of API for creation of const/var Adds quantifier support in cvc5 and bitwuzla. As well as, unifies the API for creating symbols. In particular, we adopt the `const` API more commonly used in SMT solvers to replac... push filipeom github
40.43
576 main Remove commented code block in cmd_run.ml push filipeom github
40.51
575 main Add `ls` command to quickly list installed solvers and versions push filipeom github
40.51
574 main Allow mdx blocks to execute if you have at least z3 installed Fixes the issue where mdx blocks would only run when z3 was the only solver installed. This allows us to verify changes in mdx blocks with any combination of solvers installed. Provide... push filipeom github
40.62
573 main Reduce Smtml_prelude type shadowing push filipeom github
40.39
572 main Replace ocaml integer values with arbitrary-precision integers (#658) Closes #658 push filipeom github
40.39
See All Builds (391)