UPPAALModelChecker UPPAAL-Meta issues

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.

http://www.uppaal.org

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Clocks' values are wrong in the concrete simulator

#298 rgu01 opened 1 month ago
2
Plotting array of doubles causes values to be truncated

#297 AsgerHB opened 1 month ago
0
MalFormedJsonException

#296 NicolasBedon opened 1 month ago
1
`under <Strategy>` query does not work as expected

#295 mikaelbdj opened 1 month ago
0
NullPointerException when running Concrete Simulator

#294 mikaelbdj opened 1 month ago
0
Division using only ints breaks stopwatch

#293 koch10 closed 1 month ago
1
"Cannot generate a trace" error when priorities over processes are used

#292 mikucionisaau opened 1 month ago
0
Unspecified delay due to missing invariant and exponential rate bug

#291 JacobGuld opened 2 months ago
0
error: Server received SIGSEGV signal

#290 mikucionisaau closed 2 months ago
1
ModelDemo.java Compile Error

#287 Lqs66 closed 2 months ago
2
SIGSEGV when loading model: Urgent Channel using helper function with exists expressions

#286 GameMonkey opened 2 months ago
2
Generate finite counter traces

#283 amiratarek3007 opened 4 months ago
0
Don't run autocompletion on model comments in declarations

#280 magoorden opened 5 months ago
0
Coupler force

#279 GYSUN41111 opened 5 months ago
1
couplerv force

#278 GYSUN41111 opened 5 months ago
1
Incomplete error message

#277 magoorden opened 5 months ago
0
Unexpected results and errors for control strategy

#273 mikucionisaau opened 6 months ago
0
UPPAAL-5.0.0 doesn't start on m2 pro

#267 AlbertoNoris closed 6 months ago
5
Defining multiple expressions in min/max estimation queries

#266 GameMonkey opened 6 months ago
0
Local zoom values for each template individually

#264 magoorden opened 6 months ago
0
Passing a const double through a partial template causes an error

#263 labr-cs-aau opened 7 months ago
0
"__ON_BEGIN__" not responding

#259 Faering666 opened 7 months ago
0
Odd colors. Program unuseable. Tried include and exclude java version

#258 TheKritix opened 7 months ago
3
Concrete Simulator: Broadcast receiver's update part is calculated even if the sending edge's guard is false

#257 GameMonkey opened 7 months ago
0
Too many enabled transitions in concrete simulator for Uppaal classic model with channel arrays

#256 magoorden opened 8 months ago
0
How to use "EXTERNAL FUNCTIONS" in UPPAAL?

#254 Lqs66 closed 8 months ago
0
5.1.0-beta5 - Persistent error in partiuclar file: "std::get: wrong index for variant"

#253 AsgerHB opened 8 months ago
2
Windows only recognizes paths relative to uppaal

#252 frederikja163 opened 8 months ago
0
Specifying clock rates on array of clocks using forall and imply results in SIGSEGV

#251 GameMonkey opened 8 months ago
2
Some text ignore font scaling option

#250 magoorden opened 8 months ago
2
Deb package does not work when installed in Pop!_OS

#248 atjn closed 9 months ago
2
Misleading popup when saving learning strategies

#247 thorulf4 closed 10 months ago
1
Rounding when passing array of double by value

#244 mikucionisaau opened 10 months ago
0
UPPAAL 5.0.0, verifyta got Segmentation fault on 5.4.0-1103-aws (Ubuntu 22.04)

#243 wzqvip closed 10 months ago
2
Time-lock error in learning query but not in simulate query

#242 AsgerHB opened 11 months ago
1
How to set hypothesis testing parameters to get more accurate conclusions?

#240 fqss0436 opened 11 months ago
1
Keyboard navigation in verifier UI

#236 AsgerHB opened 12 months ago
0
Array of clocks displays incorrectly in plot of `simulate` query

#235 AsgerHB closed 11 months ago
0
Uppaal 5.1.0-beta3 Wrong Number of process locations

#233 caioserram opened 1 year ago
1
UPPAAL Warns Expression does not have any effect for FFI functions.

#230 senevoldsen opened 1 year ago
5
Counterxample enumeration on UPPAAL

#226 Lqs66 opened 1 year ago
0
license activation return error 422 when computer name includes unicode characters

#225 wwwwwwwwwwwwwwwwwwwwwwwwwwwwww2 closed 1 year ago
1
Uppaal 5.1.0-beta2: LanguageServer closed connection upon opening Uppaal for the first time

#224 magoorden closed 1 year ago
6
Uppaal 5: no connection to engine [ARM64 Ubuntu]

#221 rgu01 opened 1 year ago
13
Emptiness check through terminal

#220 anirjoshi opened 1 year ago
1
Zoom to fit does not zoom to fit

#213 magoorden opened 1 year ago
2
Space missing in runtime error message

#212 magoorden closed 1 year ago
0
Suggest proper file extension on macOS when saving the model

#211 mikucionisaau opened 1 year ago
1
Bad values for powon line 77

#209 EstherHKim opened 1 year ago
1
Negative RAM memory statistic

#208 magoorden opened 1 year ago
0