This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Tue Oct 8 2024 01:41:04 CEST
Bug season
Hide Search Description
84 bugs found.
ID Product Comp Assignee Status Resolution Summary Changed
179 UPPAAL Engine behrmann ASSI --- Continuation of verifyta with rest of queries if one produces out-of-memory error 2005-08-04
70 UPPAAL Engine behrmann ASSI --- There is no intersection check for inequalities involving integers and their ranges in verifier 2005-11-06
66 UPPAAL Engine behrmann ASSI --- User specified inactive clocks 2005-11-06
44 UPPAAL Engine behrmann ASSI --- (dot/period). protocol error 2005-11-06
201 UPPAAL Engine behrmann ASSI --- Deadlock during broadcast channel synchronization 2005-12-09
283 UPPAAL Engine behrmann ASSI --- Global invariant declaration 2006-03-02
274 UPPAAL Engine behrmann ASSI --- Nested path formula 2006-03-09
216 UPPAAL Engine behrmann ASSI --- Statements on edges 2006-03-19
343 UPPAAL Engine behrmann ASSI --- Cannot launch UPPAAL with an XTA from the command line (programmatically) 2006-08-26
145 UPPAAL Engine marius ASSI --- Value passing over channels 2006-11-06
120 UPPAAL Engine johnh ASSI --- Determining the actual range of variables 2006-12-05
408 UPPAAL Engine behrmann ASSI --- Non-terminating code hangs UPPAAL core 2007-03-26
398 UPPAAL Engine behrmann ASSI --- Memory leak when generating shortest or fastest traces 2007-05-13
397 UPPAAL Engine behrmann ASSI --- Engine crashes when control reaches end of non-void function 2007-05-13
392 UPPAAL Engine behrmann ASSI --- Wrongful interpretation of query over automatically instantiated templates with select expressions 2007-05-13
389 UPPAAL Engine behrmann ASSI --- Crash during concrete trace generation 2007-05-13
436 UPPAAL Engine adavid ASSI --- Relax restriction: clock guards are not allowed on broadcast receivers 2008-06-11
449 UPPAAL Engine adavid ASSI --- allow multi-synchronization (multicast) over channels 2008-10-28
115 UPPAAL Engine behrmann ASSI --- Internal functions 2008-11-10
451 UPPAAL Engine adavid ASSI --- switch-case-default statement is not supported 2008-11-18
464 UPPAAL Engine adavid ASSI --- Liveness trace is too permissive 2010-04-23
21 UPPAAL Engine behrmann ASSI --- Statistics about runtime, memory usage, etc. 2010-08-18
498 UPPAAL Engine adavid ASSI --- Property may be satisfied 2010-10-19
504 UPPAAL Engine adavid NEW --- Use of stopwatches with UPPAAL_COMPILE_ONLY produce an exception 2010-11-08
505 UPPAAL Engine adavid NEW --- Sever.exe loops infinitely in Uppaal 4.1.3 for the syntax check 2010-11-19
510 UPPAAL Engine adavid NEW --- Segmentation fault while verifying an LSC 2011-03-11
512 UPPAAL Engine adavid NEW --- "Clock rate(54) must be 0 or 1" error while doing SMC 2011-04-11
518 UPPAAL Engine adavid NEW --- Error in systematic parameter substiturion for templates 2011-08-02
519 UPPAAL Engine adavid NEW --- Caught Exception 2011-08-09
521 UPPAAL Engine adavid NEW --- socketserver missing 2011-08-11
520 UPPAAL Engine adavid NEW --- Can't run server on 64-bit Linux 2011-08-11
506 UPPAAL Engine adavid NEW --- uppaal-4.0.13 verifyta statically linked? 2011-09-01
523 UPPAAL Engine adavid ASSI --- SMC throws exception: State does not satisfy invariant 2011-09-14
526 UPPAAL Engine adavid NEW --- SMC generates only half of the simulation runs on Windows 2011-09-20
529 UPPAAL Engine adavid NEW --- simulations stop prematurely when one of the conditions is satisfied 2012-01-06
530 UPPAAL Engine adavid NEW --- Hypothesis testing fails 2012-01-09
531 UPPAAL Engine adavid NEW --- The verification of a "sup" property based on a clock value does not terminate 2012-01-19
532 UPPAAL Engine adavid NEW --- The verification of a "sup" property based on a clock value does not terminate 2012-01-19
533 UPPAAL Engine adavid NEW --- The verification of a "sup" property based on a clock value does not terminate 2012-01-19
542 UPPAAL Engine adavid NEW --- false deadlock claimed and even trace provided, but no deadlock is found 2013-01-16
548 UPPAAL Engine adavid NEW --- Simulate filters out too many points with stop condition 2013-04-11
549 UPPAAL Engine adavid NEW --- Simulate filters out too many points with float clock rate 2013-04-11
554 UPPAAL Engine adavid NEW --- Query Check 2013-06-21
555 UPPAAL Engine adavid NEW --- Incorrect expression for invariants in compiled time-based model 2013-06-26
556 UPPAAL Engine adavid NEW --- Incorrect layout for invariants with functions in compiled time-based model 2013-06-27
557 UPPAAL Engine adavid NEW --- Server Crashes while running a Query 2013-07-02
563 UPPAAL Engine adavid NEW --- guards on doubles result in "has a general hybrid guard enabled without urgent channel" 2013-11-13
546 UPPAAL Engine adavid NEW --- Can not automatically get counter example if not satisfied 2013-11-21
565 UPPAAL Engine adavid NEW --- Query `E<> (...)` fails on Mac using normal and 64-bit version 2014-01-13
589 UPPAAL Engine marius ASSI --- SMC trajectories contain duplicate points 2015-05-15
595 UPPAAL Engine marius ASSI --- simulation trajectory filtering drops too many points 2015-06-01
597 UPPAAL Engine marius ASSI --- simulate query with check returns too few simulations 2015-06-21
599 UPPAAL Engine marius ASSI --- Wrong answer from the model checker 2015-09-30
593 UPPAAL Engine marius ASSI --- faulty initialization of array of doubles 2015-10-01
590 UPPAAL Engine marius ASSI --- Runtime Error 2015-12-16
627 UPPAAL Engine marius ASSI --- Lower bound clock invariants are ignored 2017-02-20
604 UPPAAL Engine marius ASSI --- server crashs because of bad http/1.1 request of blacklist 2017-02-20
610 UPPAAL Engine marius ASSI --- Sending doubles function-parameter by reference gives unspecified behavior 2017-02-20
611 UPPAAL Engine marius ASSI --- Error in handling double-comparison in guards 2017-02-20
613 UPPAAL Engine marius ASSI --- Combination of inline-if + doubles makes engine crash 2017-02-20
614 UPPAAL Engine marius ASSI --- Guarded, not enabled edge with urgent channel enforces urgency 2017-02-20
615 UPPAAL Engine marius ASSI --- Combination of urgent channels + double guards gives zeno-behaviour-error 2017-02-20
616 UPPAAL Engine marius ASSI --- Doubles are not handled correctly in guards 2017-02-20
622 UPPAAL Engine marius ASSI --- Reuse Constant-declarations in byte-code 2017-02-22
625 UPPAAL Engine marius ASSI --- cannot access array A in template instantiation 2017-02-22
612 UPPAAL Engine marius ASSI --- Doubles cannot be initialized with integer value 2017-02-28
626 UPPAAL Engine marius ASSI --- pow computes incorect result in complicated expressions 2017-03-15
544 UPPAAL Engine marius ASSI --- support for clock and random initialisers (initializers) 2017-04-06
543 UPPAAL Engine marius ASSI --- Estimation (E) query accepts only variable exressions 2017-04-06
646 UPPAAL Engine marius ASSI --- simulator overshoots the floating point constraints 2017-11-02
652 UPPAAL Engine marius ASSI --- array types in function return 2018-05-02
653 UPPAAL Engine marius ASSI --- The initial state is undefined with invariant using clock initialized other than zero in SMC 2018-05-02
655 UPPAAL Engine marius ASSI --- Nondeterministic select causes unexpected probabilities for equally weighted transitions. 2018-05-30
657 UPPAAL Engine marius ASSI --- simulations stop at the bound without considering changes of the last urgent transitions 2018-06-27
600 UPPAAL Engine marius ASSI --- Dynamic creation of process do not cooperate with floating point type 2019-03-23
665 UPPAAL Engine marius ASSI --- unbounded int parameter creates unreasonably large structures 2019-09-12
416 UPPAAL Engine marius ASSI --- segfault when scalar-indexed processes used with priorities 2019-10-21
414 UPPAAL Engine marius ASSI --- before_update/after_update in local declaration 2019-10-21
411 UPPAAL Engine marius ASSI --- "FATAL: kernel too old" followed by Segmentation fault 2019-10-21
541 UPPAAL Engine marius ASSI --- IO exception when verifying FDDI protocol 2019-10-29
492 UPPAAL Engine marius ASSI --- rvalue optimizations 2019-11-05
673 UPPAAL Engine marius ASSI --- symbolic queries on hybrid models should fail with an error 2019-11-14
674 UPPAAL Engine marius ASSI --- liveness (leadsto) query crash in combination with urgent channels and channel priorities 2019-11-26
676 UPPAAL Engine marius ASSI --- committed receiver causes time-locks 2020-01-08
84 bugs found.

as

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