23 commits

Author	SHA1	Message	Date
mcarton	a878916ad5	rustfmt all the things	2016-04-14 20:14:03 +02:00
mcarton	c24ba91123	Rustup to 1.9.0-nightly (bf5da36f1 2016-04-06)	2016-04-08 02:23:14 +02:00
Manish Goregaokar	6b0eb10769	Ignore pathological cases in boolean lint (#825)	2016-04-01 21:24:31 +05:30
Oliver Schneider	2917484130	make nonminimal_bool allow-by-default	2016-03-30 12:55:59 +02:00
Oliver Schneider	fa48ee678a	dogfood	2016-03-29 17:20:30 +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	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