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