model-checker : get offset for each different byte between two blocks/fragments

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b692c8f..b782a25 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -18,7 +18,6 @@ src/simdag/dax_dtd.l
 src/surf/simgrid_dtd.l
 src/xbt/graphxml.l
 
-:e a
 ################################################
 ### Jedule
 examples/simdag/scheduling/simgrid.jed
@@ -246,6 +245,14 @@ examples/smpi/smpi_sendrecv
 examples/smpi/dsend
 examples/smpi/mc_bugged1
 examples/smpi/mc_bugged2
+examples/smpi/smpi_traced_simple
+
+examples/msg/mc/bugged1_liveness
+examples/msg/mc/bugged1_stateful
+examples/msg/mc/bugged2_liveness
+examples/msg/mc/bugged2_stateful
+examples/msg/mc/centralized_liveness
+
 src/replay/replay
 src/testall
 teshsuite/gras/datadesc/datadesc_usage