marxin / cvise

Super-parallel Python port of the C-Reduce
Other
220 stars 25 forks source link

Added rename-operator pass that converts operator functions (e.g. operator +) to regular functions #84

Closed strimo378 closed 2 years ago

strimo378 commented 2 years ago

A pass to rename operator functions (e.g. operator +) to regular function names op1, op2, ... Relevant operators are replaced by function calls, e.g. a + b => a.op1(b). The pass renames all functions with --count=1 and single functions with >= 2.

marxin commented 2 years ago

Thanks for that!