invariant added as 'inv'

16 files changed, 0 insertions, 67 deletions

diff --git a/CMakeFiles/Progress/1 b/CMakeFiles/Progress/1
deleted file mode 100644
index 7b4d68d..0000000
--- a/CMakeFiles/Progress/1
+++ /dev/null
@@ -1 +0,0 @@
-empty
\ No newline at end of file
diff --git a/CMakeFiles/Progress/2 b/CMakeFiles/Progress/2
deleted file mode 100644
index 7b4d68d..0000000
--- a/CMakeFiles/Progress/2
+++ /dev/null
@@ -1 +0,0 @@
-empty
\ No newline at end of file
diff --git a/CMakeFiles/Progress/6 b/CMakeFiles/Progress/6
deleted file mode 100644
index 7b4d68d..0000000
--- a/CMakeFiles/Progress/6
+++ /dev/null
@@ -1 +0,0 @@
-empty
\ No newline at end of file
diff --git a/CMakeFiles/Progress/7 b/CMakeFiles/Progress/7
deleted file mode 100644
index 7b4d68d..0000000
--- a/CMakeFiles/Progress/7
+++ /dev/null
@@ -1 +0,0 @@
-empty
\ No newline at end of file
diff --git a/CMakeFiles/Progress/count.txt b/CMakeFiles/Progress/count.txt
deleted file mode 100644
index 8351c19..0000000
--- a/CMakeFiles/Progress/count.txt
+++ /dev/null
@@ -1 +0,0 @@
-14
diff --git a/CMakeFiles/sdl_test.dir/CXX.includecache b/CMakeFiles/sdl_test.dir/CXX.includecache
index 824f336..72f0a59 100644
--- a/CMakeFiles/sdl_test.dir/CXX.includecache
+++ b/CMakeFiles/sdl_test.dir/CXX.includecache
@@ -630,8 +630,6 @@ vector
 SDL2/SDL.h
 -
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/constants.h
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/entity.h
 vector
 -
@@ -642,28 +640,10 @@ iostream
 ../umath/vec2.h
 C:/Users/jaksk/Desktop/dev/_cpp/age/umath/vec2.h
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/ground.cpp
-ground.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/ground.h
-gst.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/gst.h
-iostream
--
-algorithm
--
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/ground.h
 entity.h
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/entity.h
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/gst.cpp
-gst.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/gst.h
-map
--
-iostream
--
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/gst.h
 iostream
 -
@@ -704,12 +684,6 @@ C:/Users/jaksk/Desktop/dev/_cpp/age/game/load.h
 gst.h
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/gst.h
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/menu.cpp
-iostream
--
-menu.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/menu.h
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/menu.h
 vector
 -
@@ -1078,16 +1052,6 @@ vector
 tech.h
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/tech.h
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/playercontrol.cpp
-iostream
--
-string
--
-playercontrol.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/playercontrol.h
-entity.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/entity.h
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/playercontrol.h
 iostream
 -
@@ -1100,10 +1064,6 @@ vector
 functional
 -
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/tech.cpp
-tech.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/tech.h
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/tech.h
 vector
 -
@@ -1126,10 +1086,6 @@ string
 ../umath/vec2.h
 C:/Users/jaksk/Desktop/dev/_cpp/age/umath/vec2.h
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/view.cpp
-view.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/view.h
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/game/view.h
 vector
 -
@@ -1144,24 +1100,6 @@ C:/Users/jaksk/Desktop/dev/_cpp/age/graphics/cam.h
 vector
 -
 
-C:/Users/jaksk/Desktop/dev/_cpp/age/graphics/graphics.cpp
-algorithm
--
-iostream
--
-string
--
-math.h
--
-graphics.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/graphics/graphics.h
-../game/menu.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/menu.h
-../game/tile.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/tile.h
-../game/constants.h
-C:/Users/jaksk/Desktop/dev/_cpp/age/game/constants.h
-
 C:/Users/jaksk/Desktop/dev/_cpp/age/graphics/graphics.h
 vector
 -
diff --git a/CMakeFiles/sdl_test.dir/game/ground.cpp.obj b/CMakeFiles/sdl_test.dir/game/ground.cpp.obj
index a0f1c78..dfa13e1 100644
--- a/CMakeFiles/sdl_test.dir/game/ground.cpp.obj
+++ b/CMakeFiles/sdl_test.dir/game/ground.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/game/gst.cpp.obj b/CMakeFiles/sdl_test.dir/game/gst.cpp.obj
new file mode 100644
index 0000000..03b1070
--- /dev/null
+++ b/CMakeFiles/sdl_test.dir/game/gst.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/game/load.cpp.obj b/CMakeFiles/sdl_test.dir/game/load.cpp.obj
new file mode 100644
index 0000000..9b284fb
--- /dev/null
+++ b/CMakeFiles/sdl_test.dir/game/load.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/game/menu.cpp.obj b/CMakeFiles/sdl_test.dir/game/menu.cpp.obj
new file mode 100644
index 0000000..a1d1697
--- /dev/null
+++ b/CMakeFiles/sdl_test.dir/game/menu.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/game/playercontrol.cpp.obj b/CMakeFiles/sdl_test.dir/game/playercontrol.cpp.obj
new file mode 100644
index 0000000..37123b3
--- /dev/null
+++ b/CMakeFiles/sdl_test.dir/game/playercontrol.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/game/tech.cpp.obj b/CMakeFiles/sdl_test.dir/game/tech.cpp.obj
new file mode 100644
index 0000000..28ecd10
--- /dev/null
+++ b/CMakeFiles/sdl_test.dir/game/tech.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/game/view.cpp.obj b/CMakeFiles/sdl_test.dir/game/view.cpp.obj
new file mode 100644
index 0000000..a9fcd8e
--- /dev/null
+++ b/CMakeFiles/sdl_test.dir/game/view.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj b/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj
index 835676b..a44b33b 100644
--- a/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj
+++ b/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/main.cpp.obj b/CMakeFiles/sdl_test.dir/main.cpp.obj
index dd0521f..ee5598b 100644
--- a/CMakeFiles/sdl_test.dir/main.cpp.obj
+++ b/CMakeFiles/sdl_test.dir/main.cpp.obj
diff --git a/CMakeFiles/sdl_test.dir/objects.a b/CMakeFiles/sdl_test.dir/objects.a
index 3cbf252..9b2f400 100644
--- a/CMakeFiles/sdl_test.dir/objects.a
+++ b/CMakeFiles/sdl_test.dir/objects.a