15 commits

Author	SHA1	Message	Date
Oliver Schneider	96be287f12	detect negations of terminals like a != b vs a == b	2016-03-29 10:45:45 +02:00
Oliver Schneider	25bbde091a	a small refactoring for readability	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	0f92f84f16	String::extend -> String::push_str	2016-03-29 10:45:45 +02:00
Oliver Schneider	e7013a3e9c	update lints	2016-03-29 10:45:45 +02:00
Oliver Schneider	76ab801001	if a < b { ... } if a >= b { ... } what am I doing?	2016-03-29 10:45:18 +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	050d7fd308	fallout and tests	2016-03-29 10:45:18 +02:00
Oliver Schneider	5911ccaba8	merge multiple equal terminals into one	2016-03-29 10:45:18 +02:00
Oliver Schneider	25ed62ff23	improve lint attribute detail	2016-03-29 10:45:18 +02:00
Oliver Schneider	1f1f09ba92	also compute minimal product of sum form	2016-03-29 10:45:18 +02:00
Oliver Schneider	57faa5a9f5	improve bracket display	2016-03-29 10:45:18 +02:00
Oliver Schneider	93d097eb12	better simplification	2016-03-29 10:45:18 +02:00