msakai / toysolver / 822

Builds Branch Commit Type Ran Committer Via Coverage
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
821 HEAD Merge 3c6338292 into d66e53cb7 push web-flow github
70.85
819 master Merge pull request #211 from msakai/claude/dazzling-planck-7dcdh5 push web-flow github
70.87
818 HEAD Merge 185c092ab into f8b943f57 push web-flow github
70.17
817 HEAD Merge 021d7ac90 into f8b943f57 push web-flow github
70.84
815 HEAD Merge ac686995c into 05e43f911 push web-flow github
70.31
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
812 HEAD Merge 6b8387548 into 040480525 push web-flow github
70.81
811 HEAD Merge 13c20f641 into 040480525 push web-flow github
71.04
810 HEAD Merge f349d3ac5 into 040480525 push web-flow github
71.03
809 master Merge pull request #207 from msakai/stop-deriving-typeable push web-flow github
70.75
808 HEAD Merge d8d6f8c5a into f889bec6a push web-flow github
70.68
807 master Merge pull request #208 from msakai/drop-old-libraries Stop supporting old versions of libraries (aeson, array, hashable, optparse-applicative) push web-flow github
70.55
806 HEAD Merge 02bdcdeb8 into dda4b1322 push web-flow github
70.87