Sākums Izpētīt Palīdzība
Pierakstīties
exa2pro
/
starpu-max
Vērot 19
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Koks: c1faaa3c23
Atzari Tagi

Revīziju vēsture

Autors SHA1 Ziņojums Datums
  Samuel Thibault 7d45d0c6e6 Fix more simgrid-mc ldflags 5 gadi atpakaļ
  Nathalie Furmento 9054490002 happy 2021 5 gadi atpakaļ
  Samuel Thibault e86c90f01b model-checking: add missing showfailed etc. rules 5 gadi atpakaļ
  Samuel Thibault 3545b070de Move model-checking rules to its own Makefile 5 gadi atpakaļ