Skip to content

Issues: AlloyTools/org.alloytools.alloy

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

42 Open 154 Closed
42 Open 154 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

Alloy cannot be installed because of its certificate issue
#309 opened Jan 31, 2025 by younes-io
3
alloy exec -e doesn't seem to do anything
#307 opened Jan 14, 2025 by dkasak
1
1
Misleading message with empty instance
#306 opened Jan 13, 2025 by grayswandyr
Links [what is new] and [spec] are broken
#305 opened Jan 13, 2025 by grayswandyr Next
Feature request: automatic indentation
#300 opened Nov 12, 2024 by rix0rrr
2
Fatal error has occurred
#296 opened Oct 8, 2024 by Francesco-Vinci
4
Allow low precedence for unary ops using | (like quantifiers)
#293 opened Oct 3, 2024 by grayswandyr Next
Aakar font seems buggy in the editor
#287 opened Aug 11, 2024 by BranAndSceolan
warn on priming immutable var
#285 opened Jul 1, 2024 by dnjackson Next
Skolem variables inside temporal contexts not visualized enhancement
#284 opened Jun 17, 2024 by nmacedo Next
Private functions are not hidden from the visualizer bug
#278 opened May 15, 2024 by nmacedo Next
Should pred/fun parameters be type checked in runtime? food-for-thought Open problems
#275 opened May 3, 2024 by nmacedo
2
Loading theme affects all open instances
#244 opened Mar 14, 2024 by dnjackson
1
Hide skolems in the visualisation enhancement
#242 opened Mar 7, 2024 by alcinocunha Next
@nmacedo
5
Grammar railroad diagram
#236 opened Feb 29, 2024 by mingodad
A run command with growing scopes should stop once an instance is found enhancement
#231 opened Feb 1, 2024 by SteveZhangBit Next
2
Feature request: add more colors and shapes to the visualizer
#228 opened Jan 11, 2024 by hwayne
1
Implement var-args for macros
#225 opened Dec 11, 2023 by grayswandyr Next
Add shortcut + command to execute command under cursor
#220 opened Jun 30, 2023 by grayswandyr
DOT graph generation via CLI wrapper
#211 opened Apr 13, 2023 by swamp-agr
1
Systematic inclusion of integers in univ and unclear default bound enhancement
#199 opened Mar 1, 2023 by jbrubru Next
@tnelson
7
Implement an improved translation to SMV directly in Pardinus enhancement
#197 opened Feb 28, 2023 by grayswandyr
@grayswandyr
2
cnf export does not handle mutuable signatures and fields
#183 opened Jun 11, 2022 by goens
2
Uninforming "typing" error for let-definition instead of an expected "syntax" error
#173 opened Feb 18, 2022 by grayswandyr
1
For MacOS, also build a .dmg for M1 processors
#172 opened Feb 9, 2022 by sfre-coop
@pkriens
ProTip! Mix and match filters to narrow down what you’re looking for.