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 |
|