v0.11.1
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
toLibraryStatement
(or is it a LibraryClause`?) - Renamed
[sS]ubType
to[sS]ubtype
- Simplified unit tests
Bug Fixes
- Exchanged actual and expected parameter in assert calls.