This repository was archived by the owner on May 30, 2025. It is now read-only.
This repository was archived by the owner on May 30, 2025. It is now read-only.
Vehicle integration for property specification #11
Description
Metadata
Metadata
Assignees
Labels
Type
Fields
Give feedbackNo fields configured for issues without a type.
Proposal: Vehicle provides a SMT-LIB compilation of the specifications expressed in its format; we could provide a property import for .vcl files as well as a plain text editor (like Generic SMT) that can call the Vehicle compiler.