Issues

• Weird computation of support and support potential

  ModelInference/texada#86 · Filter by author ishcha opened on Oct 11, 2023

• Remove dependency on SPOT code in spot-2.x

  ModelInference/texada#83 · Filter by author carolemieux opened on Mar 8, 2022

• Create Buchi Automata-Based Checker

  enhancement
  ModelInference/texada#80 · Filter by author bestchai opened on May 26, 2020

• Using event sets to concisely represent multiple formula instances

  enhancement
  ModelInference/texada#77 · Filter by author bestchai opened on May 26, 2020

• Optimization to prune the instantiations search space

  enhancement
  ModelInference/texada#76 · Filter by author bestchai opened on May 26, 2020

• Regexes as variables

  enhancement
  ModelInference/texada#72 · Filter by author bestchai opened on May 26, 2020

• More elucidating messages after typos in command line arguments

  enhancement
  ModelInference/texada#71 · Filter by author bestchai opened on May 26, 2020

• Fix bug in JSON output

  bug
  ModelInference/texada#70 · Filter by author bestchai opened on May 26, 2020

• On website, allow user to download JSON output

  enhancement
  ModelInference/texada#69 · Filter by author bestchai opened on May 26, 2020

• Coordinate multiple prop types with config file args overriding command-line args

  bug
  ModelInference/texada#68 · Filter by author bestchai opened on May 26, 2020

• Add option to disable memo

  enhancement
  ModelInference/texada#66 · Filter by author bestchai opened on May 26, 2020

• In checkers, add hard fail

  bug
  ModelInference/texada#65 · Filter by author bestchai opened on May 26, 2020

• Rename variables in Quarry to be unique

  enhancement
  ModelInference/texada#63 · Filter by author bestchai opened on May 26, 2020

• Create a script to extract documented property types in the repo into a json file

  enhancement
  ModelInference/texada#62 · Filter by author bestchai opened on May 26, 2020

• Website support for multiple mined property types

  enhancement
  ModelInference/texada#60 · Filter by author bestchai opened on May 26, 2020

• Front end redesign

  enhancement
  ModelInference/texada#50 · Filter by author bestchai opened on May 26, 2020

• Parallelize instantiation checking w/ pre-generated instantiations

  enhancement
  ModelInference/texada#48 · Filter by author bestchai opened on May 26, 2020

• Script to update command line usage in README.md

  enhancement
  ModelInference/texada#44 · Filter by author bestchai opened on May 26, 2020

• Clean up Map Trace Checker

  enhancement
  ModelInference/texada#42 · Filter by author bestchai opened on May 26, 2020

• Upload binaries to the bitbucket "downloads" page

  enhancement
  ModelInference/texada#32 · Filter by author bestchai opened on May 26, 2020

• Update Texada to be compatible with SPOT 1.99.2

  bugenhancement
  ModelInference/texada#31 · Filter by author bestchai opened on May 26, 2020
  5

• Re-formulate memoization in checkers (expiry scheme/order of checking?)

  suggestion
  ModelInference/texada#29 · Filter by author bestchai opened on May 26, 2020

• Extend map memoization of ffo/flo to nenoform formulae as well

  enhancement
  ModelInference/texada#27 · Filter by author bestchai opened on May 26, 2020

• Memoization across property types

  suggestion
  ModelInference/texada#26 · Filter by author bestchai opened on May 26, 2020

• Invariant Semantics

  enhancement
  ModelInference/texada#25 · Filter by author bestchai opened on May 26, 2020