2464 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Taylor Cramer	d52d23d662	Erased numeric type to reduce branching	2016-04-02 15:32:57 +02:00
Taylor Cramer	106ae7da44	Invalid upcast comparison cleanup	2016-04-02 15:32:57 +02:00
Taylor Cramer	8687949a29	Tests passing for invalid_upcast_comparisons	2016-04-02 15:32:57 +02:00
Taylor Cramer	c81edfc7b9	Updated lints with script	2016-04-02 15:32:56 +02:00
Taylor Cramer	498e0fba7f	Initial attempt at linting invalid upcast comparisons	2016-04-02 15:32:36 +02:00
Manish Goregaokar	c150ae7824	Merge pull request #826 from Manishearth/patho-bool ... Ignore pathological cases in boolean lint	2016-04-01 21:32:41 +05:30
Manish Goregaokar	833b33cad9	Merge pull request #824 from mcarton/doc ... Fix false positive with `DOC_MARKDOWN` and links + rustup	2016-04-01 21:28:27 +05:30
Manish Goregaokar	9349ec597d	Bump to 0.0.60	2016-04-01 21:25:38 +05:30
Manish Goregaokar	a504ef488a	Add regression test for #825	2016-04-01 21:25:20 +05:30
Manish Goregaokar	6b0eb10769	Ignore pathological cases in boolean lint (#825)	2016-04-01 21:24:31 +05:30
mcarton	f8acc83449	Rustup to 1.9.0-nightly (e1195c24b 2016-03-31) ... This does not require a version bump, it only affects tests.	2016-04-01 17:48:13 +02:00
mcarton	f16da4fdda	Fix false positive with DOC_MARKDOWN and links	2016-04-01 17:24:55 +02:00
mcarton	8bfe38c432	Improve the match_same_arms doc	2016-04-01 13:14:39 +02:00
llogiq	45bb75bee2	Merge pull request #822 from Manishearth/fix-820 ... fix #820	2016-04-01 10:40:58 +02:00
Andre Bogus	4c6c84e0a1	fix #820	2016-04-01 10:33:17 +02:00
llogiq	fc64053da4	Merge pull request #819 from oli-obk/more_whitelisted_names ... whitelist more non-expressive-name false positives	2016-03-31 20:02:46 +02:00
Oliver Schneider	73ee3e6f36	whitelist more non-expressive-name false positives	2016-03-31 17:35:00 +02:00
Martin Carton	62bc6423a9	Merge pull request #821 from mcarton/rustup ... Rustup to 1.9.0-nightly (30a3849f2 2016-03-30)	2016-03-31 17:26:13 +02:00
mcarton	4a9a4fcb4d	Bump to 0.0.59	2016-03-31 17:15:31 +02:00
mcarton	9438f4f263	Rustup to 1.9.0-nightly (30a3849f2 2016-03-30)	2016-03-31 17:15:23 +02:00
llogiq	4f17633653	Merge pull request #817 from mcarton/eta ... Fix FP in `REDUNDANT_CLOSURE` with divergent functions	2016-03-30 23:21:48 +02:00
mcarton	7095b5df31	Fix FP in REDUNDANT_CLOSURE with divergent functions	2016-03-30 23:12:24 +02:00
Martin Carton	f98e3ecb37	Merge pull request #813 from oli-obk/fix/non_expressive_names ... Fix/non expressive names	2016-03-30 17:12:55 +02:00
Oliver Schneider	f03d93e05e	better whitelisting of "confusable" binding names	2016-03-30 17:05:15 +02:00
Oliver Schneider	d3362a2222	don't lint on binding names where only a numeric char changes to another numeric	2016-03-30 16:40:21 +02:00
Oliver Schneider	77652243ae	minor code readability improvements	2016-03-30 16:39:25 +02:00
llogiq	e878ab40aa	Merge pull request #790 from oli-obk/bool_opt ... optimize booleans	2016-03-30 15:09:49 +02:00
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
Manish Goregaokar	cf95374486	Add token	2016-03-29 18:45:58 +05:30
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	25bbde091a	a small refactoring for readability	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	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	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
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