msakai / toysolver
71%

DEFAULT BRANCH: master
Repo Added
Files 126
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

coverage: 71.051% (+0.06%) from 70.988%
849

push

github

web-flow 
Merge pull request #221 from msakai/feature/downey-sethi-tarjan-cc

Implement Downey-Sethi-Tarjan (1980) style congruence closure

129 of 145 new or added lines in 2 files covered. (88.97%)

60 existing lines in 11 files now uncovered.

11484 of 16163 relevant lines covered (71.05%)

0.71 hits per line

Relevant lines Covered
16163 RELEVANT LINES 11484 COVERED LINES
0.71 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
849 master Merge pull request #221 from msakai/feature/downey-sethi-tarjan-cc Implement Downey-Sethi-Tarjan (1980) style congruence closure push web-flow github
71.05
847 master update CHANGELOG.markdown after the v0.10.0 release push msakai github
70.99
848 HEAD Merge b54ded6b7 into 549fd363f push web-flow github
71.17
846 HEAD Merge 71e7a4df3 into 0591c1ca0 push web-flow github
71.33
845 master Merge pull request #220 from msakai/workaround-219 Workaround for issue #219 push web-flow github
70.67
843 HEAD Merge 1bd21699c into 195757ed9 push web-flow github
70.82
844 HEAD Merge 5ba0492b0 into 195757ed9 push web-flow github
70.27
842 master Merge pull request #218 from msakai/cc-gcd-example Add a test case for congruence closure: f³(a) = a ∧ f⁵(a) = a ⇒ f(a) = a push web-flow github
71.02
841 HEAD Merge 46ceadbc5 into f10896e0a push web-flow github
70.84
840 master Add language-smtlib link to README push web-flow github
71.16
See All Builds (1559)