model-checker : add state equality reduction in ddfs algorithm

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 55dfe37..47a2888 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -67,12 +67,13 @@ CMakeFiles
 CMakeCache.txt
 DartConfiguration.tcl
 simgrid.nsi
+TAGS
 Testing/
 Makefile
 bin/
 lib/
 manpages/
-build_dir/
+build_*/
 build/
 buildtools/Cmake/memcheck_tests.cmake
 buildtools/Cmake/test_prog/prog_va_copy.c