search

uwplse / stng

compiler for fortran stencils using verified lifting,
http://stng.uwplse.org
MIT License
17 stars 4 forks source link

Z3 generation template is too complicated #8

Open shoaibkamil opened 7 years ago

shoaibkamil commented 7 years ago

The template for generating Z3 (templates/invariant/invariant.2.z3.mako) is far too complex and hard to read. This should be simplified.