zxcalc quantomatic issues

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

150 stars 22 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Matcher incredibly slow?

#249 rossduncan opened 5 years ago
13
Bumped sbt-assembly for Java 10 compatibility

#248 SaraWolffs closed 5 years ago
0
Implement and test multiplication in parser

#247 hmillerbakewell opened 5 years ago
0
Allow complicated edge data

#246 hmillerbakewell opened 5 years ago
0
"scala" folder should be the root of the repo

#245 hmillerbakewell opened 5 years ago
0
Old ML code is still in the repo

#244 hmillerbakewell opened 5 years ago
0
Feature request : soft edge matching

#243 rossduncan opened 5 years ago
0
Latex export doesn't create file Linux and Mac

#242 nchancel opened 5 years ago
0
Feature request: Automatically center hadamard nodes between its neighbours

#241 jvdwetering opened 5 years ago
0
Deleting last step of proof also deletes head -- can't continue proof.

#240 rossduncan closed 5 years ago
0
Selection not released in editor

#239 rossduncan opened 5 years ago
0
Rewriting Fails

#238 rossduncan closed 5 years ago
4
Rules that introduce variables should prompt the user for values

#237 hmillerbakewell closed 5 years ago
3
Opening a graph then changing project and opening the same graph causes errors

#236 hmillerbakewell closed 5 years ago
0
Program title and icon not displaying on Windows

#235 hmillerbakewell opened 5 years ago
0
Add tab-switching with the tab button

#234 hmillerbakewell closed 5 years ago
0
Difference in edge types is ignored by the matcher in limited circumstances

#233 hmillerbakewell opened 5 years ago
0
Allow altering border thickness of node-types

#232 hmillerbakewell closed 5 years ago
0
Unwanted key capture

#231 rossduncan closed 5 years ago
0
project default rewrites

#230 rossduncan opened 5 years ago
3
Can't rewrite under !-box

#229 rossduncan opened 5 years ago
1
Opening a graph / rule etc. should focus on the drawing area

#228 hmillerbakewell closed 5 years ago
1
ctrl-a should select entire graph

#227 hmillerbakewell closed 5 years ago
0
Loaded simprocs do cannot be refreshed after edit

#226 rossduncan closed 5 years ago
2
Altering the theory can lead to strange visual bugs (on the Alter Theory page)

#225 hmillerbakewell closed 5 years ago
2
Simproc API docs are 404

#224 rossduncan closed 5 years ago
3
no-effect rewrite : directing edges

#223 rossduncan opened 5 years ago
1
Edge types are stuck at default [qpc2018] [bug] [ui]

#222 SaraWolffs closed 5 years ago
0
Colour symmetry [qpc2018] [feature]

#221 SaraWolffs opened 6 years ago
0
Support for cq diagrams [qpc2018] [feature]

#220 SaraWolffs opened 6 years ago
1
Fix linux build and #212

#219 SaraWolffs closed 6 years ago
1
(\theta + \pi) in rules matches on (\alpha) as (\alpha + \pi + \pi) in derivation

#218 SaraWolffs opened 6 years ago
2
Quanto should complain about non-variable names

#217 jvdwetering closed 5 years ago
0
Freehand draw nodes

#216 akissinger closed 5 years ago
1
Edge case: index out of bounds on saving first tab

#215 SaraWolffs opened 6 years ago
0
Unexpected behaviour if a rule shares variables with the graph it is matching

#214 akissinger opened 6 years ago
0
Changing file names outside of Quantomatic causes freeze

#213 akissinger opened 6 years ago
0
Cannot delete proof steps

#212 akissinger closed 5 years ago
3
Generalised spider rule doesn't match itself

#211 akissinger opened 6 years ago
0
Suggestion: don't create lots of wire vertices in "freehand draw" tool

#210 akissinger closed 5 years ago
2
all graph changes should be undo-able

#209 akissinger closed 5 years ago
0
freehand tool freezing interface

#208 akissinger opened 6 years ago
0
Multiple self-loops do not match against single self-loop

#207 jvdwetering opened 6 years ago
1
Self-loop matching with bangboxes is bugged

#206 jvdwetering opened 6 years ago
1
Approximate rewriting

#205 hmillerbakewell opened 6 years ago
0
Interpretation of the diagram

#204 hmillerbakewell opened 6 years ago
0
Add gates / hyperedges

#203 hmillerbakewell opened 6 years ago
1
More Command Line options

#202 hmillerbakewell opened 6 years ago
0
More general reasoning than g -> g1 -> g2 -> ... -> h

#201 hmillerbakewell opened 6 years ago
0
Subgraph application of simprocs

#200 hmillerbakewell opened 6 years ago
0