Commit History

Author SHA1 Message Date
  jonathanvdc f3e2ea263b Merge remote-tracking branch 'upstream/master' into jit 8 years ago
  jonathanvdc 572a0a339b Add perf_data.txt to .gitignore 8 years ago
  Yentl Van Tendeloo 49d7ad8c3e First working version of PetriNets transformation that marks transition as "executing" 8 years ago
  Yentl Van Tendeloo 2099d1bf39 Added all files created by fix_files automatically 9 years ago
  Yentl Van Tendeloo 718605f718 Added bootstrap files, so you don't need to do that yourself anymore 9 years ago
  Yentl Van Tendeloo 125c5a44bf Add new tests for the constructor 9 years ago
  Yentl Van Tendeloo 6c978c3fd9 Ignore vim swap files as well 9 years ago
  Yentl Van Tendeloo 1abef9e064 Also ignore __pycache__ folders 9 years ago
  Yentl Van Tendeloo d1258b78ec Also ignore .dot files, as they are used as output for the internal 9 years ago
  Yentl Van Tendeloo 9f4467df29 Ignore .m files as well 9 years ago
  Yentl Van Tendeloo 0a7b31bda3 Further extended gitignore; everything seems covered now 9 years ago
  Yentl Van Tendeloo 7a29367f9f Added .gitignore and remove some additional automatically generated 9 years ago
  Yentl Van Tendeloo 703e2ac4d5 Added gitignore file and removed some more useless files 9 years ago