Historie revizí

Autor SHA1 Zpráva Datum
  jonathanvdc cc7e5822aa Merge remote-tracking branch 'upstream/master' into jit před 8 roky
  jonathanvdc f04aee0cde Add perf_data.txt to .gitignore před 8 roky
  Yentl Van Tendeloo 7bea9e7afb First working version of PetriNets transformation that marks transition as "executing" před 8 roky
  Yentl Van Tendeloo 2fe67ded26 Added all files created by fix_files automatically před 9 roky
  Yentl Van Tendeloo 5a500d2b9b Added bootstrap files, so you don't need to do that yourself anymore před 9 roky
  Yentl Van Tendeloo 536e752b8a Add new tests for the constructor před 9 roky
  Yentl Van Tendeloo 8389eae6e8 Ignore vim swap files as well před 9 roky
  Yentl Van Tendeloo 80046e3680 Also ignore __pycache__ folders před 9 roky
  Yentl Van Tendeloo e044a1ddff Also ignore .dot files, as they are used as output for the internal před 9 roky
  Yentl Van Tendeloo 735fadd0c7 Ignore .m files as well před 9 roky
  Yentl Van Tendeloo 0a563afe39 Further extended gitignore; everything seems covered now před 9 roky
  Yentl Van Tendeloo ec2b66f5a2 Added .gitignore and remove some additional automatically generated před 9 roky
  Yentl Van Tendeloo 4e70c41c7e Added gitignore file and removed some more useless files před 9 roky