Commit History

Autor SHA1 Mensaxe Data
  Samuel Thibault e86c90f01b model-checking: add missing showfailed etc. rules %!s(int64=5) %!d(string=hai) anos
  Samuel Thibault 3545b070de Move model-checking rules to its own Makefile %!s(int64=5) %!d(string=hai) anos