src/eval_single_files.sh
0 → 100755
+10
−0
src/evaluation.sh
0 → 100755
+25
−0
src/run_full_eval.sh
0 → 100755
+17
−0
src/smatch/LICENSE.txt
0 → 100644
+7
−0
src/smatch/README.txt
0 → 100755
+98
−0
Loading