mcarton
|
dd3fd41a03
|
Use span_suggestion for WHILE_LET_ON_ITERATOR
|
2016-06-07 18:32:40 +02:00 |
|
mcarton
|
a7a6c0461d
|
Add environment variable to deactivate wiki links
|
2016-06-05 22:03:02 +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
|
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
|
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 |
|