v3.0.0

Vélus 3.0 introduces syntax and semantics for Lustre (previous versions only treated the normalized form of Lustre). It includes a verified normalization pass that transforms Lustre programs into NLustre programs.

POPL'20 Artifact

This is the version of Vélus submitted to the artifact evaluation of POPL'20.