Rednickle/VRprose

master

VRprose

Grade	Name	Complexity	Churn	Issues
A	DslAuthoringTutorial\part1b-attempt2\ProseTutorial\synthesis\WitnessFunctions.cs	11	2	-
A	DslAuthoringTutorial\part1c-complete\ProseTutorial.Tests\SubstringTest.cs	10	6	1
A	DslAuthoringTutorial\part1c-complete\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part1c-complete\ProseTutorial\synthesis\RankingScore.cs	4	2	-
A	DslAuthoringTutorial\part1c-complete\ProseTutorial\synthesis\Semantics.cs	2	2	-
A	DslAuthoringTutorial\part1c-complete\ProseTutorial\synthesis\WitnessFunctions.cs	11	2	-
A	DslAuthoringTutorial\part1c\ProseTutorial.Tests\SubstringTest.cs	10	7	1
A	DslAuthoringTutorial\part1c\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part1c\ProseTutorial\synthesis\RankingScore.cs	4	2	-
A	DslAuthoringTutorial\part1c\ProseTutorial\synthesis\Semantics.cs	2	2	-
A	DslAuthoringTutorial\part1c\ProseTutorial\synthesis\WitnessFunctions.cs	11	2	-
A	DslAuthoringTutorial\part1d-complete\ProseTutorial.Tests\SubstringTest.cs	10	6	1
A	DslAuthoringTutorial\part1d-complete\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part1d-complete\ProseTutorial\synthesis\RankingScore.cs	5	2	-
A	DslAuthoringTutorial\part1d-complete\ProseTutorial\synthesis\Semantics.cs	2	2	-
A	DslAuthoringTutorial\part1d-complete\ProseTutorial\synthesis\WitnessFunctions.cs	11	2	-
A	DslAuthoringTutorial\part1d\ProseTutorial.Tests\SubstringTest.cs	10	7	1
A	DslAuthoringTutorial\part1d\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part1d\ProseTutorial\synthesis\RankingScore.cs	5	2	-
A	DslAuthoringTutorial\part1d\ProseTutorial\synthesis\Semantics.cs	2	2	-