unrolling issue with PlaceHolderSynthesizer

Question

unrolling issue with PlaceHolderSynthesizer

RobinDavid opened this issue 3 years ago · 7 comments

The PlaceHolderSynthesizer seem's not to properly replace placeholder variable during the synthesis process, on some use-cases. The resulting synthesized expression is thus completely wrong. I need to dig deeper.

solitudecc commented 3 years ago

thank you

Answer 1 · 2021-08-10T13:45:12.000Z

Can it be repaired?

Answer 2 · 2021-08-10T19:50:49.000Z

Yes, definitely. I mention it here for the record, I will give it look when will have a minute.

Answer 3 · 2021-10-28T10:08:02.000Z

Is the bug fixed?

Answer 4 · 2021-10-29T21:09:16.000Z

No. Not yet.

Answer 5 · 2021-10-30T10:50:25.000Z

Hello, can you add your telegram?

Answer 6 · 2021-11-01T10:39:57.000Z

Hello, can you add your telegram?

I don't have. You can DM me on Twitter if needed