search

microsoft / prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
https://microsoft.github.io/prose/
Other
620 stars 100 forks source link

fix parameterIndex #36

Closed namin closed 5 years ago

namin commented 5 years ago

The parameter parameterIndex should be parameterSymbolIndex, but better just use it implicitly like in the other witness functions.

namin commented 5 years ago

I was using an outdated prose. Nevermind. Sorry for the noise.