diff options
| author | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-10 20:00:51 +0200 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-10 20:08:14 +0200 |
| commit | 8211f0ecdf8a65584d34ee177616dda80ebcab17 (patch) | |
| tree | 7d966cff206b2422f0e27655ca8e4e9032bc05df /archive/2021-08-24-checkpoint-timestamp | |
| parent | 05548e4e289890f318d93b90cb47730c45acc210 (diff) | |
reworked partial enforcement of verification criteria
- Expanded into two separate examples
- Moved it into the verification subsection
Diffstat (limited to 'archive/2021-08-24-checkpoint-timestamp')
0 files changed, 0 insertions, 0 deletions