Repo Added
|
Files
24
|
Badge
Embed ▾
README BADGES
|
push
github
953 of 1986 relevant lines covered (47.99%)
22.87 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
132 | main | Bitwuzla: bool_sort and better error messages | push | filipeom | github |
47.99 |
|
131 | main | Missing Fresh modules | push | filipeom | github |
47.99 |
|
130 | main | Adds S_with_fresh | push | filipeom | github |
47.99 |
|
129 | main | change return type of `Solver_dispatcher.solver_type_of_string`, add `Solver_dispatcher.pp_solver_type` for easy use with cmdliner | push | filipeom | github |
47.96 |
|
128 | main | add inlined hint to Hc functor | push | filipeom | github |
48.06 |
|
127 | main | Version v0.1.1 | push | filipeom | github |
48.06 |
|
126 | main | Removes `pin-depends` | push | filipeom | github |
48.06 |
|
125 | main | Version v0.1.1 | push | filipeom | github |
48.06 |
|
124 | main | Don't use sed to change solver name | push | filipeom | github |
48.06 |
|
123 | main | Fix FP model generation for Colibri2 | push | filipeom | github |
48.2 |