Improvements to `PartialEvaluator`

Feuermagier / autograder

Automatic grading of student's Java code

MIT License

13 stars 7 forks source link

Open Luro02 opened 1 month ago

Luro02 commented 1 month ago

[ ] Simplify a + (-b) to a - b and (-b) + a to a - b. (that is represented as an CtUnaryOperator in a CtBinaryOperator). Similarly one could optimize a - (-b) to a + b.
[ ] Group constant expressions like a + 1 + b + 3 -> a + b + 4.
[ ] #494