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

36 Open 147 Closed
36 Open 147 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Private functions are not hidden from the visualizer bug
#278 opened May 15, 2024 by nmacedo
Should pred/fun parameters be type checked in runtime? food-for-thought Open problems
#275 opened May 3, 2024 by nmacedo
1
Incorrect bitwidth when scope 0 int bug
#274 opened May 2, 2024 by nmacedo A6.2
@nmacedo
Raise an error when Prevent Overflows is On and Electrod is used enhancement
#272 opened Apr 26, 2024 by grayswandyr A6.2
@nmacedo
Additional information in meta-model visualization enhancement
#251 opened Mar 28, 2024 by nmacedo
Include derived functions from imported modules enhancement
#250 opened Mar 27, 2024 by nmacedo A6.2
@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 A6.2
@nmacedo
3
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
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
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
@tnelson
6
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
Ordered signatures can not have "exactly 0" instances food-for-thought Open problems
#143 opened Mar 19, 2021 by edmcman A6.2
3
Duplicate models when enumerating
#142 opened Mar 19, 2021 by edmcman
11
Publishing to Bintray/Maven Central bug
#126 opened Sep 7, 2020 by ddimtirov
@pkriens
5
Signatures can subset Int food-for-thought Open problems
#99 opened Oct 21, 2019 by hwayne
3
Feature Request: Convert Tabs to Spaces enhancement good-first-issue
#80 opened Jan 7, 2019 by hwayne
5
Warn before saving a file modified outside Alloy enhancement
#61 opened Jul 12, 2018 by s-arash
ProTip! no:milestone will show everything without a milestone.