{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":349269831,"defaultBranch":"master","name":"secav-prover","ownerLogin":"fkj","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-19T01:51:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/864131?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1712741824.0","currentOid":""},"activityList":{"items":[{"before":"832e8de15bedbb8e67b74891bd0363350f6dc14b","after":"0ea623be73f272b16e0e88c150ae28bbeece7922","ref":"refs/heads/master","pushedAt":"2024-04-10T09:11:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Bump version to 1.0.1.0.","shortMessageHtmlLink":"Bump version to 1.0.1.0."}},{"before":"e67be34ae7fa7778260d46c5d72098695e751561","after":"832e8de15bedbb8e67b74891bd0363350f6dc14b","ref":"refs/heads/master","pushedAt":"2024-04-10T09:03:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Fix bug in proof extraction of consecutive Delta rules.\n\nThe bug occurred when several Delta rules were applied in the same\nprover round, and caused generated function names to not be fresh\nbeginning with the second Delta rule of the round.\nThe remainder of the proof was unaffected, starting with the first\nExt rule after the Alpha-Delta phase.\n\nThe bug was due to the fact that the fresh name generated by each\nDelta rule was not carried forward internally in the round, but\nonly \"re-discovered\" after the end of the phase.\n\nThe bug did not affect the prover algorithm, only the generation\nof proof certificates. Verification of proof certificates for\nformulas affected by the bug would fail despite the prover\nfinding a proof, since the proof certificate would not\ncontain a valid proof.","shortMessageHtmlLink":"Fix bug in proof extraction of consecutive Delta rules."}},{"before":"ee82ef1aebc4f3b746ce7593e8ba370f19105321","after":"e67be34ae7fa7778260d46c5d72098695e751561","ref":"refs/heads/master","pushedAt":"2024-03-21T15:10:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Add link to the repo in README.","shortMessageHtmlLink":"Add link to the repo in README."}},{"before":"e6ee70298b955a34baf7a77c4b1974f03ccabedf","after":"ee82ef1aebc4f3b746ce7593e8ba370f19105321","ref":"refs/heads/master","pushedAt":"2023-07-27T13:44:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Add explanation of how to allow Docker to write proof files.","shortMessageHtmlLink":"Add explanation of how to allow Docker to write proof files."}},{"before":"9f9183c977bf454da87e08d171fff4e56aec1174","after":"e6ee70298b955a34baf7a77c4b1974f03ccabedf","ref":"refs/heads/master","pushedAt":"2023-07-27T13:31:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Add explanation of Docker usage to README.","shortMessageHtmlLink":"Add explanation of Docker usage to README."}},{"before":"2ff2ee695db78361437f37c2a4bfbe2148e16964","after":"9f9183c977bf454da87e08d171fff4e56aec1174","ref":"refs/heads/master","pushedAt":"2023-07-27T10:53:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Change Dockerfile to use multistage builds to minimize image size.","shortMessageHtmlLink":"Change Dockerfile to use multistage builds to minimize image size."}},{"before":"8b7bc89a9c350fb33b671cf53bfb37e5218c03d7","after":"2ff2ee695db78361437f37c2a4bfbe2148e16964","ref":"refs/heads/master","pushedAt":"2023-07-27T10:20:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Add a Dockerfile for building the prover.","shortMessageHtmlLink":"Add a Dockerfile for building the prover."}},{"before":"1661cc3ed9eacda785dddaed2702a3f0cf559181","after":"8b7bc89a9c350fb33b671cf53bfb37e5218c03d7","ref":"refs/heads/master","pushedAt":"2023-07-26T09:12:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fkj","name":"Frederik Krogsdal Jacobsen","path":"/fkj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/864131?s=80&v=4"},"commit":{"message":"Update Haskell library version.","shortMessageHtmlLink":"Update Haskell library version."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELNeKvAA","startCursor":null,"endCursor":null}},"title":"Activity · fkj/secav-prover"}