Tags

Tags give the ability to mark specific points in history as being important
  • derive-0.5.1

    9797e64a · Merge branch 'integration' into stable · Feb 23, 2015
  • derive-0.5.0

    a09aa751 · Merge branch 'varnodes' into integration · Feb 20, 2015
  • derive-0.4.1

    e6ab4aa1 · added combi in simp util · Dec 05, 2014
  • derive-0.4.0

    d061e79b · add support for hadamard gate in Red-Green theory · Oct 15, 2014
  • derive-0.3.1

    cf7b89ba · set min worker pool to 4 · May 24, 2014
  • derive-0.3.0

    a8a24ae1 · Revert "fix #136 -- Shortcut for some entries in Edit Menu are not shown".... · May 17, 2014
  • derive-0.2.0

    2bb3ea07 · Merge remote-tracking branch 'origin/integration' into integration · May 02, 2014
  • derive-v0.2.0

    fedd050c · new project dialog only shows supported theories · May 02, 2014
    first (proper) pre-release. Ready to announce and start bugfixing.
  • derive-v0.1.0

    94c75c9c · finished mk-linux-generic script · Apr 22, 2014
  • qisw-2012-demo

    d65d2be1 · Move Red/Green rules into their own subdir · Mar 26, 2012
  • practical-march-2013

    5373110e · Make the splitDivider darker (DARK_GREY) (cf issue #46) · Mar 19, 2012