callgrind.out.*
### Examples and traces
*.exe
-examples/msg/actions/actions
+examples/msg/actions/mpi_actions
examples/msg/actions/storage_actions
examples/msg/bittorrent/bittorrent
examples/msg/bittorrent/bittorrent_platfgen
examples/msg/mc/bugged2_liveness
examples/msg/mc/bugged2_stateful
examples/msg/mc/bugged3
-examples/msg/mc/centralized
+examples/msg/mc/centralized_mutex
examples/msg/mc/centralized_liveness
examples/msg/mc/electric_fence
examples/msg/mc/test/snapshot_comparison1
examples/smpi/mc/mutual_exclusion
examples/smpi/mc/non_deterministic
examples/smpi/mc/send_deterministic
+examples/smpi/NAS/dt
+examples/smpi/NAS/ep
+examples/smpi/NAS/is
examples/smpi/mvmul
examples/smpi/replay_multiple/replay_multiple
examples/smpi/replay/one_trace