formalsec / smtml
48%

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: 48.103% (-0.1%) from 48.2%
Relevant lines Covered
5060 RELEVANT LINES 2434 COVERED LINES
40.89 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
542 main [z3] add implement `Re.allchar` and `Re.diff` using native API Since these aren't yet available in the API we can use the native function and leverage `Obj.magic` to implement `Re.allchar` and `Re.diff`. push filipeom github
48.1
539 main Release 0.27.0 push filipeom github
48.2
537 main Move feature conversion from feature_extraction.ml to feature.ml push hra687261 github
48.35
536 main Improve failure info in mappings push filipeom github
48.36
535 main Remove dep on rresult push hra687261 github
48.29
534 main Add SMTZilla examples where different solvers are used push hra687261 github
48.28
533 main Expose raw evaluation of binop and relop in eval.ml push filipeom github
48.3
532 main Connect `String_last_index` to z3 and expose to solver mappings push filipeom github
48.27
531 main Update dune-site and dune-build-info lowerbounds push filipeom github
48.28
530 main Release 0.26.0 push filipeom github
48.24
See All Builds (355)