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.429%. Remained the same
578

push

github

filipeom 
Release 0.30.0

2450 of 6060 relevant lines covered (40.43%)

35.75 hits per line

Relevant lines Covered
6060 RELEVANT LINES 2450 COVERED LINES
35.75 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
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
See All Builds (388)