Path	Lines of Code
Directory.Build.props	2
Directory.Build.targets	2
api-samples/Extraction.Json/SampleProgram.cs	78
api-samples/Extraction.Web/SampleDocuments/sample-document-1.html	108
api-samples/Extraction.Web/SampleDocuments/sample-document-2.html	100
api-samples/Extraction.Web/SampleProgram.cs	134
api-samples/Matching.Text/Program.cs	71
api-samples/Read.FlatFile/SampleProgram.cs	151
api-samples/Split.Text/Program.cs	133
api-samples/Transformation.Json/JsonToJsonSample.cs	91
api-samples/Transformation.Json/SampleProgram.cs	15
api-samples/Transformation.Json/TableToJsonSample.cs	45
api-samples/Transformation.Text/SampleProgram.cs	192
api-samples/Transformation.Text/SimpleAPI.cs	63
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/LanguageGrammar.cs	34
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/Learner.cs	79
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/Loader.cs	14
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflict.cs	75
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/Program.cs	45
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/RankingScore.cs	44
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/ResolutionExample.cs	24
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/Semantics.cs	259
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/Utils.cs	19
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/WitnessFunctions.cs	318
dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/Samples.cs	41
dsl-samples/ProseSample/ProseSample.Substrings.Semantics/RankingScore.cs	33
dsl-samples/ProseSample/ProseSample.Substrings.Semantics/RegexUtils.cs	29
dsl-samples/ProseSample/ProseSample.Substrings.Semantics/Semantics.cs	31
dsl-samples/ProseSample/ProseSample.Substrings.Semantics/WitnessFunctions.cs	101
dsl-samples/ProseSample/ProseSample.Substrings/Grammar.cs	16
dsl-samples/ProseSample/ProseSample.TextExtraction/RankingScore.cs	18
dsl-samples/ProseSample/ProseSample.TextExtraction/Semantics.cs	23
dsl-samples/ProseSample/ProseSample.TextExtraction/WitnessFunctions.cs	39
dsl-samples/ProseSample/ProseSample/Program.cs	86
dsl-samples/ProseSample/ProseSample/Utils.cs	83
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
misc/BenchmarkDriver/AbstractInteractiveRunner.cs	51
misc/BenchmarkDriver/AbstractRunner.cs	31
misc/BenchmarkDriver/ExtractionTextRunner.cs	206
misc/BenchmarkDriver/FullSuiteRunner.cs	49
misc/BenchmarkDriver/IRunner.cs	7
misc/BenchmarkDriver/Options.cs	38
misc/BenchmarkDriver/Program.cs	47
misc/BenchmarkDriver/SplitTextRunner.cs	67
misc/BenchmarkDriver/TransformationTextRunner.cs	67
misc/BenchmarkDriver/Utils.cs	11
misc/CCSynth/CC/DataInsights/MANIFEST.in	3
misc/CCSynth/CC/DataInsights/setup.cfg	4
misc/CCSynth/CC/DataInsights/setup.py	49
misc/CCSynth/CC/DataInsights/src/prose/__init__.py	1
misc/CCSynth/CC/DataInsights/src/prose/datainsights/__init__.py	12
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_api/_learn_assertions.py	31
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/__init__.py	1
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_assertion_helper.py	560
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py	439
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py	115
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py	268
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py	89
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_version.py	1