VCC Cheat Sheet issueshttps://git.tu-berlin.de/cqs7520/vcc-cheat-sheet/-/issues2021-07-10T10:02:17Zhttps://git.tu-berlin.de/cqs7520/vcc-cheat-sheet/-/issues/11\nested(x) vs. x->\closed2021-07-10T10:02:17ZJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.de\nested(x) vs. x->\closedHow does `\nested(x)` fit into the sequential object lifecyle? How does `\nested(x)` relate to `x->\closed`?How does `\nested(x)` fit into the sequential object lifecyle? How does `\nested(x)` relate to `x->\closed`?Verification AssignmentJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.deJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.dehttps://git.tu-berlin.de/cqs7520/vcc-cheat-sheet/-/issues/8Sequential Object Lifecycle Diagram2021-07-10T10:01:24ZJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.deSequential Object Lifecycle DiagramThe diagram shown on the slide titled "Sequential Object Life-Cycle" in lecture 11.1 is very heplful in visualizing states of ownership. It should be integrated into the section about type invariants and ownership.The diagram shown on the slide titled "Sequential Object Life-Cycle" in lecture 11.1 is very heplful in visualizing states of ownership. It should be integrated into the section about type invariants and ownership.Verification AssignmentJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.deJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.dehttps://git.tu-berlin.de/cqs7520/vcc-cheat-sheet/-/issues/5Alphabetic Index2021-06-03T11:36:08ZJulius Hans Adam Tonnerjulius.tonner@campus.tu-berlin.deAlphabetic IndexAll directives should be summarized in an alphabeticly ordered index at the end of the document. If possible, the index should also link to the sections explaining the corresponding directives.All directives should be summarized in an alphabeticly ordered index at the end of the document. If possible, the index should also link to the sections explaining the corresponding directives.Verification Assignment