Skip to content

Issues: ultimate-pa/ultimate

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

209 Open 375 Closed
209 Open 375 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

Support Skolem functions in TreeAutomizer feature horn clauses TreeAutomizer
#679 opened Sep 24, 2024 by maul-esel
[Question] How can I find the usage of Ultimate IntBlastingWrapper?
#669 opened Jul 18, 2024 by merlinsun
2
Bug: Ultimate C parser crashes when there are Doxygen group comments in the C code bug
#667 opened May 23, 2024 by bahnwaerter
3
Bug: Ultimate Automizer missing an assertion violation when casting to pointer bug
#661 opened Feb 9, 2024 by salvadorer
@Heizmann
2
Question: How to use bvbuiltin functions in LTLAutomizer?
#659 opened Jan 9, 2024 by GreenieQwQ
1
Bug: unnecessary UNKNOWN for bitwiseAnd/bitwiseOr
#658 opened Dec 5, 2023 by FahrJo
8
[Question / Clarification] Overapproximation attribute does more than expected? bug
#651 opened Oct 10, 2023 by martin-neuhaeusser
5
Question: Fallback from SMTInterpol to Z3/CVC4 when bit-vector terms are present in Boogie inputs bug
#637 opened Jun 15, 2023 by martin-neuhaeusser
2
WebBackend API: List available settings
#636 opened Jun 5, 2023 by maul-esel
4
Update Ultimate framework components & dependencies build system / releases enhancement
#631 opened May 1, 2023 by bahnwaerter
5 tasks
3
Bug: Detection of assertions depending on format bug C translation
#627 opened Apr 20, 2023 by FahrJo
7
Bug: ArrayIndexOutOfBoundsException in traceabstraction bug
#613 opened Feb 20, 2023 by blizzard4591
1
Fix regression tests
#611 opened Jan 10, 2023 by schuessf
28 of 49 tasks
@maul-esel @Heizmann
@danieldietsch @schuessf
Preliminary version of new web interface webinterface
#610 opened Jan 4, 2023 by danieldietsch
9 of 20 tasks
@danieldietsch
2
Install Ultimate on Mac
#605 opened Nov 7, 2022 by ShlKan
23
Support Java 16 (and higher) enhancement
#603 opened Oct 7, 2022 by hauff
Inlining introduces syntax that is rejected by the Boogie Preprocessor bug
#600 opened Sep 30, 2022 by martin-neuhaeusser
@Heizmann
Inconsistent results in Hoare triple checker bug
#599 opened Sep 30, 2022 by martin-neuhaeusser
@Heizmann
1
Bug: Incorrect result when using LTLAutomizer with Boogie inlining bug
#598 opened Sep 28, 2022 by martin-neuhaeusser
@Heizmann
3
Bug / Question: Inconsistent verification results depending on blockencoding settings bug LTLAutomizer
#596 opened Sep 23, 2022 by martin-neuhaeusser
@Heizmann @danieldietsch
18
Conceptual problem in DiffWrapperScript bug
#577 opened Dec 26, 2021 by Heizmann
6
Bug: SMTLIBException: Timeout exceeded bug trace checker
#573 opened Aug 2, 2021 by danieldietsch
@danieldietsch
1
Improvement: Noop Update in Unsat Core-Based Interpolation enhancement trace checker
#572 opened Aug 1, 2021 by Heizmann
@Heizmann
UnsupportedOperationException: State has more than one call successor in NestedWordAutomatonReachableStates automata library bug ICFG-related
#568 opened Jun 24, 2021 by danieldietsch
@Heizmann @danieldietsch
Inductivity Fails when using Accelerated Interpolation for programs with asserts in loops bug loop acceleration
#561 opened Apr 23, 2021 by JonasWerner
@danieldietsch @JonasWerner
1
ProTip! Adding no:label will show everything without a label.