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
Label
Projects
Milestones
Assignee
Sort
Issues list
selecting spider with
Poly
phase results in NotImplementedError
in proof mode
#234
opened Feb 8, 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
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.