|
Repo Added
|
Files
126
|
Badge
README BADGES
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 854 | HEAD | Merge d629500f9 into fbfc1c465 | push | github |
71.23
|
||
| 853 | master | Merge pull request #223 from msakai/hashtables-1.4.2 Require hashtables >= 1.4.2 to avoid gcc error | push | github |
70.89
|
||
| 852 | HEAD | Merge a4f57b7ad into ee5aa4e4c | push | github |
70.79
|
||
| 850 | HEAD | Merge 83b418e04 into b22665ecd | push | github |
71.15
|
||
| 849 | master | Merge pull request #221 from msakai/feature/downey-sethi-tarjan-cc Implement Downey-Sethi-Tarjan (1980) style congruence closure | push | github |
71.05
|
||
| 847 | master | update CHANGELOG.markdown after the v0.10.0 release | push | github |
70.99
|
||
| 848 | HEAD | Merge b54ded6b7 into 549fd363f | push | github |
71.17
|
||
| 846 | HEAD | Merge 71e7a4df3 into 0591c1ca0 | push | github |
71.33
|
||
| 845 | master | Merge pull request #220 from msakai/workaround-219 Workaround for issue #219 | push | github |
70.67
|
||
| 843 | HEAD | Merge 1bd21699c into 195757ed9 | push | github |
70.82
|