{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":363646924,"defaultBranch":"main","name":"rapid","ownerLogin":"vprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-02T12:34:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6704909?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1680796637.0","currentOid":""},"activityList":{"items":[{"before":"2d1b38e67bf80b8e341a4900bf2e198fb051f0af","after":"0026416f75ad21dca1c2722014b2505e3053dcb4","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-10-30T22:08:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"final commit from Macbook before handing back","shortMessageHtmlLink":"final commit from Macbook before handing back"}},{"before":"e1c97642bf9fe6c8f6401d7bdceb12f1aa406974","after":"2d1b38e67bf80b8e341a4900bf2e198fb051f0af","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-07-03T06:25:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"updating examples before latest solver run","shortMessageHtmlLink":"updating examples before latest solver run"}},{"before":"d540426eb1f83f4145b6862cdad31cbebe43ba34","after":"e1c97642bf9fe6c8f6401d7bdceb12f1aa406974","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-06-27T10:52:38.719Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"adding list examples with lower bound of length 10","shortMessageHtmlLink":"adding list examples with lower bound of length 10"}},{"before":"14bfaa5a8f77fb6299dbdb570217f111f7d8edc2","after":"d540426eb1f83f4145b6862cdad31cbebe43ba34","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-06-26T15:34:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"expanding scope of chain axioms that we attempt to prove and fixing issues in benchmarks","shortMessageHtmlLink":"expanding scope of chain axioms that we attempt to prove and fixing i…"}},{"before":"98dc7588564301e6f67f9c1e215ef5d8a0e025b7","after":"14bfaa5a8f77fb6299dbdb570217f111f7d8edc2","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-06-21T14:11:21.611Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"can now strengthen the semantics of if statements","shortMessageHtmlLink":"can now strengthen the semantics of if statements"}},{"before":"a4011043c6e4fbdcc87a1192f2a1243cc932c8bc","after":"98dc7588564301e6f67f9c1e215ef5d8a0e025b7","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-06-02T12:07:55.855Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"updating Rapid to support ESBMC. Branch also to be used for list programs POPL","shortMessageHtmlLink":"updating Rapid to support ESBMC. Branch also to be used for list prog…"}},{"before":null,"after":"a4011043c6e4fbdcc87a1192f2a1243cc932c8bc","ref":"refs/heads/esbmc-rapid","pushedAt":"2023-04-06T15:57:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"adding ability to process assume and assert statements. these are treated as axioms and conjectures","shortMessageHtmlLink":"adding ability to process assume and assert statements. these are tre…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADo3qTxgA","startCursor":null,"endCursor":null}},"title":"Activity · vprover/rapid"}