Skip to content
GitLab
  1. 21 Feb, 2015 2 commits
  3. 13 Nov, 2013 1 commit
  5. 05 Sep, 2013 2 commits
  7. 04 Sep, 2013 1 commit
  9. 13 Aug, 2013 1 commit
  11. 12 Aug, 2013 2 commits
  13. 15 Jul, 2013 2 commits
  15. 07 Mar, 2013 1 commit
  17. 22 Jan, 2013 1 commit
  19. 17 Jan, 2013 1 commit
  21. 22 Nov, 2012 2 commits
  23. 21 Nov, 2012 1 commit
  25. 04 Sep, 2012 1 commit
  27. 23 Aug, 2012 1 commit
  29. 01 Aug, 2012 1 commit
  31. 31 Jul, 2012 1 commit
    • Michael Westergaard's avatar
      Graphical support for inhibitor and reset arcs · bf00d243
      Michael Westergaard authored 
      Graphical support (mostly) for FIFO/LIFO/PQueue/Bounded places

Support for low-level nets

Graphical tweaks for regular arcs and port places

Initial support for Declare constraints (does not work and code does not compile ATM)
      bf00d243
  33. 20 Jun, 2012 2 commits
  35. 19 Jun, 2012 1 commit
  37. 31 Jan, 2012 1 commit
  39. 13 Oct, 2011 1 commit
  41. 05 Aug, 2011 6 commits
  43. 29 Jul, 2011 2 commits
  45. 06 Jul, 2011 1 commit
  47. 19 Jun, 2011 1 commit
  49. 02 May, 2011 2 commits
  51. 29 Apr, 2011 2 commits