Project

General

Profile

« Previous | Next » 

Revision 993e31e1

ID993e31e148dc90f5e63a120283f2d465329df843
Parent 80bbb363
Child ff4dc786

Added by Christoph Egger almost 4 years ago

allow arbitrary formulas in A(φ U ψ) and E(…)

previously only late parser steps were used so modalities were allowed
but not e.g. disjunctions. With this change all of the
CTLComparisonBenchmarks formulas successfully parse

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences