Skip to content

Issues: Quantomatic/zxlive

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

rename master branch to main
#238 opened May 5, 2024 by dlyongemallo
Support basic expressions for parameterised spiders Edit Mode Issues and enhancements related to Edit mode enhancement New feature or request
#232 opened Jan 31, 2024 by wlcsm
Make local complementation and pivoting work with parametric boolean angles. enhancement New feature or request Proof mode Issues and enhancements related to Proof mode
#231 opened Jan 25, 2024 by RazinShaikh
Long proofs unable to load bug Something is not right Proof mode Issues and enhancements related to Proof mode
#229 opened Jan 25, 2024 by Aerylia
Application crashes in proof mode when clicking on rule category text instead of small arrow bug Something is not right Proof mode Issues and enhancements related to Proof mode
#228 opened Jan 25, 2024 by Aerylia
UI suggestion: proof panel splitter should maintain setting between tabs enhancement New feature or request Proof mode Issues and enhancements related to Proof mode
#219 opened Dec 17, 2023 by dlyongemallo
Bug saving/loading proofs bug Something is not right Proof mode Issues and enhancements related to Proof mode
#207 opened Nov 28, 2023 by wlcsm
Tikz proof export feature: export steps of the proof as a series of tikz files enhancement New feature or request Proof mode Issues and enhancements related to Proof mode
#203 opened Nov 21, 2023 by RazinShaikh
Custom rewrites with auto-unfusion of phased spiders Custom rules Enhancements and issues dealing with adding or using custom rules enhancement New feature or request
#202 opened Nov 21, 2023 by RazinShaikh
Label boundary nodes with input/output index so that it is more clear to the user, especially when creating a custom rewrite Custom rules Enhancements and issues dealing with adding or using custom rules enhancement New feature or request
#199 opened Nov 21, 2023 by RazinShaikh
Tikz diagram export for proofs sometimes does not align the equal sign properly bug Something is not right Proof mode Issues and enhancements related to Proof mode
#198 opened Nov 21, 2023 by RazinShaikh
Magic wand unfuse phases does not work bug Something is not right Proof mode Issues and enhancements related to Proof mode
#196 opened Nov 20, 2023 by RazinShaikh
Simplification routines apply to the entire diagram instead of the selection bug Something is not right Proof mode Issues and enhancements related to Proof mode
#194 opened Nov 16, 2023 by RazinShaikh
add more tests code organisation and standards Issue deals with how the code is structured or written documentation Improvements or additions to documentation
#192 opened Nov 16, 2023 by dlyongemallo
Highlight difference in rewrite steps enhancement New feature or request Proof mode Issues and enhancements related to Proof mode
#190 opened Nov 15, 2023 by RazinShaikh
Ability to group rewrites in the proof list together enhancement New feature or request
#188 opened Nov 15, 2023 by RazinShaikh
maintain selection state across undo/redo Edit Mode Issues and enhancements related to Edit mode enhancement New feature or request
#186 opened Nov 15, 2023 by RazinShaikh
Easy way to add parts of quantum circuits Edit Mode Issues and enhancements related to Edit mode enhancement New feature or request
#178 opened Nov 10, 2023 by jvdwetering
Positioning after applying custom rule still isn't very nice sometimes Custom rules Enhancements and issues dealing with adding or using custom rules enhancement New feature or request
#171 opened Nov 9, 2023 by jvdwetering
Update readme to explain how to use ZXLive code organisation and standards Issue deals with how the code is structured or written documentation Improvements or additions to documentation
#169 opened Nov 4, 2023 by jvdwetering
Create icon/thumbnail/logo for ZXLive code organisation and standards Issue deals with how the code is structured or written
#168 opened Nov 4, 2023 by jvdwetering
Proof list enhancements Collection An issue grouping together related issues
#167 opened Nov 4, 2023 by jvdwetering
2 of 3 tasks
differentiate between deployment and development requirements code organisation and standards Issue deals with how the code is structured or written
#163 opened Nov 2, 2023 by dlyongemallo
Better ZH rewrites enhancement New feature or request Proof mode Issues and enhancements related to Proof mode
#162 opened Nov 2, 2023 by jvdwetering
ProTip! Add no:assignee to see everything that’s not assigned.