Revision a742719e - SEAL: compute the projection to switched systems. Some issues with intermedia... - LustreC

« Previous | Next »

Revision a742719e

Added by Pierre-Loïc Garoche over 6 years ago

ID a742719e0d68ecc9343734ea5e356a5c7f8534fe
Parent 7c8a7647
Child ec8fc65e

SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed

added
modified
copied
renamed
deleted

src
- normalization.ml (diff)
- tools
  - seal_utils.ml (diff)
  - seal_verifier.ml (diff)