-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#326 In UPPAALModelChecker/UPPAAL-Meta;
- Status: Open.#324 In UPPAALModelChecker/UPPAAL-Meta;
Finding strategies enforcing "until" (AU) formulas is bugged
bugSomething isn't workingSomething isn't workingStatus: Open.#323 In UPPAALModelChecker/UPPAAL-Meta;Fails to start on Windows using OpenJDK25
bugSomething isn't workingSomething isn't workinginstallationPackaging and installationPackaging and installationWindowsWindows platformWindows platformStatus: Open.#322 In UPPAALModelChecker/UPPAAL-Meta;The UI in concrete simulator writes "-327", for no apparent reason at all chanels.
bugSomething isn't workingSomething isn't workingCosmeticMostly aesthetic issues, that does not affect usageMostly aesthetic issues, that does not affect usageStatus: Open.#321 In UPPAALModelChecker/UPPAAL-Meta;The boolean operator "imply" is broken when used with clocks in UPPAAL SMC
bugSomething isn't workingSomething isn't workingStatus: Open.#318 In UPPAALModelChecker/UPPAAL-Meta;Drop libpcre3 dependency
featureNew feature or requestNew feature or requestStatus: Open.#317 In UPPAALModelChecker/UPPAAL-Meta;Can't find resource for bundle java.util.PropertyResourceBundle, key badSuccessorNotice.Message
bugSomething isn't workingSomething isn't workingStatus: Open.#315 In UPPAALModelChecker/UPPAAL-Meta;- Status: Open.#307 In UPPAALModelChecker/UPPAAL-Meta;
Floating-point precision in simple arithmetic
bugSomething isn't workingSomething isn't workingStatus: Open.#306 In UPPAALModelChecker/UPPAAL-Meta;Blank Query-lines makes verifyta spit out wrong results and not run all queries.
bugSomething isn't workingSomething isn't workingStatus: Open.#305 In UPPAALModelChecker/UPPAAL-Meta;