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

msoos / cryptominisat / 2177

Builds Branch Commit Type Ran Committer Via Coverage
2177 master Fixing minimum cutting number push 30 May 2018 05:02AM UTC msoos travis-ci pending completion   set done
2175 master Independent vars will clash with components We will want to branch only on indep vars push 28 May 2018 01:43PM UTC msoos travis-ci pending completion   set done
2174 master Fixing tests push 28 May 2018 08:38AM UTC msoos travis-ci pending completion   set done
2172 master Checking burst search not messing up polarities push 27 May 2018 04:06PM UTC msoos travis-ci pending completion   set done
2171 master Cleaner test code push 27 May 2018 02:39PM UTC msoos travis-ci pending completion   set done
2170 master Fuzz the new options push 25 May 2018 04:32PM UTC msoos travis-ci pending completion   set done
2169 master Adding back the option to use cache to find more XORs push 25 May 2018 03:42PM UTC msoos travis-ci pending completion   set done
2168 master Fixing random number generator. Pretty serious bug actually. Related to #491 Thanks to @jvpeetz, Jörg for this push 25 May 2018 02:31PM UTC msoos travis-ci pending completion   set done
2167 master Changing thread_num-based config push 25 May 2018 12:28PM UTC msoos travis-ci pending completion   set done
2166 master Don't run TravisCI on anything but master push 25 May 2018 11:22AM UTC msoos travis-ci pending completion   set done
2165 master Better error printing push 25 May 2018 10:54AM UTC msoos travis-ci pending completion   set done
2164 scalmc-simpsat2 Merge branch 'master' into scalmc-simpsat2 push 25 May 2018 10:09AM UTC msoos travis-ci pending completion   set done
2159 master Better verbose printing push 25 May 2018 08:42AM UTC msoos travis-ci pending completion   set done
2158 scalmc-simpsat2 Merge branch 'master' into scalmc-simpsat2 push 25 May 2018 08:00AM UTC msoos travis-ci pending completion   set done
2157 master Don't remove BOTH xors that are equivalent!! push 25 May 2018 07:16AM UTC msoos travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • …
  • 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