Issues
- 2
- 3
Bug: Ultimate C parser crashes when there are Doxygen group comments in the C code
#667 opened by bahnwaerter - 4
- 1
- 3
- 1
Web interface for Automata Library is broken
#656 opened by chrt - 1
Bug: Loop invariants in correctness witnesses produced by UAutomizer refer to out-of-bound variables
#660 opened by Po-Chun-Chien - 0
Fix regression tests
#611 opened by schuessf - 2
Bug: Ultimate Automizer missing an assertion violation when casting to pointer
#661 opened by salvadorer - 1
- 8
Bug: unnecessary UNKNOWN for bitwiseAnd/bitwiseOr
#658 opened by FahrJo - 4
Question about BuchiAutomizer
#652 opened by WHITE000CHOCOLATE - 5
[Question / Clarification] Overapproximation attribute does more than expected?
#651 opened by martin-neuhaeusser - 1
Question: Howto use LassoRanker?
#648 opened by danix800 - 0
- 2
Bug: Unsound unreach proof in Automizer, GemCutter
#646 opened by Novak756 - 2
Bug: Reachable error call not found
#642 opened by Novak756 - 0
Bug: Procedure inliner fails on post-conditions with in-parameters nested in `old` expressions
#640 opened by martin-neuhaeusser - 2
Question: Fallback from SMTInterpol to Z3/CVC4 when bit-vector terms are present in Boogie inputs
#637 opened by martin-neuhaeusser - 2
Preliminary version of new web interface
#610 opened by danieldietsch - 4
WebBackend API: List available settings
#636 opened by maul-esel - 23
Install Ultimate on Mac
#605 opened by ShlKan - 3
- 2
Some questions about BuchiAutomizer
#629 opened by WHITE000CHOCOLATE - 7
Bug: Detection of assertions depending on format
#627 opened by FahrJo - 4
Problems occured while trying to run Ultimate in linux virtual machine.
#617 opened by WHITE000CHOCOLATE - 1
- 5
Can this tool used in a real world project?
#612 opened by ConfZ - 1
Büchi product construction complains about duplicate identifiers when using inlining
#601 opened by martin-neuhaeusser - 0
Support Java 16 (and higher)
#603 opened by hauff - 1
ReqChecker -java error
#602 opened by Eevan-zq - 18
Bug / Question: Inconsistent verification results depending on blockencoding settings
#596 opened by martin-neuhaeusser - 3
- 1
- 0
Inlining introduces syntax that is rejected by the Boogie Preprocessor
#600 opened by martin-neuhaeusser - 2
- 1
UReqCheck usage problem
#574 opened by IridescentL - 3
Bug: UnsupportedOperationException: translation of (bvneg (_ BitVec 32) (_ BitVec 32)) not yet implemented
#578 opened by blizzard4591 - 6
Conceptual problem in DiffWrapperScript
#577 opened by Heizmann - 2
maven repository down
#575 opened by linusboyle - 1
Bug: SMTLIBException: Timeout exceeded
#573 opened by danieldietsch - 0
- 0
UnsupportedOperationException: State has more than one call successor in ``NestedWordAutomatonReachableStates``
#568 opened by danieldietsch - 3
Timeouts are not respected in some scenarios
#567 opened by danieldietsch - 4
- 2
- 0
NPE in AbstractGeneralizedAffineTerm.toTerm
#565 opened by danieldietsch - 2
NPE in AbstractGeneralizedAffineTerm.div(AbstractGeneralizedAffineTerm.java:395)
#563 opened by danieldietsch - 1
- 1
Inductivity Fails when using Accelerated Interpolation for programs with asserts in loops
#561 opened by JonasWerner