Sun Nov 17 2019 00:21:07 CET
Bug season
Hide Search Description
12 bugs found.
ID Product Comp Assignee Status Resolution Summary Changed
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) 2019-10-16
644 UPPAAL S Engine marius ASSI --- Error (For input string: "13830554455654793216") 2017-09-14
666 UPPAAL S Engine marius ASSI --- Erroneous time-lock 2019-09-30
669 UPPAAL S Engine marius ASSI --- Variables not sent to simulator 2019-11-05
632 UPPAAL S Engine pgj ASSI --- resulting strategy does not depend on the timing 2017-04-07
12 bugs found.

as

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