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

SpoonLabs / nopol / 273

Builds Branch Commit Type Ran Committer Via Coverage
273 master Change the code of the CustomClassLoaderThreadFactory to avoid getting zombie threads at the end of the execution (#97) push 14 Feb 2017 09:36AM UTC monperrus travis-ci pending completion   set done
272 master chore: help readingness and add some documentation (#95) push 14 Feb 2017 09:32AM UTC monperrus travis-ci pending completion   set done
271 master chore: change travis to run also on OSX (#94) push 14 Feb 2017 09:28AM UTC monperrus travis-ci pending completion   set done
269 master Refactor Config to extract getLocalizer and to keep a simple constructor. Pull #98 13 Feb 2017 04:07PM UTC web-flow travis-ci pending completion   set done
268 master Change the code of the CustomClassLoaderThreadFactory to avoid getting zombie threads at the end of the execution Pull #97 13 Feb 2017 03:45PM UTC web-flow travis-ci pending completion   set done
266 master Change documentation for JPF and gitignore Pull #95 13 Feb 2017 03:22PM UTC web-flow travis-ci pending completion   set done
265 master Change travis configuration to support OSX Pull #94 13 Feb 2017 10:24AM UTC web-flow travis-ci pending completion   set done
264 master Fix TestUtility to determine SolverPath depending on the operating system (#93) push 10 Feb 2017 04:20PM UTC monperrus travis-ci pending completion   set done
263 master Change TestPatchEvo to also use computed solver from TestUtility Pull #93 10 Feb 2017 04:12PM UTC web-flow travis-ci pending completion   set done
261 master Fix TestUtility to determine SolverPath given the system running (as done in Z3SolverFactory) Pull #93 10 Feb 2017 03:50PM UTC web-flow travis-ci pending completion   set done
262 master Reorganize documentation and evaluations of the repository (#92) push 10 Feb 2017 03:48PM UTC monperrus travis-ci pending completion   set done
260 master Cleanup (#90) push 10 Feb 2017 03:37PM UTC monperrus travis-ci pending completion   set done
259 master Reorganize documentation and evaluations of the repository Pull #92 10 Feb 2017 03:35PM UTC web-flow travis-ci pending completion   set done
254 master Revert "Remove old Nopol Jar from the repository" This reverts commit bc76390f9. Pull #90 09 Feb 2017 03:38PM UTC web-flow travis-ci pending completion   set done
252 master Update README.md (#89) push 09 Feb 2017 01:24PM UTC monperrus travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • …
  • 24
  • 25
  • 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