search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Fixing Codegen #123

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

This epic contains all issues relating to fixing codegen. When all the issues in here are resolved, the results of Computation::codeGen() should be runnable.