Commit History

作者 SHA1 備註 提交日期
  Yentl Van Tendeloo 9a7fc2330d Merge branch 'testing' into MvK_rules 9 年之前
  Yentl Van Tendeloo 30c4d323bd Ignore the .tmp files in Git 9 年之前
  Yentl Van Tendeloo fe822f68a0 Add generation scripts for the pdf of the dot files 9 年之前
  Yentl Van Tendeloo 02783c7661 Add figures of rules of the AL 9 年之前
  jonathanvdc cc7e5822aa Merge remote-tracking branch 'upstream/master' into jit 9 年之前
  jonathanvdc f04aee0cde Add perf_data.txt to .gitignore 9 年之前
  Yentl Van Tendeloo 7bea9e7afb First working version of PetriNets transformation that marks transition as "executing" 9 年之前
  Yentl Van Tendeloo 2fe67ded26 Added all files created by fix_files automatically 10 年之前
  Yentl Van Tendeloo 5a500d2b9b Added bootstrap files, so you don't need to do that yourself anymore 10 年之前
  Yentl Van Tendeloo 536e752b8a Add new tests for the constructor 10 年之前
  Yentl Van Tendeloo 8389eae6e8 Ignore vim swap files as well 10 年之前
  Yentl Van Tendeloo 80046e3680 Also ignore __pycache__ folders 10 年之前
  Yentl Van Tendeloo e044a1ddff Also ignore .dot files, as they are used as output for the internal 10 年之前
  Yentl Van Tendeloo 735fadd0c7 Ignore .m files as well 10 年之前
  Yentl Van Tendeloo 0a563afe39 Further extended gitignore; everything seems covered now 10 年之前
  Yentl Van Tendeloo ec2b66f5a2 Added .gitignore and remove some additional automatically generated 10 年之前
  Yentl Van Tendeloo 4e70c41c7e Added gitignore file and removed some more useless files 10 年之前