Bugzilla – Bug List
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
Log In
[x]
|
Forgot Password
Login:
[x]
This issue tracker is closed.
Please visit
UPPAAL issue tracker at Github
instead.
Sat Sep 21 2024 01:58:08 CEST
Shoot the bug! Shoot the bug!
Hide Search Description
Resolution:
---
Product:
UPPAAL Stratego
Component:
Engine
11 bugs found.
ID
Product
Comp
Assignee
▲
Status
▲
Resolution
▲
Summary
Changed
▼
620
UPPAAL S
Engine
pgj
ASSI
---
optimization query breaks with time-lock where there isn't one
2020-10-13
677
UPPAAL S
Engine
pgj
NEW
---
Array not unfolded in strategy when using statevars and pointvars
2020-04-28
669
UPPAAL S
Engine
marius
ASSI
---
Variables not sent to simulator
2019-11-05
643
UPPAAL S
Engine
marius
ASSI
---
Error (Bug: Ok expected)
2019-10-16
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
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
619
UPPAAL S
Engine
marius
ASSI
---
TIGA can break SMC semantics for branching edges
2017-03-15
608
UPPAAL S
Engine
marius
ASSI
---
GUI crashes due to JavaSoft Prefs failure
2016-10-18
11 bugs found.
Change Columns
Edit Search
as
File a new bug in the "Engine" component of the "UPPAAL Stratego" product