Commit History

Автор SHA1 Съобщение Дата
  Samuel Thibault 7d45d0c6e6 Fix more simgrid-mc ldflags преди 4 години
  Nathalie Furmento 9054490002 happy 2021 преди 5 години
  Samuel Thibault e86c90f01b model-checking: add missing showfailed etc. rules преди 5 години
  Samuel Thibault 3545b070de Move model-checking rules to its own Makefile преди 5 години