Tue Dec 11 2018 08:49:33 CET
Cut the wild grass and it regrows anew
Hide Search Description
88 bugs found.
ID Product Comp Assignee Status Resolution Summary Changed
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
506 UPPAAL Engine adavid NEW --- uppaal-4.0.13 verifyta statically linked? 2011-09-01
508 UPPAAL Engine adavid NEW --- Segmentation fault 2011-03-01
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
520 UPPAAL Engine adavid NEW --- Can't run server on 64-bit Linux 2011-08-11
521 UPPAAL Engine adavid NEW --- socketserver missing 2011-08-11
526 UPPAAL Engine adavid NEW --- SMC generates only half of the simulation runs on Windows 2011-09-20
527 UPPAAL Engine adavid NEW --- Same model but different result 2011-09-30
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
541 UPPAAL Engine adavid NEW --- IO exception when verifying FDDI protocol 2012-12-22
542 UPPAAL Engine adavid NEW --- false deadlock claimed and even trace provided, but no deadlock is found 2013-01-16
546 UPPAAL Engine adavid NEW --- Can not automatically get counter example if not satisfied 2013-11-21
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
553 UPPAAL Engine adavid NEW --- Estimation query misses some peak values 2013-05-03
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
565 UPPAAL Engine adavid NEW --- Query `E<> (...)` fails on Mac using normal and 64-bit version 2014-01-13
416 UPPAAL Engine behrmann ASSI --- segfault when scalar-indexed processes used with priorities 2008-04-25
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
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
492 UPPAAL Engine adavid ASSI --- rvalue optimizations 2010-06-04
498 UPPAAL Engine adavid ASSI --- Property may be satisfied 2010-10-19
523 UPPAAL Engine adavid ASSI --- SMC throws exception: State does not satisfy invariant 2011-09-14
21 UPPAAL Engine behrmann ASSI --- Statistics about runtime, memory usage, etc. 2010-08-18
343 UPPAAL Engine behrmann ASSI --- Cannot launch UPPAAL with an XTA from the command line (programmatically) 2006-08-26
389 UPPAAL Engine behrmann ASSI --- Crash during concrete trace generation 2007-05-13
392 UPPAAL Engine behrmann ASSI --- Wrongful interpretation of query over automatically instantiated templates with select expressions 2007-05-13
397 UPPAAL Engine behrmann ASSI --- Engine crashes when control reaches end of non-void function 2007-05-13
398 UPPAAL Engine behrmann ASSI --- Memory leak when generating shortest or fastest traces 2007-05-13
411 UPPAAL Engine behrmann ASSI --- "FATAL: kernel too old" followed by Segmentation fault 2007-04-10
414 UPPAAL Engine behrmann ASSI --- before_update/after_update in local declaration 2007-05-15
120 UPPAAL Engine johnh ASSI --- Determining the actual range of variables 2006-12-05
145 UPPAAL Engine marius ASSI --- Value passing over channels 2006-11-06
44 UPPAAL Engine behrmann ASSI --- (dot/period). protocol error 2005-11-06
66 UPPAAL Engine behrmann ASSI --- User specified inactive clocks 2005-11-06
115 UPPAAL Engine behrmann ASSI --- Internal functions 2008-11-10
201 UPPAAL Engine behrmann ASSI --- Deadlock during broadcast channel synchronization 2005-12-09
216 UPPAAL Engine behrmann ASSI --- Statements on edges 2006-03-19
274 UPPAAL Engine behrmann ASSI --- Nested path formula 2006-03-09
283 UPPAAL Engine behrmann ASSI --- Global invariant declaration 2006-03-02
408 UPPAAL Engine behrmann ASSI --- Non-terminating code hangs UPPAAL core 2007-03-26
621 UPPAAL Engine marius ASSI --- NullPointerException in GUI; verifyta works fine 2017-02-22
70 UPPAAL Engine behrmann ASSI --- There is no intersection check for inequalities involving integers and their ranges in verifier 2005-11-06
179 UPPAAL Engine behrmann ASSI --- Continuation of verifyta with rest of queries if one produces out-of-memory error 2005-08-04
636 UPPAAL Engine marius ASSI --- Remove: #tau is not the last variable! 2017-09-14
637 UPPAAL Engine marius ASSI --- liveness check crashes on model with (process) priorities 2017-09-14
600 UPPAAL Engine dannybp ASSI --- Dynamic creation of process do not cooperate with floating point type 2015-10-23
543 UPPAAL Engine marius ASSI --- Estimation (E) query accepts only variable exressions 2017-04-06
544 UPPAAL Engine marius ASSI --- support for clock and random initialisers (initializers) 2017-04-06
589 UPPAAL Engine marius ASSI --- SMC trajectories contain duplicate points 2015-05-15
590 UPPAAL Engine marius ASSI --- Runtime Error 2015-12-16
593 UPPAAL Engine marius ASSI --- faulty initialization of array of doubles 2015-10-01
595 UPPAAL Engine marius ASSI --- simulation trajectory filtering drops too many points 2015-06-01
596 UPPAAL Engine marius ASSI --- Incorrect result for batch run in verifier 2015-05-29
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
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
612 UPPAAL Engine marius ASSI --- Doubles cannot be initialized with integer value 2017-02-28
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
626 UPPAAL Engine marius ASSI --- pow computes incorect result in complicated expressions 2017-03-15
627 UPPAAL Engine marius ASSI --- Lower bound clock invariants are ignored 2017-02-20
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
654 UPPAAL Engine marius ASSI --- SMC simulate query monitoring fails to produce a single run when property is satisfied 2018-06-25
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
88 bugs found.

as

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