Search results

Position reports incorrect positions with UTF-8 characters

bugSomething isn't workingSomething isn't working

Status: Open.

#73 In UPPAALModelChecker/utap;

· thorulf4 opened on Oct 3, 2023

Add human readable aliases to queries

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#72 In UPPAALModelChecker/utap;

· thorulf4 opened on Sep 29, 2023

backslash is not correctly escaped in string constants

Status: Open.

#59 In UPPAALModelChecker/utap;

· mikucionisaau opened on Jul 13, 2023

Memory leak when parsing throws an exception

bugSomething isn't workingSomething isn't working

Status: Open.

#56 In UPPAALModelChecker/utap;

· thorulf4 opened on Jul 6, 2023

Some expressions types do not support printing

bugSomething isn't workingSomething isn't working

Status: Open.

#53 In UPPAALModelChecker/utap;

· thorulf4 opened on Apr 11, 2023

Grammar railroad diagram

Status: Open.

#52 In UPPAALModelChecker/utap;

· mingodad opened on Mar 31, 2023

Type checker does not catch double-bounded invariants

bugSomething isn't workingSomething isn't working

Status: Open.

#11 In UPPAALModelChecker/utap;

· RasmusRendal opened on May 19, 2022

Analysis method dependent warnings and errors

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In UPPAALModelChecker/utap;

· RasmusRendal opened on May 18, 2022