{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":51374618,"defaultBranch":"master","name":"TLS13Tamarin","ownerLogin":"tls13tamarin","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-02-09T15:13:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17144134?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1633967855.973706","currentOid":""},"activityList":{"items":[{"before":"d14085adbe708cb453d2db739f7b004a706b5d0e","after":"67262370672b2cbcc461179e9d3e87eddcfcb999","ref":"refs/heads/master","pushedAt":"2023-08-19T18:06:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cascremers","name":"Cas Cremers","path":"/cascremers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1481528?s=80&v=4"},"commit":{"message":"Fixing post-proof cleanup bug.\n\nAfter the TLS 1.3 proofs were constructed and saved as separate files, some models were cleaned up a bit for final release. In the process, a bug was introduced in a lemma, requiring a wrong argument order that in fact does not hold.\n\nThis was later discovered and reported by Thom Wiggers when building on these models for the KEMTLS models. Due to an internal miscommunication this was never fixed until now.\n\nThis commit reverts the incorrectly rewritten property back to the one reported in the original paper and saved as part of the established TLS 1.3 proofs.","shortMessageHtmlLink":"Fixing post-proof cleanup bug."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADbjJrfAA","startCursor":null,"endCursor":null}},"title":"Activity · tls13tamarin/TLS13Tamarin"}