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.

csharpdata-transformationdata-wranglingdotnetexamplesmicrosoftprogram-synthesisprosesdksynthesis

Alex Polozov d4ed04d875 #10: Session		2017-05-04 12:16:52 -07:00
ProseTutorial	#10: Session	2017-05-04 12:16:52 -07:00
ProseTutorial.Substrings	#9a: FE grammar with SplitLines, without selection	2017-05-04 09:58:16 -07:00
ProseTutorial.Substrings.Internals	#8: Prefer absolute positions to regex positions if k is small	2017-05-04 09:58:16 -07:00
ProseTutorial.TextExtraction	#9f: run FE benchmarks	2017-05-04 09:58:16 -07:00
ProseTutorial.TextExtraction.Internals	#9e: WitnessLinesMap body	2017-05-04 09:58:16 -07:00
benchmarks	0: Start. Initial skeleton.	2017-05-04 09:51:17 -07:00
.gitignore	0: Start. Initial skeleton.	2017-05-04 09:51:17 -07:00
BuildGrammar.targets	0: Start. Initial skeleton.	2017-05-04 09:51:17 -07:00
ProseTutorial.sln	#9a: FE grammar with SplitLines, without selection	2017-05-04 09:58:16 -07:00