Skip to content

GitLab

Explore

Sign in

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