- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 57 files: .gitignore dsl-samples/tutorial/part1a-complete/.vscode/launch.json dsl-samples/tutorial/part1a-complete/.vscode/tasks.json dsl-samples/tutorial/part1a-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1a-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1a/.vscode/launch.json dsl-samples/tutorial/part1a/.vscode/tasks.json dsl-samples/tutorial/part1a/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1a/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt1-complete/.vscode/launch.json dsl-samples/tutorial/part1b-attempt1-complete/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt1/.vscode/launch.json dsl-samples/tutorial/part1b-attempt1/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt1/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1b-attempt1/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt2-complete/.vscode/launch.json dsl-samples/tutorial/part1b-attempt2-complete/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt2/.vscode/launch.json dsl-samples/tutorial/part1b-attempt2/.vscode/tasks.json dsl-samples/tutorial/part1b-attempt2/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1b-attempt2/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1c-complete/.vscode/launch.json dsl-samples/tutorial/part1c-complete/.vscode/tasks.json dsl-samples/tutorial/part1c-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1c-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1c/.vscode/launch.json dsl-samples/tutorial/part1c/.vscode/tasks.json dsl-samples/tutorial/part1c/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1c/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1d-complete/.vscode/launch.json dsl-samples/tutorial/part1d-complete/.vscode/tasks.json dsl-samples/tutorial/part1d-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1d-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part1d/.vscode/launch.json dsl-samples/tutorial/part1d/.vscode/tasks.json dsl-samples/tutorial/part1d/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part1d/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part2a-complete/.vscode/launch.json dsl-samples/tutorial/part2a-complete/.vscode/tasks.json dsl-samples/tutorial/part2a-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part2a-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part2a/.vscode/launch.json dsl-samples/tutorial/part2a/.vscode/tasks.json dsl-samples/tutorial/part2a/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part2a/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part2b-complete/.vscode/launch.json dsl-samples/tutorial/part2b-complete/.vscode/tasks.json dsl-samples/tutorial/part2b-complete/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part2b-complete/ProseTutorial/.vscode/tasks.json dsl-samples/tutorial/part2b/.vscode/launch.json dsl-samples/tutorial/part2b/.vscode/tasks.json dsl-samples/tutorial/part2b/ProseTutorial/.vscode/launch.json dsl-samples/tutorial/part2b/ProseTutorial/.vscode/tasks.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 4 files: dsl-samples/ProseSample/benchmarks/areas.txt dsl-samples/ProseSample/benchmarks/popl13-erc.txt misc/CCSynth/CC/DataInsights/LICENSE.txt misc/CCSynth/CC/DataInsights/NOTICE.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 2 files: misc/CCSynth/CC/Airline-Regression-Experiment.ipynb misc/CCSynth/CC/EVL-Drift-Experiments.ipynb - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates scoping conventions path like ".*/sokrates_conventions[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Git history path like ".*/git[-]history[.]txt" 1 files: git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -