Places in code with 6 or more lines that are exactly the same.
Size | # | Folders | Files | Lines | Code |
---|---|---|---|---|---|
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/part1c-complete/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part2b/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part2a-complete/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/part2a/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/part2b/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part2b/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part2a/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/part1c/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
96 | x 2 | dsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part2a/ProseTutorial | Program.csProgram.cs |
1:162 (100%)1:162 (100%) | view |
Size | # | Folders | Files | Lines | Code |
---|---|---|---|---|---|
44 | x 13 | dsl-samples/tutorial/part1a-complete/ProseTutorialdsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorialdsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial... | Program.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.cs... |
78:128 78:128 78:128 78:128 78:128 78:128 78:128 78:128 78:128 78:128 ... | view |
30 | x 14 | dsl-samples/tutorial/part1a-complete/ProseTutorialdsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorialdsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial... | Program.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.cs... |
29:60 29:60 29:60 29:60 29:60 29:60 29:60 29:60 29:60 29:60 ... | view |
22 | x 14 | dsl-samples/tutorial/part1a-complete/ProseTutorialdsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorialdsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial... | Program.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.cs... |
130:153 130:153 130:153 130:153 130:153 130:153 130:153 130:153 130:153 130:153 ... | view |
17 | x 4 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | WitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.cs |
51:69 51:69 51:69 63:81 | view |
15 | x 2 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | WitnessFunctions.csWitnessFunctions.cs |
17:35 17:35 | view |
14 | x 14 | dsl-samples/tutorial/part1a-complete/ProseTutorialdsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorialdsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial... | Program.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.cs... |
62:76 62:76 62:76 62:76 62:76 62:76 62:76 62:76 62:76 62:76 ... | view |
14 | x 6 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | WitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.cs |
17:34 17:34 17:34 17:34 17:34 29:46 | view |
13 | x 4 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | WitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.cs |
56:70 77:91 51:65 66:80 | view |
11 | x 6 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | WitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.csWitnessFunctions.cs |
37:48 37:48 37:48 37:48 37:48 49:60 | view |
11 | x 4 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | Semantics.csSemantics.csSemantics.csSemantics.cs |
18:29 18:29 18:29 18:29 | view |
10 | x 2 | dsl-samples/tutorial/par...ProseTutorial/synthesisdsl-samples/tutorial/par...ProseTutorial/synthesis | WitnessFunctions.csWitnessFunctions.cs |
23:48 51:65 | view |
8 | x 14 | dsl-samples/tutorial/part1a-complete/ProseTutorialdsl-samples/tutorial/part1a/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt1/ProseTutorialdsl-samples/tutorial/par...-complete/ProseTutorialdsl-samples/tutorial/part1b-attempt2/ProseTutorialdsl-samples/tutorial/part1c-complete/ProseTutorialdsl-samples/tutorial/part1c/ProseTutorialdsl-samples/tutorial/part1d-complete/ProseTutorialdsl-samples/tutorial/part1d/ProseTutorial... | Program.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.csProgram.cs... |
155:163 155:163 155:163 155:163 155:163 155:163 155:163 155:163 155:163 155:163 ... | view |