SSA grammar with a sketch generates a huge search space

uwplse / syncro

Synthesis of Incremental Operations

2 stars 1 forks source link

Open Sumith1896 opened 7 years ago

Sumith1896 commented 7 years ago

@rohinmshah Could you elaborate on your ideas for this? I'll get this fixed soon. I remember you saying some reasonable things have not been done.