Quantomatic zxlive issues

Quantomatic / zxlive

A graphical tool for the ZX calculus

Apache License 2.0

44 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Assign phase to spider with larger sliced area when using magic wand.

#241 dlyongemallo closed 1 week ago
0
Move UI code for showing errors out of `custom_rule.py`.

#240 dlyongemallo closed 1 week ago
3
Fix error in requirements.txt.

#239 dlyongemallo closed 1 week ago
0
rename `master` branch to `main`

#238 dlyongemallo opened 2 weeks ago
0
Make a bunch of dialog windows modal by passing in parent parameter.

#237 dlyongemallo closed 4 weeks ago
0
Clear node selection before removing a tab. Fixes #218.

#236 dlyongemallo closed 2 months ago
0
Update test files to reflect changes to code.

#235 dlyongemallo closed 3 months ago
0
selecting spider with `Poly` phase results in `NotImplementedError` in proof mode

#234 dlyongemallo opened 3 months ago
2
Dialog Windows are sometimes hidden behind main window #156

#233 valleyofblackpanther closed 3 months ago
0
Support basic expressions for parameterised spiders

#232 wlcsm opened 3 months ago
6
Make local complementation and pivoting work with parametric boolean angles.

#231 RazinShaikh opened 3 months ago
2
Fixes crash due to accessing selection after graph_scene is deleted #218

#230 valleyofblackpanther closed 2 months ago
4
Long proofs unable to load

#229 Aerylia opened 3 months ago
17
Application crashes in proof mode when clicking on rule category text instead of small arrow

#228 Aerylia opened 3 months ago
5
Fix a bug where "bialgebra" under "Simplification routines" causes a crash.

#227 dlyongemallo closed 4 months ago
0
Fix a bunch of mypy errors.

#226 dlyongemallo closed 4 months ago
0
should `FractionLike` include `complex`?

#225 dlyongemallo closed 4 months ago
2
Better error message when attempting to import proof from TikZ.

#224 dlyongemallo closed 5 months ago
0
Add support for Spider QASM as option for Input Circuit.

#223 dlyongemallo closed 4 months ago
2
Add a test to catch breaking changes which make the file formats backwards-incompatible.

#222 dlyongemallo closed 5 months ago
0
Enlarge circuit element icons to prevent cropping

#221 wlcsm closed 3 months ago
1
Add OCM step

#220 wlcsm closed 3 months ago
2
UI suggestion: proof panel splitter should maintain setting between tabs

#219 dlyongemallo opened 5 months ago
0
crash due to accessing selection after `graph_scene` is deleted

#218 dlyongemallo closed 2 months ago
3
Fix wrong variable names when using magic slice in proof panel.

#217 dlyongemallo closed 5 months ago
0
Add comment to note quirk about qubit numbering of the demo graph.

#216 dlyongemallo closed 5 months ago
0
Fix crash due to wrong type for snap-granularity combo pref dict key.

#215 dlyongemallo closed 5 months ago
0
settings dialog crashes

#214 dlyongemallo closed 5 months ago
0
Remove diffs as internal data structure

#213 wlcsm closed 3 months ago
6
Default filename to lemma's name when saving.

#212 dlyongemallo closed 5 months ago
0
import from tikz after export is broken

#211 dlyongemallo closed 5 months ago
3
Enable "File|Export to tikz" only if active panel is a proof.

#210 dlyongemallo closed 5 months ago
0
Style disabled menu items to be more visually obvious.

#209 dlyongemallo closed 5 months ago
0
icons are missing on Windows

#208 dlyongemallo closed 5 months ago
8
Bug saving/loading proofs

#207 wlcsm opened 5 months ago
3
Add ability to rename proof steps

#206 wlcsm closed 5 months ago
6
Remove unused imports

#205 wlcsm closed 5 months ago
0
Save proofs as JSON rather than Tikz

#204 wlcsm closed 5 months ago
0
Tikz proof export feature: export steps of the proof as a series of tikz files

#203 RazinShaikh opened 5 months ago
0
Custom rewrites with auto-unfusion of phased spiders

#202 RazinShaikh opened 5 months ago
1
Changing the variable type in the sidebar does not change the actual type of the variable which is part of Poly

#201 RazinShaikh closed 5 months ago
1
Magic wand: unintuitive phase assignment based on the slice area

#200 RazinShaikh closed 1 week ago
0
Label boundary nodes with input/output index so that it is more clear to the user, especially when creating a custom rewrite

#199 RazinShaikh opened 5 months ago
0
Tikz diagram export for proofs sometimes does not align the equal sign properly

#198 RazinShaikh opened 5 months ago
3
Refactor and combine `save_rule_dialog` and `save_proof_dialog`.

#197 dlyongemallo closed 6 months ago
0
Magic wand unfuse phases does not work

#196 RazinShaikh opened 6 months ago
4
Continuous deployment

#195 RazinShaikh closed 5 months ago
1
Simplification routines apply to the entire diagram instead of the selection

#194 RazinShaikh opened 6 months ago
0
Clean up some variables not actually used in `MainWindow`

#193 dlyongemallo closed 6 months ago
1
add more tests

#192 dlyongemallo opened 6 months ago
0