fkutzner / JamSAT / 304

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
304	current	reworked the ClauseDistribution interface	push	21 Aug 2019 06:08PM UTC	fkutzner	travis-ci	pending completion
303	current	clean up SubsumptionChecker.h	push	27 May 2019 07:57PM UTC	fkutzner	travis-ci	pending completion
302	current	tidy up Options.cpp	push	16 Apr 2019 02:05PM UTC	fkutzner	travis-ci	pending completion
301	master	remove tokei.rs badge due to bad LOC readings	push	24 Mar 2019 09:05PM UTC	fkutzner	travis-ci	pending completion
300	rel-0.2.0	update CHANGELOG.md	push	24 Mar 2019 03:56PM UTC	fkutzner	travis-ci	pending completion
299	rel-0.2.x-bugfixes	update CHANGELOG.md	push	24 Mar 2019 03:48PM UTC	fkutzner	travis-ci	pending completion
298	current	update CHANGELOG.md	push	24 Mar 2019 03:37PM UTC	fkutzner	travis-ci	pending completion
297	current	perform in-flight simplifications less frequently	push	24 Mar 2019 01:27PM UTC	fkutzner	travis-ci	pending completion
296	exp_ecoprop	avoid iterating over too many assigned literals during propagation	push	24 Mar 2019 11:27AM UTC	fkutzner	travis-ci	pending completion
295	master	count logging epochs by the number of seen conflicts	push	23 Mar 2019 11:13PM UTC	fkutzner	travis-ci	pending completion
294	current	count logging epochs by the number of seen conflicts	push	23 Mar 2019 10:38PM UTC	fkutzner	travis-ci	pending completion
293	current	always run simplifications during the first invocation of LightweightSimplifier	push	23 Mar 2019 09:36AM UTC	fkutzner	travis-ci	pending completion
291	master	extract magic number to static constexpr member in CDCLSatSolver	push	23 Mar 2019 09:29AM UTC	fkutzner	travis-ci	pending completion
290	master	fix negative-value checking in Options.cpp	push	18 Mar 2019 07:33PM UTC	fkutzner	travis-ci	pending completion
289	current	fix negative-value checking in Options.cpp	push	18 Mar 2019 07:12PM UTC	fkutzner	travis-ci	pending completion

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 15
• 16
• Next →