Code

HOA path formulas#129

Code

Open

kleinj wants to merge 8 commits intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom kleinj:pr/hoa-path-expressionskleinj/prism:pr/hoa-path-expressionsCopy head branch name to clipboard

+2,738-1,069

Commits

Commits on Mar 26, 2020

• Explicit MDP checker: allow Streett acceptance for LTL model checking

  Show description for 828736d
  kleinj

  committed
  828736d

  Copy full SHA for 828736d

• PropertiesFile: getters for ModelInfo and ModulesFile

  kleinj

  committed
  112a48f

  Copy full SHA for 112a48f

• ModulesFile, PropertiesFile: Store location (path to file), make accessible

  Show description for be44044
  kleinj

  committed
  be44044

  Copy full SHA for be44044

• PathUtil: Some static helper methods for dealing with paths

  kleinj

  committed
  bb5460c

  Copy full SHA for bb5460c

• PrismPaths helper: Resolve file system specifications, relative to a model or properties file.

  Show description for ae307b3
  kleinj

  committed
  ae307b3

  Copy full SHA for ae307b3

• PrismParser: refactor double quoted identifiers

  Show description for 618d69a
  kleinj

  committed
  618d69a

  Copy full SHA for 618d69a

• parser.ast: add QuotedString element

  Show description for 31c7580
  kleinj

  committed
  31c7580

  Copy full SHA for 31c7580

• Support ExpressionHOA for HOA-based path expressions

  Show description for 1b67bbb
  kleinj

  committed
  1b67bbb

  Copy full SHA for 1b67bbb