Skip to content

Issues: AlgebraicJulia/Semagrams.jl

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.

Sign up for GitHub

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

48 Open 44 Closed
48 Open 44 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Exception when running ./mill --watch apps.petri.fullLinkJS
#149 opened Feb 23, 2024 by HanYuanHsu
Text format suggestion
#145 opened Oct 20, 2023 by colltoaction
Reversion: API Change for Viewports and out of date comments
#140 opened Jun 20, 2023 by olynch
1
Reversion - Clickable wire labels
#138 opened Jun 8, 2023 by sjbreiner
Rename all variables with $ in their name
#134 opened Jun 6, 2023 by olynch
@filonik-cmu
DWD - Indicate which box the user is currently in
#133 opened Jun 6, 2023 by filonik-cmu
1
Per-App Static Files
#131 opened Jun 5, 2023 by filonik-cmu
@olynch
Refactor semagrams initialization code
#130 opened Jun 5, 2023 by filonik-cmu
@olynch
9
DWD - Manage Complexity of Wires on Higher-Levels enhancement New feature or request
#128 opened May 31, 2023 by filonik-cmu
DWD - Decision Boxes / Conditional Diagrams with Ability to Toggle enhancement New feature or request
#127 opened May 31, 2023 by filonik-cmu
DWD - Persist state in browser (localStorage)
#126 opened May 31, 2023 by filonik-cmu
@filonik-cmu
DWD - Load/Save Button
#125 opened May 31, 2023 by filonik-cmu
@filonik-cmu
2
DWD - Disallow dropping wire on existing port/overlapping wires
#124 opened May 31, 2023 by filonik-cmu
DWD - Propagate Labels through Ports
#123 opened May 31, 2023 by filonik-cmu
@sjbreiner
DWD - Fix Z-Ordering
#122 opened May 31, 2023 by filonik-cmu
@sjbreiner
DWD - Wire routing
#121 opened May 31, 2023 by filonik-cmu
@filonik-cmu
DWD - Border ports positioning
#120 opened May 31, 2023 by filonik-cmu
DWD - Port reordering
#118 opened May 31, 2023 by filonik-cmu
@filonik-cmu
DWD - Hover not working on new wires
#117 opened May 31, 2023 by filonik-cmu
@filonik-cmu
1
Copy-paste boxes
#115 opened May 26, 2023 by priyaasrini
1
Load initialization file from disk
#114 opened May 25, 2023 by sjbreiner
1
Mouse gets stuck on Mac touchpad
#111 opened Apr 28, 2023 by sjbreiner
README out of date
#103 opened Apr 3, 2023 by olynch
Nested ACSet Serialization
#99 opened Mar 28, 2023 by olynch
2
Upgrade to Laminar 15
#96 opened Mar 25, 2023 by olynch
ProTip! Adding no:label will show everything without a label.