The distribution of size of files (measured in lines of code).
File | # lines | # units |
---|---|---|
_assertion_helper.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
560 | 37 |
_decision_tree_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
439 | 19 |
WitnessFunctions.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
318 | 15 |
_pca_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
268 | 11 |
Semantics.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
259 | 27 |
ExtractionTextRunner.cs in misc/BenchmarkDriver |
206 | 12 |
SampleProgram.cs in api-samples/Transformation.Text |
192 | 9 |
SampleProgram.cs in api-samples/Read.FlatFile |
151 | 4 |
Program.cs in dsl-samples/tutorial/part2b-complete/ProseTutorial |
150 | 5 |
Program.cs in dsl-samples/tutorial/part1a-complete/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1a/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1b-attempt1/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1b-attempt2/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1c-complete/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1c/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1d-complete/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part1d/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part2a-complete/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part2a/ProseTutorial |
149 | 5 |
Program.cs in dsl-samples/tutorial/part2b/ProseTutorial |
149 | 5 |
SampleProgram.cs in api-samples/Extraction.Web |
134 | 7 |
Program.cs in api-samples/Split.Text |
133 | 1 |
WitnessFunctions.cs in dsl-samples/tutorial/part2a/ProseTutorial/synthesis |
121 | 5 |
_disjunctive_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
115 | 6 |
sample-document-1.html in api-samples/Extraction.Web/SampleDocuments |
108 | - |
WitnessFunctions.cs in dsl-samples/ProseSample/ProseSample.Substrings.Semantics |
101 | 5 |
sample-document-2.html in api-samples/Extraction.Web/SampleDocuments |
100 | - |
JsonToJsonSample.cs in api-samples/Transformation.Json |
91 | - |
_learn_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights |
89 | 5 |
Program.cs in dsl-samples/ProseSample/ProseSample |
86 | 5 |
Utils.cs in dsl-samples/ProseSample/ProseSample |
83 | 4 |
Learner.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
79 | 2 |
SampleProgram.cs in api-samples/Extraction.Json |
78 | 1 |
MergeConflict.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
75 | 2 |
Program.cs in api-samples/Matching.Text |
71 | 1 |
SplitTextRunner.cs in misc/BenchmarkDriver |
67 | 4 |
TransformationTextRunner.cs in misc/BenchmarkDriver |
67 | 5 |
WitnessFunctions.cs in dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis |
64 | 4 |
SimpleAPI.cs in api-samples/Transformation.Text |
63 | 3 |
WitnessFunctions.cs in dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis |
63 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis |
63 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1d/ProseTutorial/synthesis |
63 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis |
62 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1c/ProseTutorial/synthesis |
60 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis |
59 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis |
59 | 4 |
WitnessFunctions.cs in dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis |
55 | 4 |
AbstractInteractiveRunner.cs in misc/BenchmarkDriver |
51 | 3 |
File | # lines | # units |
---|---|---|
_assertion_helper.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
560 | 37 |
Semantics.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
259 | 27 |
_decision_tree_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
439 | 19 |
WitnessFunctions.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
318 | 15 |
ExtractionTextRunner.cs in misc/BenchmarkDriver |
206 | 12 |
_pca_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
268 | 11 |
SampleProgram.cs in api-samples/Transformation.Text |
192 | 9 |
SampleProgram.cs in api-samples/Extraction.Web |
134 | 7 |
RankingScore.cs in dsl-samples/tutorial/part2a/ProseTutorial/synthesis |
43 | 7 |
RankingScore.cs in dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis |
38 | 6 |
RankingScore.cs in dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis |
38 | 6 |
RankingScore.cs in dsl-samples/tutorial/part2b/ProseTutorial/synthesis |
38 | 6 |
_disjunctive_assertions.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
115 | 6 |
Program.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
45 | 5 |
WitnessFunctions.cs in dsl-samples/ProseSample/ProseSample.Substrings.Semantics |
101 | 5 |
Program.cs in dsl-samples/ProseSample/ProseSample |
86 | 5 |
Program.cs in dsl-samples/tutorial/part1a-complete/ProseTutorial |
149 | 5 |
RankingScore.cs in dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis |
31 | 5 |
Program.cs in dsl-samples/tutorial/part1a/ProseTutorial |
149 | 5 |
RankingScore.cs in dsl-samples/tutorial/part1a/ProseTutorial/synthesis |
31 | 5 |
There are 13 files with lines longer than 120 characters. In total, there are 29 long lines.
File | # lines | # units | # long lines |
---|---|---|---|
SampleProgram.cs in api-samples/Extraction.Web |
134 | 7 | 10 |
Learner.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
79 | 2 | 4 |
WitnessFunctions.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
318 | 15 | 3 |
WitnessFunctions.cs in dsl-samples/tutorial/part2a/ProseTutorial/synthesis |
121 | 5 | 3 |
Program.cs in api-samples/Split.Text |
133 | 1 | 1 |
SimpleAPI.cs in api-samples/Transformation.Text |
63 | 3 | 1 |
LanguageGrammar.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
34 | - | 1 |
Utils.cs in dsl-samples/MergeConflictsResolution/MergeConflictsResolution |
19 | 1 | 1 |
Grammar.cs in dsl-samples/ProseSample/ProseSample.Substrings |
16 | 1 | 1 |
Program.cs in dsl-samples/ProseSample/ProseSample |
86 | 5 | 1 |
ExtractionTextRunner.cs in misc/BenchmarkDriver |
206 | 12 | 1 |
Options.cs in misc/BenchmarkDriver |
38 | 1 | 1 |
_assertion_helper.py in misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion |
560 | 37 | 1 |