formalsec / smtml
42%

DEFAULT BRANCH: main
Repo Added
Files 54
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: 41.822%. Remained the same
598

push

github

hra687261 
Fix runtest

2723 of 6511 relevant lines covered (41.82%)

38.26 hits per line

Relevant lines Covered
6511 RELEVANT LINES 2723 COVERED LINES
38.26 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
598 main Fix runtest push hra687261 github
41.82
597 main Use atomic for recorded queries push hra687261 github
41.82
596 main Add unix to mdx's dependencies mdx introduced a dependency on unix in 2.6.0. Since we disable transitive dependencies by default we need to add it to mdx blocks as a dependency. push filipeom github
41.74
595 main Release 0.31.0 push filipeom github
41.74
594 main Fix testsuite push hra687261 github
41.74
593 main Add bounded per-solver memoization of encoded expressions Bounds memoization table to `1_000_000` entries. But default can be overwritten with the environment variable `SMTMLT_MAX_MEMO_ENTRIES`. push filipeom github
41.77
591 main Fix SMT-LIB semantics on float nans and zeros push hra687261 github
41.8
590 main Fix colibri2 conflicts push filipeom github
41.79
589 main Add support for uninterpreted function in cvc5 (#654) Closes #654 push filipeom github
41.79
588 main Make the const array function an option push hra687261 github
41.79
See All Builds (407)