Repo Added
|
Files
38
|
Badge
README BADGES
|
push
github
8 of 9 new or added lines in 1 file covered. (88.89%)
1578 of 3284 relevant lines covered (48.05%)
32.99 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
285 | main | optimize Expr.equal, cache Expr.simplify | push | github |
48.05 |
||
284 | main | Fix synopsis | push | github |
48.0 |
||
283 | main | Bring back forall and exists quantifiers (Closes #200) | push | github |
48.0 |
||
282 | main | Update README.md with how to install at least one solver (Closes #164) | push | github |
47.7 |
||
281 | main | Add floating-point operator `Copysign` (Closes #185) | push | github |
47.7 |
||
280 | main | Add sign extension to operators with unsigned counter parts (Closes #207) | push | github |
47.51 |
||
279 | main | Make `dune-glob` a dev dependency | push | github |
47.51 |
||
278 | main | Fixes `Value.compare` (Closes #210) | push | github |
47.51 |
||
277 | main | Fix project description (Closes #199) | push | github |
47.7 |
||
276 | main | Allow manual dispatch for solver workflows | push | github |
47.7 |