Skip to content

VerCors 1.1.0
Compare
Choose a tag to compare
@pieter-bos pieter-bos released this 18 Oct 12:25
· 3927 commits to master since this release
v1.1.0
322be1a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Features

  • Add syntax for slicing sequences and updating them functionally, by @wytseoortwijn.

Bugfixes

  • Compiled viper files were not being cached correctly in travis, now they are.
Assets 3
Loading