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

196 Open 389 Closed
196 Open 389 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

Bug: Designated initializers for C structs broken in C translation bug C translation
#693 opened Nov 14, 2024 by bahnwaerter
2
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
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
30 of 49 tasks
@maul-esel @Heizmann
@danieldietsch @schuessf
Improve web interface webinterface
#610 opened Jan 4, 2023 by danieldietsch
9 of 20 tasks
@danieldietsch
5
Install Ultimate on Mac
#605 opened Nov 7, 2022 by ShlKan
23
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
Bug: SMTLIBException: Timeout exceeded bug trace checker
#573 opened Aug 2, 2021 by danieldietsch
@danieldietsch
1
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
Incorrect Büchi program while using LTLAutomizerCInline toolchain bug LTLAutomizer
#558 opened Apr 22, 2021 by jjoojjoo123
@danieldietsch
4
NegativeArraySizeException in DualJunctionTir$ExplicitLhsPolynomialRelations.buildDualFiniteJunction bug quantifier elimination
#555 opened Apr 16, 2021 by danieldietsch
@Heizmann
1
Support refinementstategies for accelerated interpolation feature loop acceleration
#554 opened Apr 16, 2021 by danieldietsch
@danieldietsch @JonasWerner
AcceleratedInterpolation unsoundness ReachSafety-Loops bug loop acceleration
#550 opened Apr 16, 2021 by danieldietsch
@JonasWerner
1
ProTip! Add no:assignee to see everything that’s not assigned.