UPPAALModelChecker/utap

Issues

• Position reports incorrect positions with UTF-8 characters

  #73 opened a year ago by thorulf4
  0

• Add human readable aliases to queries

  #72 opened a year ago by thorulf4
  0

• backslash is not correctly escaped in string constants

  #59 opened 2 years ago by mikucionisaau
  0

• Memory leak when parsing throws an exception

  #56 opened 2 years ago by thorulf4
  0

• Grammar railroad diagram

  #52 opened 2 years ago by mingodad
  1

• BlockStatement freed twice on syntax error in a block

  #51 opened 2 years ago by thorulf4
  0

• Some expressions types do not support printing

  #53 opened 2 years ago by thorulf4
  0

• Missing definitions for declared functions

  #48 opened 2 years ago by thorulf4
  0

• Analysis method dependent warnings and errors

  #10 opened 3 years ago by RasmusRendal
  3

• Readme's build guide is outdated

  #35 opened 2 years ago by thorulf4
  0

• The output of Tracer utility is inconsistent with UPPAAL

  #31 opened 2 years ago by 771767383
  1

• Can't find package libxml2

  #34 opened 2 years ago by ThomasMG
  8

• Wrong version of bison

  #25 opened 2 years ago by Simasjuoz
  1

• writeXMLFile ignores exponential rates

  #22 opened 2 years ago by dannybpoulsen
  0

• Type checker does not catch double-bounded invariants

  #11 opened 3 years ago by RasmusRendal
  1

• tracer utility does not support verifyta trace format

  #1 opened 3 years ago by pacalet
  2