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.74%. Remained the same
595

push

github

filipeom 
Release 0.31.0

2716 of 6507 relevant lines covered (41.74%)

38.24 hits per line

Relevant lines Covered
6507 RELEVANT LINES 2716 COVERED LINES
38.24 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
587 main Properly show array type in typed interface + fix tests push hra687261 github
41.06
586 main Bump z3 to 5.1.0 (#561) Closes #561 push filipeom github
40.86
585 main Fix model generation for expressions with different return types Model generation for expressions like `str.len "a"` would return `Str "1"` instead of `Int 1` because `value_of_term` would pass the type of the theory of the expressions instead of... push filipeom github
40.88
See All Builds (404)