Revision 58fd528a - Added some missing locations in tiny plugin - LustreC

« Previous | Next »

Revision 58fd528a

ID	58fd528a461b2abc33a901e4c5693fa956c73385
Parent	f0195e96
Child	8c36178f

Added by Pierre-Loïc Garoche about 1 year ago

Added some missing locations in tiny plugin

Files

added
modified
copied
renamed
deleted

View differences

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