Revision 25537a17 - Updated tiny plugin to deal with boolean variables, since the latest extensio... - LustreC

« Previous | Next »

Revision 25537a17

Added by Pierre-Loïc Garoche about 2 years ago

ID 25537a173dcca28fc10e0c7f6f85a5f8af503635
Parent b43b8eb5
Child 820616b1

Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!

added
modified
copied
renamed
deleted

src
- tools
  - tiny
    - tiny_utils.ml (diff)
    - tiny_verifier.ml (diff)