Issues

• Location name shadows globally shared variable on edge guard

  feature
  UPPAALModelChecker/UPPAAL-Meta#330 · Filter by author mikucionisaau opened on Oct 9, 2026

• Trivial probability query crashes engine when shortest/fastest trace is requested

  bugconfirmed
  Bug

  UPPAALModelChecker/UPPAAL-Meta#328 · Filter by author mikucionisaau opened on Aug 19, 2026

• uppaal.veriaal.dk blocked by dns4eu

  UPPAALModelChecker/UPPAAL-Meta#327 · Filter by author KastenKlicker opened on Aug 15, 2026
  1

• Uppaal 5.1.0-beta5 crashes with SIGSEGV when loading a strategy.

  UPPAALModelChecker/UPPAAL-Meta#326 · Filter by author GameMonkey opened on May 27, 2026

• Concrete simulator displayes wrong clock values

  UPPAALModelChecker/UPPAAL-Meta#324 · Filter by author mikucionisaau opened on Nov 18, 2025

• Finding strategies enforcing "until" (AU) formulas is bugged

  bugcritical
  UPPAALModelChecker/UPPAAL-Meta#323 · Filter by author NicEastvillage opened on Nov 3, 2025
  2

• Fails to start on Windows using OpenJDK25

  buginstallationWindows
  UPPAALModelChecker/UPPAAL-Meta#322 · Filter by author mikucionisaau opened on Oct 31, 2025

• The UI in concrete simulator writes "-327", for no apparent reason at all chanels.

  bugconfirmedCosmetic
  UPPAALModelChecker/UPPAAL-Meta#321 · Filter by author nikolajrk opened on Oct 24, 2025
  1

  

• The boolean operator "imply" is broken when used with clocks in UPPAAL SMC

  bugconfirmedcritical
  Bug

  UPPAALModelChecker/UPPAAL-Meta#318 · Filter by author scarburato opened on Oct 1, 2025
  1

  

• Drop libpcre3 dependency

  feature
  UPPAALModelChecker/UPPAAL-Meta#317 · Filter by author senniraf opened on Aug 18, 2025
  1

• Can't find resource for bundle java.util.PropertyResourceBundle, key badSuccessorNotice.Message

  bugGUI
  Bug

  UPPAALModelChecker/UPPAAL-Meta#315 · Filter by author mikucionisaau opened on May 19, 2025

• Project

  UPPAALModelChecker/UPPAAL-Meta#312 · Filter by author rb757575 opened on May 9, 2025
  1

• boolean expression with a clock in a simulate query results in segfault

  UPPAALModelChecker/UPPAAL-Meta#307 · Filter by author GameMonkey opened on Apr 9, 2025

• Floating-point precision in simple arithmetic

  bugconfirmedSMC
  Bug

  UPPAALModelChecker/UPPAAL-Meta#306 · Filter by author mikucionisaau opened on Mar 13, 2025

• Blank Query-lines makes verifyta spit out wrong results and not run all queries.

  bugconfirmed
  Bug

  UPPAALModelChecker/UPPAAL-Meta#305 · Filter by author GameMonkey opened on Feb 27, 2025

• Clocks' values are wrong in the concrete simulator

  bugconfirmedGUIsimulator
  UPPAALModelChecker/UPPAAL-Meta#298 · Filter by author rgu01 opened on Oct 15, 2024
  2

• Plotting array of doubles causes values to be truncated

  UPPAALModelChecker/UPPAAL-Meta#297 · Filter by author AstridHornBrorholt opened on Oct 11, 2024

• MalFormedJsonException

  bugconfirmedGUIwaiting for release
  UPPAALModelChecker/UPPAAL-Meta#296 · Filter by author NicolasBedon opened on Oct 10, 2024
  1

• under <Strategy> query does not work as expected

  bugconfirmedcriticalstratego
  UPPAALModelChecker/UPPAAL-Meta#295 · Filter by author mikaelbdj opened on Oct 10, 2024

• NullPointerException when running Concrete Simulator

  bugconfirmedGUIstratego
  UPPAALModelChecker/UPPAAL-Meta#294 · Filter by author mikaelbdj opened on Oct 10, 2024

• "Cannot generate a trace" error when priorities over processes are used

  bugconfirmed
  UPPAALModelChecker/UPPAAL-Meta#292 · Filter by author mikucionisaau opened on Oct 3, 2024

• Unspecified delay due to missing invariant and exponential rate bug

  bugconfirmed
  UPPAALModelChecker/UPPAAL-Meta#291 · Filter by author JacobGuld opened on Sep 26, 2024
  

• SIGSEGV when loading model: Urgent Channel using helper function with exists expressions

  bugconfirmed
  UPPAALModelChecker/UPPAAL-Meta#286 · Filter by author GameMonkey opened on Sep 11, 2024
  2

  

• Generate finite counter traces

  feature
  UPPAALModelChecker/UPPAAL-Meta#283 · Filter by author amiratarek3007 opened on Jul 4, 2024

• Don't run autocompletion on model comments in declarations

  feature
  UPPAALModelChecker/UPPAAL-Meta#280 · Filter by author magoorden opened on Jun 21, 2024