Commit History

Autor SHA1 Mensaxe Data
  Yentl Van Tendeloo d849dab06e Short path if the model is empty: don't read out all edges just to create cardinality dictionary %!s(int64=9) %!d(string=hai) anos
  Yentl Van Tendeloo 5f32287e43 Remove long delay on timeout %!s(int64=9) %!d(string=hai) anos
  Yentl Van Tendeloo 81eaf9d7ea Seems to work %!s(int64=9) %!d(string=hai) anos
  Yentl Van Tendeloo 64217e3ef7 Added problem in SCCD for Simon to fix %!s(int64=9) %!d(string=hai) anos
  Yentl Van Tendeloo 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this %!s(int64=9) %!d(string=hai) anos
  Yentl Van Tendeloo 54bd7d857e More user-friendly error messages when tests fail %!s(int64=9) %!d(string=hai) anos
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn %!s(int64=9) %!d(string=hai) anos