search

aditink / algebraic_simplification_cesar

Egg Heuristics for algebraic simplification used by the CESAR tool.
GNU General Public License v2.0
2 stars 3 forks source link

Cleanup passes #3

Open aditink opened 1 week ago

aditink commented 1 week ago

Identify any common methods or functionality that repeat across different classes, and put them in a library that these passes can consume.

aditink commented 1 week ago

@ravneetsb is working on this.