Skip to content

Issues: ultimate-pa/hanfor

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

37 Open 211 Closed
37 Open 211 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

Renaming Variables can alter other variables bug Something isn't working
#255 opened May 8, 2024 by tkolzer
Renaming an Enumerator is not possible bug Something isn't working
#254 opened May 7, 2024 by hauff
1
Boolean type inference doesn't work with && and || when both variables are new
#253 opened Apr 5, 2024 by onsah
Boogie program
#252 opened Mar 18, 2024 by wzq179
17
Tag box in formalization modal is fixed while scrolling bug Something isn't working
#250 opened Mar 11, 2024 by abilyd
Hanfor's Specification Language docs Something related to the documentation question Further information is requested
#244 opened Feb 24, 2023 by Eevan-zq
@hauff
3
Fix typos in pattern names enhancement New feature or request
#243 opened Feb 14, 2023 by hauff
1 task
@henkele
Refactor variables api using blueprints enhancement New feature or request
#242 opened Feb 14, 2023 by hauff
@hauff
Tags cannot be deleted if not assigned to any requirement bug Something isn't working
#241 opened Jan 31, 2023 by henkele
Reqirements Modal > Formalizations: No Word wrapping implemented or it is not working bug Something isn't working
#238 opened Jan 22, 2023 by hauff
1
Requirements Modal > Pattern: Sorting enhancement New feature or request
#237 opened Jan 22, 2023 by hauff
Requirements Modal > Tags: Autocompletion does not allways work bug Something isn't working
#236 opened Jan 22, 2023 by hauff
Check CSV well-formedness on initial load bug Something isn't working
#234 opened Nov 4, 2022 by Langenfeld
@DaraKamalian
The hanfor boggie grammar allows expressions to be empty enhancement New feature or request
#233 opened Oct 14, 2022 by hauff
Implement functions (e.g. abs()) enhancement New feature or request help wanted Extra attention is needed
#230 opened Oct 6, 2022 by hauff
4 of 6 tasks
@hauff
1
Hanfor Docs: Analysis using Ultimate seems to be outdated docs Something related to the documentation
#229 opened Oct 5, 2022 by hauff
Possibly incorrect clock invariant bug Something isn't working
#227 opened Oct 4, 2022 by hauff
@hauff @henkele
Inputs min, max for variables enhancement New feature or request
#220 opened May 4, 2022 by hauff
Durations S, T should be cast to real internally enhancement New feature or request
#217 opened Mar 18, 2022 by hauff
2
Variables pagination jumps back to page 1 after editing bug Something isn't working
#210 opened Jul 21, 2021 by hauff
@hauff
Hanfor's update procedure is missing from the docs docs Something related to the documentation enhancement New feature or request
#209 opened Jul 20, 2021 by hauff
Support adding multiple tags at once ... enhancement New feature or request
#204 opened Mar 30, 2021 by hauff
@DaraKamalian
Scroll bar doesn't update bug Something isn't working
#200 opened Mar 16, 2021 by hauff
Search for special chars eg. "$" enhancement New feature or request
#198 opened Mar 16, 2021 by hauff
Tags dialogue: should have a popup "You have unsaved changes ..." enhancement New feature or request
#197 opened Feb 18, 2021 by hauff
ProTip! Updated in the last three days: updated:>2024-05-28.