14 commits

Author	SHA1	Message	Date
mcarton	a7a6c0461d	Add environment variable to deactivate wiki links	2016-06-05 22:03:02 +02:00
Oliver Schneider	e9c87c777c	!(a == b) --> a != b	2016-03-29 17:18:47 +02:00
Oliver Schneider	b05dd13f2c	added brackets and fixed compiler comments	2016-03-29 16:55:38 +02:00
Oliver Schneider	216edbae59	accidentally forgot about improvements if there were multiplie candidates	2016-03-29 16:27:06 +02:00
Oliver Schneider	be7288303a	more tests	2016-03-29 10:45:45 +02:00
Oliver Schneider	96be287f12	detect negations of terminals like a != b vs a == b	2016-03-29 10:45:45 +02:00
Oliver Schneider	3a0791e680	make sure a < b and a >= b are considered equal by SpanlessEq	2016-03-29 10:45:45 +02:00
Oliver Schneider	6904fd5a49	add tests showing the current level of minimization with ==	2016-03-29 10:45:45 +02:00
Oliver Schneider	dd6bee3b3f	collect stats on bool ops and negations in an expression	2016-03-29 10:45:45 +02:00
Oliver Schneider	37cee84c44	negations around expressions can make things simpler	2016-03-29 10:45:18 +02:00
Oliver Schneider	03833f666f	differentiate between logic bugs and optimizable expressions	2016-03-29 10:45:18 +02:00
Oliver Schneider	288ea79963	treat macros as terminals to prevent cfg! from giving platform specific hints	2016-03-29 10:45:18 +02:00
Oliver Schneider	0a78a795ab	bugfix in quine-mc_cluskey 0.2.1	2016-03-29 10:45:18 +02:00
Oliver Schneider	050d7fd308	fallout and tests	2016-03-29 10:45:18 +02:00