Issues

• Position reports incorrect positions with UTF-8 characters

  bug
  UPPAALModelChecker/utap#73 · Filter by author thorulf4 opened on Oct 3, 2023

• Add human readable aliases to queries

  enhancementgood first issue
  UPPAALModelChecker/utap#72 · Filter by author thorulf4 opened on Sep 29, 2023

• backslash is not correctly escaped in string constants

  UPPAALModelChecker/utap#59 · Filter by author mikucionisaau opened on Jul 13, 2023

• Memory leak when parsing throws an exception

  bug
  UPPAALModelChecker/utap#56 · Filter by author thorulf4 opened on Jul 6, 2023

• Some expressions types do not support printing

  bug
  UPPAALModelChecker/utap#53 · Filter by author thorulf4 opened on Apr 11, 2023

• Grammar railroad diagram

  UPPAALModelChecker/utap#52 · Filter by author mingodad opened on Mar 31, 2023
  1

• Type checker does not catch double-bounded invariants

  bug
  UPPAALModelChecker/utap#11 · Filter by author RasmusRendal opened on May 19, 2022
  1

• Analysis method dependent warnings and errors

  enhancement
  UPPAALModelChecker/utap#10 · Filter by author RasmusRendal opened on May 18, 2022
  3