msakai / toysolver
71%

DEFAULT BRANCH: master
Repo Added
Files 124
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: master
CHANGE BRANCH
x

coverage: 71.05% (+1.0%) from 70.089%
836

push

github

msakai 
update CHANGELOG.markdown

11383 of 16021 relevant lines covered (71.05%)

0.71 hits per line

Relevant lines Covered
16021 RELEVANT LINES 11383 COVERED LINES
0.71 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
836 master update CHANGELOG.markdown push msakai github
71.05
835 master Merge pull request #217 from msakai/feature/smt-get-model-div-by-zero Produce division-by-zero function definition in SMT model if it is used push web-flow github
70.09
830 master Merge pull request #216 from msakai/fix-smt-model-unused-fsym push GitHub github
70.89
827 master Merge pull request #215 from msakai/feature/smt-define-const Support define-const command in ToySolver.SMT.SMTLIB2Solver push web-flow github
70.89
825 master Merge pull request #214 from msakai/language-smtlib-0.2 push web-flow github
70.99
822 master Merge pull request #213 from msakai/fix/toysmt-repl-framing-error-loop Fix infinite loop on framing errors in the toysmt haskeline REPL push web-flow github
70.73
819 master Merge pull request #211 from msakai/claude/dazzling-planck-7dcdh5 push web-flow github
70.87
814 master update CHANGELOG push web-flow github
71.0
813 master Merge pull request #209 from msakai/feature/bv-zero-division Update the semantics of zero division on bitvectors to conform to SMT-LIB >=2.6 push web-flow github
70.36
809 master Merge pull request #207 from msakai/stop-deriving-typeable push web-flow github
70.75
See All Builds (1547)