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

msoos / cryptominisat / 1996

Builds Branch Commit Type Ran Committer Via Coverage
1996 master Fixing issue with Config Related to issue #464 push 07 Mar 2018 09:58AM UTC msoos travis-ci pending completion   set done
1995 master Fixing issue with Config names Closes #464 push 07 Mar 2018 09:19AM UTC msoos travis-ci pending completion   set done
1994 master Fuzzer works with both python2 and python3 push 06 Mar 2018 08:07PM UTC msoos travis-ci pending completion   set done
1993 master Updating satcomp17 file list push 06 Mar 2018 06:18PM UTC msoos travis-ci pending completion   set done
1992 master Correctly count sub/str time push 06 Mar 2018 05:26PM UTC msoos travis-ci pending completion   set done
1991 master Making it clear that DRAT may work with Maple, fixing DRAT in Maple push 06 Mar 2018 04:33PM UTC msoos travis-ci pending completion   set done
1990 master Updating cnf-utils push 06 Mar 2018 03:53PM UTC msoos travis-ci pending completion   set done
1989 master Adding the code for running instances on AWS push 06 Mar 2018 12:38PM UTC msoos travis-ci pending completion   set done
1988 master Fixing issue with fuzzer_call_failed push 06 Mar 2018 11:58AM UTC msoos travis-ci pending completion   set done
1987 master Print issue with sub-fuzzer push 05 Mar 2018 11:34PM UTC msoos travis-ci pending completion   set done
1986 master Python module now correctly works for Python2+3 push 05 Mar 2018 10:56PM UTC msoos travis-ci pending completion   set done
1985 master OOps, double-invert on update_bogoprops fixed push 05 Mar 2018 06:13PM UTC msoos travis-ci pending completion   set done
1984 master Fixing issue with marked clauses push 05 Mar 2018 05:32PM UTC msoos travis-ci pending completion   set done
1983 master Fixing forcing python2 for NORMAL_PYTHON2 builds push 05 Mar 2018 04:05PM UTC msoos travis-ci pending completion   set done
1982 master Don't do more minimisation than other SAT solvers push 05 Mar 2018 03:45PM UTC msoos travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • …
  • 64
  • 65
  • Next →
  • Back to Repo
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

© 2025 Coveralls, Inc