Skip to content

Release for MCC 2020, the MCC does Paris
Compare
Choose a tag to compare
@dalzilio dalzilio released this 22 Nov 10:56
· 115 commits to master since this release
v1.0.0
18771ad

We have updated the mcc tool in order to support the declaration of
finiteintrange types in PNML. as well
as the declaration of Partition and PartitionElement. This means
that we can now unfold model VehicularWifi (surprise model in 2019)

Assets 5
Loading