Skip to content

Issues: tnelson/Forge

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

19 Open 53 Closed
19 Open 53 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

Temporal forge needs max_tracelength to be set before min_tracelength
#274 opened Aug 29, 2024 by dominicmkennedy
1
Invoking helper function via dot rather than box
#268 opened Aug 8, 2024 by k-mouline
Update native solvers solver backend
#251 opened Mar 24, 2024 by tnelson
@tnelson
Syntax-location for error in let body errors Issues related to error messages
#250 opened Mar 22, 2024 by tnelson
Fix restriction of "one" and "lone" quantification in Froglet bug Something isn't working errors Issues related to error messages
#213 opened Aug 2, 2023 by tnelson
@tnelson
Reporting a vulnerability
#206 opened Apr 10, 2023 by igibek
3
max_tracelength option is global, not local bug Something isn't working
#183 opened Jan 30, 2023 by tnelson
4
Forgetting "var" on a field in temporal mode can lead to a silent failure errors Issues related to error messages temporal Temporal / Electrum / Alloy 6 mode
#182 opened Jan 30, 2023 by tnelson
3
Pardinus-CLI documentation: use of "lone" for "sing" documentation Improvements or additions to documentation
#148 opened Apr 29, 2022 by tnelson
"set" quantification is allowed in syntax, but meaning isn't preserved
#147 opened Apr 29, 2022 by tnelson
Sterling saving theme setttings between different runs
#139 opened Feb 24, 2022 by erinlincoln
@tnelson
1
Resolve making compare/contrast models, make target-mode usable again
#72 opened Jan 25, 2021 by tnelson
@tnelson
1
Halting a run after solver is created leaves zombie processes bug Something isn't working solver backend
#66 opened Jan 16, 2021 by tnelson
1
Clean up options code and better error messages errors Issues related to error messages refactor Refactoring and code clean-up
#61 opened Jan 10, 2021 by tnelson
4
"in" sigs enhancement New feature or request
#57 opened Jan 6, 2021 by tnelson
(Unnecessary use of cardinality): Upper-bound too large for given BitWidth bounds
#54 opened Dec 17, 2020 by tnelson
3
Clean up modelToXML? refactor Refactoring and code clean-up
#29 opened Mar 12, 2020 by sorawee
2
Parens causing problems in function/pred application syntax Syntax problems in Forge
#19 opened Feb 16, 2020 by mlavrent
2
Sterling navbar should ideally use links a11y Accessibility issue sterling Relating to Sterling UI
#5 opened Feb 3, 2020 by rgreenblatt
ProTip! What’s not been updated in a month: updated:<2024-10-10.