Skip to content

v0.11.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 30 Jun 20:35
v0.11.1
24d7919
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Created on: 30.06.2021 - 20:35:32

New Features

  • Added matching operators
  • Added allocations
  • Added more initializers
  • PSL constructs (VerificationUnit, VerificationMode, VerificationProperty, DefaultClock)

Changes

  • Reworked RangedScalarType.
  • Reworked AttributeSpecification.
  • Renamed Library to LibraryStatement (or is it a LibraryClause`?)
  • Renamed [sS]ubType to [sS]ubtype
  • Simplified unit tests

Bug Fixes

  • Exchanged actual and expected parameter in assert calls.
Assets 2
Loading