msakai / toysolver / 839

Builds Branch Commit Type Ran Committer Via Coverage
839 master use https:// instead of git:// for source-repository push msakai github
70.76
838 HEAD use https:// instead of git:// for source-repository push msakai github
70.86
837 HEAD update CHANGELOG.markdown push msakai github
71.09
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
834 HEAD Merge dfdea5248 into 28872ad9f push web-flow github
70.79
833 HEAD Merge 90bcc93e1 into 28872ad9f push web-flow github
70.86
831 HEAD Merge 12d839f43 into 28872ad9f push web-flow github
71.01
830 master Merge pull request #216 from msakai/fix-smt-model-unused-fsym push GitHub github
70.89
829 HEAD Merge 5e86e95ca into ee41b13c3 push GitHub github
70.79
828 HEAD Merge 3814dc11a into ee41b13c3 push web-flow github
70.67
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
826 HEAD Merge 89043b970 into 3ac5740c4 push web-flow github
70.75
825 master Merge pull request #214 from msakai/language-smtlib-0.2 push web-flow github
70.99
824 HEAD Merge 86cbcc111 into d0f0da9bf push web-flow github
70.79