From 522a43d16e812e10ff69747ee916918b4bd29f2f Mon Sep 17 00:00:00 2001 From: jacopograndi Date: Sun, 5 Sep 2021 23:00:42 +0200 Subject: invariant added as 'inv' --- CMakeFiles/Progress/1 | 1 - CMakeFiles/Progress/2 | 1 - CMakeFiles/Progress/6 | 1 - CMakeFiles/Progress/7 | 1 - CMakeFiles/Progress/count.txt | 1 - CMakeFiles/sdl_test.dir/CXX.includecache | 62 --------------------- CMakeFiles/sdl_test.dir/game/ground.cpp.obj | Bin 368535 -> 357025 bytes CMakeFiles/sdl_test.dir/game/gst.cpp.obj | Bin 0 -> 622213 bytes CMakeFiles/sdl_test.dir/game/load.cpp.obj | Bin 0 -> 2292759 bytes CMakeFiles/sdl_test.dir/game/menu.cpp.obj | Bin 0 -> 182115 bytes CMakeFiles/sdl_test.dir/game/playercontrol.cpp.obj | Bin 0 -> 606459 bytes CMakeFiles/sdl_test.dir/game/tech.cpp.obj | Bin 0 -> 1490 bytes CMakeFiles/sdl_test.dir/game/view.cpp.obj | Bin 0 -> 17188 bytes CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj | Bin 397169 -> 397169 bytes CMakeFiles/sdl_test.dir/main.cpp.obj | Bin 467074 -> 475750 bytes CMakeFiles/sdl_test.dir/objects.a | Bin 5511946 -> 5508432 bytes 16 files changed, 67 deletions(-) delete mode 100644 CMakeFiles/Progress/1 delete mode 100644 CMakeFiles/Progress/2 delete mode 100644 CMakeFiles/Progress/6 delete mode 100644 CMakeFiles/Progress/7 delete mode 100644 CMakeFiles/Progress/count.txt create mode 100644 CMakeFiles/sdl_test.dir/game/gst.cpp.obj create mode 100644 CMakeFiles/sdl_test.dir/game/load.cpp.obj create mode 100644 CMakeFiles/sdl_test.dir/game/menu.cpp.obj create mode 100644 CMakeFiles/sdl_test.dir/game/playercontrol.cpp.obj create mode 100644 CMakeFiles/sdl_test.dir/game/tech.cpp.obj create mode 100644 CMakeFiles/sdl_test.dir/game/view.cpp.obj (limited to 'CMakeFiles') 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 Binary files a/CMakeFiles/sdl_test.dir/game/ground.cpp.obj and b/CMakeFiles/sdl_test.dir/game/ground.cpp.obj differ 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 Binary files /dev/null and b/CMakeFiles/sdl_test.dir/game/gst.cpp.obj differ 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 Binary files /dev/null and b/CMakeFiles/sdl_test.dir/game/load.cpp.obj differ 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 Binary files /dev/null and b/CMakeFiles/sdl_test.dir/game/menu.cpp.obj differ 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 Binary files /dev/null and b/CMakeFiles/sdl_test.dir/game/playercontrol.cpp.obj differ 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 Binary files /dev/null and b/CMakeFiles/sdl_test.dir/game/tech.cpp.obj differ 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 Binary files /dev/null and b/CMakeFiles/sdl_test.dir/game/view.cpp.obj differ diff --git a/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj b/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj index 835676b..a44b33b 100644 Binary files a/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj and b/CMakeFiles/sdl_test.dir/graphics/graphics.cpp.obj differ diff --git a/CMakeFiles/sdl_test.dir/main.cpp.obj b/CMakeFiles/sdl_test.dir/main.cpp.obj index dd0521f..ee5598b 100644 Binary files a/CMakeFiles/sdl_test.dir/main.cpp.obj and b/CMakeFiles/sdl_test.dir/main.cpp.obj differ diff --git a/CMakeFiles/sdl_test.dir/objects.a b/CMakeFiles/sdl_test.dir/objects.a index 3cbf252..9b2f400 100644 Binary files a/CMakeFiles/sdl_test.dir/objects.a and b/CMakeFiles/sdl_test.dir/objects.a differ -- cgit v1.2.3-54-g00ecf