Rednickle/VRprose

master

VRprose

Grade	Name	Complexity	Churn	Issues
A	Extraction.Json\SampleProgram.cs	7	6	-
A	DslAuthoringTutorial\part2b\ProseTutorial\synthesis\WitnessFunctions.cs	21	2	1
A	DslAuthoringTutorial\part2b\ProseTutorial\synthesis\Semantics.cs	6	3	-
A	DslAuthoringTutorial\part2b\ProseTutorial\synthesis\RankingScore.cs	6	2	-
A	DslAuthoringTutorial\part2b\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part2b\ProseTutorial.Tests\SubstringTest.cs	10	7	1
A	DslAuthoringTutorial\part2b-complete\ProseTutorial\synthesis\WitnessFunctions.cs	21	2	1
A	DslAuthoringTutorial\part2b-complete\ProseTutorial\synthesis\Semantics.cs	6	2	-
A	DslAuthoringTutorial\part2b-complete\ProseTutorial\synthesis\RankingScore.cs	6	2	-
A	DslAuthoringTutorial\part2b-complete\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part2b-complete\ProseTutorial.Tests\SubstringTest.cs	10	6	1
A	DslAuthoringTutorial\part2a\ProseTutorial\synthesis\WitnessFunctions.cs	19	2	-
A	DslAuthoringTutorial\part2a\ProseTutorial\synthesis\Semantics.cs	6	3	-
A	DslAuthoringTutorial\part2a\ProseTutorial\synthesis\RankingScore.cs	7	2	-
A	DslAuthoringTutorial\part2a\ProseTutorial\Program.cs	22	2	-
A	DslAuthoringTutorial\part2a\ProseTutorial.Tests\SubstringTest.cs	10	6	1
A	DslAuthoringTutorial\part2a-complete\ProseTutorial\synthesis\WitnessFunctions.cs	21	2	1
A	DslAuthoringTutorial\part2a-complete\ProseTutorial\synthesis\Semantics.cs	6	3	-
A	DslAuthoringTutorial\part2a-complete\ProseTutorial\synthesis\RankingScore.cs	6	2	-
A	DslAuthoringTutorial\part2a-complete\ProseTutorial\Program.cs	22	2	-