tidying

ModelWriter · Nov 14, 2017 · b9e064f · b9e064f
1 parent 1f0f19c
commit b9e064f
Show file tree

Hide file tree

Showing 6 changed files with 1 addition and 10 deletions.
diff --git a/README.md b/README.md
@@ -11,6 +11,7 @@ There is a nice Makefile. You can make
  * vampire_rel for a release version
  * vampire_z3_rel to build with z3 (also works with debug) but for this you will need a z3 binary in include to link against
  * clean to clean things up
+
 You can also make
  * vtest for a set of unit tests. Run vtest -ls for help once compiled
  * vampire_gcov for a version with coverage information

diff --git a/dogcov.sh → scripts/dogcov.sh b/dogcov.sh → scripts/dogcov.sh
diff --git a/fallback.pl → scripts/fallback.pl b/fallback.pl → scripts/fallback.pl
diff --git a/runner.sh → scripts/runner.sh b/runner.sh → scripts/runner.sh
diff --git a/vinter → scripts/vinter b/vinter → scripts/vinter
diff --git a/todo_list.txt b/todo_list.txt