formalsec
/
smtml
48%
|
Repo Added
|
Files
52
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH main
coverage: 48.2% (-0.2%) from 48.354%
push
github
2423 of 5027 relevant lines covered (48.2%)
41.05 hits per line
Relevant lines Covered
5027
RELEVANT LINES
2423
COVERED LINES
41.05
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 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 |
|
| 529 | main | Disable implicit transitive deps | push | filipeom |
github |
48.24 |