Project

General

Profile

« Previous | Next » 

Revision a742719e

IDa742719e0d68ecc9343734ea5e356a5c7f8534fe
Parent 7c8a7647
Child ec8fc65e

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

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences