Skip to content
GitLab
Explore
Sign in
Ross Duncan
Quantomatic_Strathclyde_branch
Repository
Branches
Overview
Active
Stale
All
stable
default
0dc7a26b
·
I had accidently pushed some of my work on this branch so this should just
·
Feb 03, 2017
integration
4669ac76
·
fixed copy and paste support
·
Nov 05, 2016
cosy
b33a581e
·
added command line tool for layout
·
May 27, 2016
isabelle2015
37981ca0
·
pushed poly version
·
Oct 07, 2015
sg-minimise
06f0a997
·
draws wires
·
Jun 08, 2015
fresh-bb
aa64c8a3
·
incorporated renaming in data
·
Mar 17, 2015
varnodes
233065de
·
re-instate simp utils
·
Feb 02, 2015
isabelle2013
ace9055b
·
added build heap and run protocol
·
Dec 19, 2014
tinker
c9d73704
·
another patch for merges
·
Jun 26, 2014
ps-graph
64924e41
·
fix some bugs in UI
·
Dec 05, 2013
no-minimise
2ad134f8
·
hid tests about clashing edge types (this should be allowed)
·
Aug 24, 2013
rewrite-saving
3c74c036
·
implemented structure for storing wire contractions. still untested
·
Aug 23, 2013
non-comm
e195d1b9
·
added position data
·
Jul 23, 2013
par_matching
73c3e586
·
Merge branch 'par_matching' of github.com:Quantomatic/quantomatic into par_matching
·
Mar 20, 2013
rulesetchecking
de182374
·
Fix previous commit (forgotten file)
·
Aug 04, 2012
1.0
c458f777
·
Fix build
·
Sep 30, 2011