Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / seal / seal_verifier.ml @ 81229f63

History | View | Annotate | Download (4.08 KB)

# Date Author Comment
81229f63 07/11/2019 06:39 AM Pierre-Loïc Garoche

Seal-extract: first serious version. Guards are gathered as a single expression

8c934ccd 07/04/2019 06:35 AM Pierre-Loïc Garoche

lustrev seal: ongoing work on extraction as dynamical system. Still not working yet

d5ec9f63 03/18/2019 04:31 PM Pierre-Loïc Garoche

Minor modif on seal

6517aa0e 03/18/2019 03:34 PM Pierre-Loïc Garoche

Reorganizing folders