search

sybila / parasim

Tool for paralell simulations and verification
GNU General Public License v3.0
3 stars 1 forks source link

Monitor STL* #135

Closed tomvej closed 11 years ago

tomvej commented 11 years ago

Add support for STL* -- rewrite Formulae and such to enable use of STL* (which is direct enhancement of STL).

tomvej commented 11 years ago

Developed in separate branch (still need to find how to load it to github).

tomvej commented 11 years ago

Imported changes into master. Parasim now checks whether the formula is STL* and chooses monitor accordingly.