formalsec
/
smtml
48%
|
Repo Added
|
Files
38
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH main
coverage: 47.539% (+0.05%) from 47.488%
push
github
1536 of 3231 relevant lines covered (47.54%)
32.53 hits per line
Relevant lines Covered
3231
RELEVANT LINES
1536
COVERED LINES
32.53
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 273 | main | Temporary constraint: prelude <= 0.3 | push |  filipeom |
github |
47.54 |
|
| 272 | main | Update ocaml compiler version in CI | push | filipeom |
github |
47.49 |
|
| 271 | main | Remove smt-testcomp23 because its trashing ecma-sl's CI | push | filipeom |
github |
47.49 |
|
| 270 | main | Attempt to fix solver actions | push | filipeom |
github |
47.49 |
|
| 269 | main | Removes `satisfiability` type Because we're using a polymorphic variant for the satisfiability result it's nicer to have the explicit sum of polymorphic variants in the type signature of functions. | push | filipeom |
github |
47.49 |
|
| 268 | main | Adopt OCaml's code of conduct | push | filipeom |
github |
47.49 |
|
| 267 | main | Rename options.ml -> cli.ml | push | filipeom |
github |
47.49 |
|
| 266 | main | Promote tests | push | filipeom |
github |
47.49 |
|
| 265 | main | Promote tests | push | filipeom |
github |
47.44 |
|
| 264 | main | Update ocamlformat and format code | push | filipeom |
github |
47.73 |