zxcalc/quantomatic

Issues

• Matcher incredibly slow?

  #249 opened 6 years ago by rossduncan
  13

• Cannot delete proof steps

  #212 opened 6 years ago by akissinger
  3

• (\theta + \pi) in rules matches on (\alpha) as (\alpha + \pi + \pi) in derivation

  #218 opened 6 years ago by SaraWolffs
  2

• Implement and test multiplication in parser

  #247 opened 6 years ago by hmillerbakewell
  0

• Allow complicated edge data

  #246 opened 6 years ago by hmillerbakewell
  0

• "scala" folder should be the root of the repo

  #245 opened 6 years ago by hmillerbakewell
  0

• Old ML code is still in the repo

  #244 opened 6 years ago by hmillerbakewell
  0

• Quanto should complain about non-variable names

  #217 opened 6 years ago by jvdwetering
  0

• Rewriting Fails

  #238 opened 6 years ago by rossduncan
  4

• Deleting last step of proof also deletes head -- can't continue proof.

  #240 opened 6 years ago by rossduncan
  0

• Freehand draw nodes

  #216 opened 6 years ago by akissinger
  1

• ctrl-a should select entire graph

  #227 opened 6 years ago by hmillerbakewell
  0

• Opening a graph / rule etc. should focus on the drawing area

  #228 opened 6 years ago by hmillerbakewell
  1

• Unwanted key capture

  #231 opened 6 years ago by rossduncan
  0

• Allow altering border thickness of node-types

  #232 opened 6 years ago by hmillerbakewell
  0

• Add tab-switching with the tab button

  #234 opened 6 years ago by hmillerbakewell
  0

• Opening a graph then changing project and opening the same graph causes errors

  #236 opened 6 years ago by hmillerbakewell
  0

• Rules that introduce variables should prompt the user for values

  #237 opened 6 years ago by hmillerbakewell
  3

• Suggestion: don't create lots of wire vertices in "freehand draw" tool

  #210 opened 6 years ago by akissinger
  2

• all graph changes should be undo-able

  #209 opened 6 years ago by akissinger
  0

• Simproc API docs are 404

  #224 opened 6 years ago by rossduncan
  3

• Altering the theory can lead to strange visual bugs (on the Alter Theory page)

  #225 opened 6 years ago by hmillerbakewell
  2

• project default rewrites

  #230 opened 6 years ago by rossduncan
  3

• Feature request : soft edge matching

  #243 opened 6 years ago by rossduncan
  0

• Latex export doesn't create file Linux and Mac

  #242 opened 6 years ago by nchancel
  0

• Feature request: Automatically center hadamard nodes between its neighbours

  #241 opened 6 years ago by jvdwetering
  0

• Edge types are stuck at default [qpc2018] [bug] [ui]

  #222 opened 6 years ago by SaraWolffs
  0

• Edge case: index out of bounds on saving first tab

  #215 opened 6 years ago by SaraWolffs
  0

• Selection not released in editor

  #239 opened 6 years ago by rossduncan
  0

• Colour symmetry [qpc2018] [feature]

  #221 opened 6 years ago by SaraWolffs
  0

• Add gates / hyperedges

  #203 opened 6 years ago by hmillerbakewell
  1

• Support for cq diagrams [qpc2018] [feature]

  #220 opened 6 years ago by SaraWolffs
  1

• Program title and icon not displaying on Windows

  #235 opened 6 years ago by hmillerbakewell
  0

• Difference in edge types is ignored by the matcher in limited circumstances

  #233 opened 6 years ago by hmillerbakewell
  0

• Loaded simprocs do cannot be refreshed after edit

  #226 opened 6 years ago by rossduncan
  2

• Can't rewrite under !-box

  #229 opened 6 years ago by rossduncan
  1

• no-effect rewrite : directing edges

  #223 opened 6 years ago by rossduncan
  1

• Unexpected behaviour if a rule shares variables with the graph it is matching

  #214 opened 6 years ago by akissinger
  0

• Changing file names outside of Quantomatic causes freeze

  #213 opened 6 years ago by akissinger
  0

• Generalised spider rule doesn't match itself

  #211 opened 6 years ago by akissinger
  0

• Multiple self-loops do not match against single self-loop

  #207 opened 6 years ago by jvdwetering
  1

• Self-loop matching with bangboxes is bugged

  #206 opened 6 years ago by jvdwetering
  1

• freehand tool freezing interface

  #208 opened 6 years ago by akissinger
  0

• Approximate rewriting

  #205 opened 6 years ago by hmillerbakewell
  0

• Interpretation of the diagram

  #204 opened 6 years ago by hmillerbakewell
  0

• More general reasoning than g -> g1 -> g2 -> ... -> h

  #201 opened 6 years ago by hmillerbakewell
  0

• More Command Line options

  #202 opened 6 years ago by hmillerbakewell
  0

• Subgraph application of simprocs

  #200 opened 6 years ago by hmillerbakewell
  0

• Simprocs stopping prematurely

  #199 opened 6 years ago by hmillerbakewell
  0

• Website still not providing latest integration branch download

  #198 opened 6 years ago by hmillerbakewell
  0