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
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
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
josephDunne
aa819b7748
Update rust-clippy to rustc 1.9.0-nightly ( d5a91e695 2016-03-26)
...
move cfg, infer, traits and ty from middle to top-level
move middle::subst into middle::ty
track the extern-crate def-id rather than path (rustc ab9b844
2016-03-27 20:24:10 +01:00
Manish Goregaokar
f51293c399
Rm extraneous infcx
2016-03-27 04:57:25 +05:30
Manish Goregaokar
45d41f7d6a
Bump 0.0.56
2016-03-27 04:33:27 +05:30
Manish Goregaokar
12f374f788
Merge pull request #803 from Manishearth/fixes
...
ICE fixes and other things
2016-03-27 04:31:02 +05:30
Manish Goregaokar
fcfda681e5
Stop using ast_ty_to_ty_cache
...
It's not reliable and gets cleared`
2016-03-27 04:24:55 +05:30
Manish Goregaokar
07dc709ba4
Allow trailing commas in if_let_chain
2016-03-27 04:24:42 +05:30
Manish Goregaokar
f3fdbd0d89
Fix ICE with unknown defids
2016-03-27 02:46:37 +05:30
Manish Goregaokar
3d9a7d9140
Add test for new() -> Self<'static>
2016-03-27 02:46:37 +05:30
Manish Goregaokar
e37ff5a5c7
Fix ICE with relating late bound regions
2016-03-27 02:46:36 +05:30
