Open sdorkenw opened 7 years ago
Sympy apparently no longer likes variables named in
. Fix for this incoming shortly.
@sdorkenw Please let me know if this isn't now fixed as of baf40a7.
@shoaibkamil would it be easier to stick with an older version of sympy?
@akcheung It looks like this has been an issue for a while, but I'd used input
as my input array.
I created the
simple_loop01.ir
,simple_loop01.sk
andsimple_loop.sk.out
as shown in the end-to-end example and they look fine as far as I can tell. Creating the Z3 file and the halide code fails however, both with very similar errors (from the point on wherepp.SketchResultProcessor(...).interpret()
is called):