• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

msakai / toysolver
72%

Build:
DEFAULT BRANCH: master
Repo Added 02 Feb 2015 02:58PM UTC
Files 123
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
Reset
  • master
  • HEAD
  • IntMap-restrictKeys-withoutKeys
  • appveyor-use-x86_64-stack-for-i386-build
  • bytestring-0.11
  • bytestring-encoding-0.1.1.0
  • criterion-1.6
  • data-interval-2.1.0
  • debug-genipaessentials-master-valgrind
  • drop-ghc-8.0-8.2-8.4
  • drop-megaparsec-5
  • feature/LA-Expr-Num-instance
  • feature/cabal-version-2.4
  • feature/conduit
  • feature/docker-arm64
  • feature/docker-image
  • feature/docker-images
  • feature/eval-wcnf
  • feature/extra-bounds-checking
  • feature/github-actions-macos
  • feature/hash-consing-tseitin-formula
  • feature/ipasir-like-callbacks
  • feature/maxsat-new-v-line
  • feature/mip-avoid-writer
  • feature/move-maxcut-to-toysolver-graph
  • feature/new-wcnf
  • feature/parameterized-mip
  • feature/pb-bccnf
  • feature/pb-encoder-polarity
  • feature/pb-hybrid-encoding
  • feature/pb-parser-megaparsec
  • feature/pb-set-obj
  • feature/pb2sat-with-strategy
  • feature/polynomial-from-x
  • feature/qbf-ddr-wip
  • feature/remove-opencl
  • feature/sat-failed-assumptions-int-set
  • feature/sat-formula
  • feature/sat-shared-config-parser
  • feature/shortest-path-int
  • feature/smtcomp
  • feature/toysat-ipasir
  • feature/turtle
  • feature/unify-graph
  • fix-ld-ghc-8.10.2-x86_64-windows
  • fix-sat-printer
  • ghc-8.10.4
  • ghc-9.2
  • ghc-9.4
  • github-actions-cleanup
  • github-actions-more
  • github-actions-no-fail-fast
  • github-actions-release
  • github-actions-test-j1
  • github-actions-test-timeout
  • issue-44
  • maxsat2015
  • mwc-random-0.15
  • no-StarIsType
  • remove-appveyor
  • remove-deprecated-api
  • remove-travis-ci
  • separate-install-doc
  • smt-dump-model-spike
  • stack-remove-multiset
  • test-ghc-actions-release
  • test-quickcheck-combinators
  • toysat-ipasir-misc-fixes
  • update-actions-202405
  • update-lower-bounds-202110
  • update-stack-lts-202012
  • update-stack-lts-202102
  • update-stack-lts-202105
  • update-stack-lts-202110
  • update-stack-lts-202207
  • update-stack-lts-202207-2
  • v0.6.x
  • v0.7.x
  • v0.8.x

27 Jan 2026 12:38PM UTC coverage: 71.864% (+0.4%) from 71.416%
791

push

github

web-flow
Merge pull request #203 from msakai/feature/cauchys-bounds

Use Cauchy's bounds instead of Lagrange's bounds as the bounds for all roots

3 of 4 new or added lines in 1 file covered. (75.0%)

68 existing lines in 10 files now uncovered.

11108 of 15457 relevant lines covered (71.86%)

0.72 hits per line

Relevant lines Covered
Build:
Build:
15457 RELEVANT LINES 11108 COVERED LINES
0.72 HITS PER LINE
Source Files on master
  • Tree
  • List 123
  • Changed 18
  • Source Changed 1
  • Coverage Changed 18
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
791 master Merge pull request #203 from msakai/feature/cauchys-bounds Use Cauchy's bounds instead of Lagrange's bounds as the bounds for all roots push 27 Jan 2026 12:45PM UTC web-flow github
71.86
787 master Merge pull request #202 from msakai/add-claude-github-actions-1769476609494 Add Claude Code GitHub Workflow push 27 Jan 2026 03:26AM UTC web-flow github
71.42
786 master Merge pull request #201 from msakai/add-claude-md Add CLAUDE.md for Claude Code guidance push 27 Jan 2026 01:28AM UTC web-flow github
71.04
783 master Merge pull request #200 from msakai/update-stack-lts-202601 Update stack resolvers (2026-01) push 14 Jan 2026 12:26AM UTC web-flow github
71.78
778 master Merge pull request #198 from msakai/feature/ci-parallel-compilation CI: Pass --ghc-options=-j to stack when builing toysolver package push 25 May 2025 11:07PM UTC web-flow github
71.58
773 master Merge pull request #197 from msakai/feature/replace-build-artifact-with-github-actions-script Replace misc/build_artifacts.hs with shell scripts in .github/workflows/build.yaml push 24 May 2025 01:25AM UTC web-flow github
71.54
769 master Merge pull request #196 from msakai/feature/warn-o-lines-for-pbs Warn if o-line(s) exist in a log for a PBS problem push 22 May 2025 11:16PM UTC web-flow github
71.74
765 master Merge pull request #194 from msakai/feature/release-linux-static-binaries Build statically linked Linux binaries push 20 May 2025 01:00PM UTC web-flow github
71.91
752 master Merge pull request #193 from msakai/update-stack-lts-202505 Update stack resolvers (2025-05) push 18 May 2025 10:38PM UTC web-flow github
71.84
750 master Merge pull request #192 from msakai/fix/converter-mip-type-default-warning Fix type defaulting warning in ToySolver.Converter.MIP push 18 May 2025 12:51PM UTC web-flow github
71.63
See All Builds (1510)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc