Skip to content

VSTlib release 2.12

Pre-release
Pre-release
Compare
Choose a tag to compare
@andrew-appel andrew-appel released this 14 Apr 16:38
· 172 commits to master since this release
lib-2.12
7a645b4

VSTlib: VST-verified C library for VST-verified clients

These program modules, in the form of Verified Software Units, may be linked with client-module code (at the .c/.o level) and proofs (at the .v level). This release of VSTlib is expected to be compatible with VST 2.11.1 and VST 2.12.

Assets 2
Loading