1344 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
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
Benjamin Kampmann	54c8c23a74	Add Post-Success script to build clippy-service	2016-03-29 10:24:35 +02:00
Manish Goregaokar	94f10ee69a	Merge pull request #808 from mcarton/copies ... Fix false positive in `MATCH_SAME_ARMS` and guards	2016-03-29 08:39:24 +05:30
mcarton	0939f5a2ec	Fix false positive in MATCH_SAME_ARMS and guards	2016-03-29 01:39:35 +02:00
llogiq	9cbfa5dbc9	Merge pull request #807 from mcarton/vec ... Add `for _ in vec![…]` to the `USELESS_VEC` lint	2016-03-29 00:43:02 +02:00
mcarton	777e810a39	Add for _ in vec![…] to the USELESS_VEC lint	2016-03-28 23:32:55 +02:00
llogiq	11eae72e6f	Merge pull request #780 from mcarton/doc ... Doc stuff	2016-03-28 22:41:06 +02:00
mcarton	371a5537eb	Address nits in DOC_MARKDOWN	2016-03-28 21:24:52 +02:00
mcarton	b1d1f095f1	Improve the DOC_MARKDOWN lint ... `_` can be used for emphasize text. `::` is equality as bad outside ticks.	2016-03-28 21:24:36 +02:00
mcarton	42bf37f49f	Add a lint for bad documentation formatting	2016-03-28 21:24:36 +02:00
mcarton	941ec6e4f5	Beautify more docs	2016-03-28 21:24:36 +02:00
mcarton	cfb1bc3723	chmod -x test files	2016-03-28 21:24:36 +02:00
mcarton	7877a42308	Fix some spelling mistakes here and there	2016-03-28 21:24:36 +02:00
llogiq	1c93048bc9	Merge pull request #801 from mcarton/transmute ... Lint transmute from ptr to ref	2016-03-28 21:17:42 +02:00
mcarton	e7158dc8f1	s/cx.span_lint/span_lint(cx, /	2016-03-28 18:05:43 +02:00
mcarton	2d5e3f3118	Lint transmute from ptr to ref	2016-03-28 18:05:43 +02:00
Manish Goregaokar	ae24929cd6	Update contributing with new links	2016-03-28 02:00:35 +05:30
Manish Goregaokar	d2eac3add5	Bump to 0.0.58	2016-03-28 01:59:25 +05:30
Manish Goregaokar	204034e8fa	Fix ICE	2016-03-28 01:58:57 +05:30