Tue Sep 17 2019 22:50:43 CEST
The smallest nuisance can be of greatest pain
Hide Search Description
11 bugs found.
ID Product Comp Assignee Status Resolution Summary Changed
666 UPPAAL S Engine marius NEW --- Erroneous time-lock Fri 13:48
608 UPPAAL S Engine marius ASSI --- GUI crashes due to JavaSoft Prefs failure 2016-10-18
619 UPPAAL S Engine marius ASSI --- TIGA can break SMC semantics for branching edges 2017-03-15
620 UPPAAL S Engine marius ASSI --- optimization query breaks with time-lock where there isn't one 2018-03-09
631 UPPAAL S Engine marius ASSI --- gmp: overflow in mpz type 2017-09-14
633 UPPAAL S Engine marius ASSI --- TIGA properties cannot be checked for systems with strict invariants for learning queries. 2019-01-25
638 UPPAAL S Engine marius ASSI --- Segfault when verifying cruise.xml example queries 2019-01-25
640 UPPAAL S Engine marius ASSI --- SMC reports Lookup of a state outside the strategy when run under a tiga strategy 2019-01-25
643 UPPAAL S Engine marius ASSI --- Error (Bug: Ok expected) 2018-08-30
644 UPPAAL S Engine marius ASSI --- Error (For input string: "13830554455654793216") 2017-09-14
632 UPPAAL S Engine pgj ASSI --- resulting strategy does not depend on the timing 2017-04-07
11 bugs found.

as

File a new bug in the "Engine" component of the "UPPAAL Stratego" product