Path	Lines of Code
dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs	31
dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/WitnessFunctions.cs	55
dsl-samples/tutorial/part1a/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs	31
dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs	50
dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs	26
dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs	64
dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs	26
dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs	62
dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs	26
dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs	59
dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs	26
dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs	59
dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs	26
dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs	63
dsl-samples/tutorial/part1c/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs	26
dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs	60
dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs	32
dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs	63
dsl-samples/tutorial/part1d/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs	31
dsl-samples/tutorial/part1d/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs	63
dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs	38
dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/Semantics.cs	28
dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/WitnessFunctions.cs	22
dsl-samples/tutorial/part2a/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs	43
dsl-samples/tutorial/part2a/ProseTutorial/synthesis/Semantics.cs	28
dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs	121
dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs	150
dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs	38
dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/Semantics.cs	28
dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/WitnessFunctions.cs	22
dsl-samples/tutorial/part2b/ProseTutorial/Program.cs	149
dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs	38
dsl-samples/tutorial/part2b/ProseTutorial/synthesis/Semantics.cs	28
dsl-samples/tutorial/part2b/ProseTutorial/synthesis/WitnessFunctions.cs	19