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

logic-ng / LogicNG / #178

Builds Branch Commit Type Ran Committer Via Coverage
#178 ffstate introduced a formula factory state (not yet fully functional) push 19 Apr 2017 08:52AM UTC zengler wercker pending completion   set done
#177 d3114561bf3e787d1a7de4a0036cc47059ddfee3 added documentation via pdf doclet script push 19 Feb 2017 09:18PM UTC SHildebrandt pending completion   set done
#176 solverKnownVariables proposal for SATSolver.addWithoutUnknown push 29 Nov 2016 12:26PM UTC SHildebrandt wercker pending completion   set done
#175 solverKnownVariables another method for known variables push 29 Nov 2016 10:29AM UTC SHildebrandt wercker pending completion   set done
#174 development fixed a test push 28 Nov 2016 08:03PM UTC czengler wercker pending completion   set done
#173 master Updated coveralls plugin push 06 Nov 2016 12:43PM UTC czengler wercker pending completion   set done
#172 bdd fixed two small bugs push 31 Oct 2016 05:10PM UTC czengler wercker pending completion   set done
#171 development fixed some javadoc push 14 Oct 2016 11:54AM UTC czengler wercker pending completion   set done
#170 development implemented comparable pair push 14 Oct 2016 10:09AM UTC SHildebrandt wercker pending completion   set done
#169 more-io Added formula writers and readers push 23 Sep 2016 08:26PM UTC czengler wercker pending completion   set done
#168 development Merge pull request #6 from d-bischoff/fixJavadoc Added javadoc and source generation for jars push 08 Sep 2016 07:17PM UTC web-flow wercker pending completion   set done
#167 repairCoveralls test fixed coveralls plugin push 05 Sep 2016 11:33PM UTC SHildebrandt wercker pending completion   set done
#166 repairCoveralls debug coveralls-plugin push 04 Sep 2016 11:58AM UTC SHildebrandt pending completion   set done
#165 repairCoveralls debug coveralls-plugin push 04 Sep 2016 11:49AM UTC SHildebrandt pending completion   set done
#164 development test new version of maven-coveralls-plugin (adjusted to work with Wercker) push 04 Sep 2016 11:12AM UTC SHildebrandt pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • …
  • 31
  • 32
  • 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