{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":718024615,"defaultBranch":"main","name":"ERC4626_Workshop","ownerLogin":"Certora","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-13T08:03:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/39188753?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1699863275.0","currentOid":""},"activityList":{"items":[{"before":"750575beaba6472b92f0f1ef5fe4c9d444fc7718","after":"62501cd02cf4dfb9b0f61fcb335aa890dddd6f95","ref":"refs/heads/main","pushedAt":"2023-11-15T08:26:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b786477284de50f5fdfe178fd7ca59e1a77348dc","after":"750575beaba6472b92f0f1ef5fe4c9d444fc7718","ref":"refs/heads/main","pushedAt":"2023-11-14T10:13:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Fixing certoraRun command in conf","shortMessageHtmlLink":"Fixing certoraRun command in conf"}},{"before":"9c0a4f6d5c8e3fc1e932bcb68ae98e0a16a6904e","after":"eecea5d2579be08941c1447e55d48ded46cbd3e1","ref":"refs/heads/solutions","pushedAt":"2023-11-14T09:38:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Updating structure","shortMessageHtmlLink":"Updating structure"}},{"before":"ba4278ed1eb595532e6633367b3f480823ded30a","after":"9c0a4f6d5c8e3fc1e932bcb68ae98e0a16a6904e","ref":"refs/heads/solutions","pushedAt":"2023-11-14T09:34:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Adding Inflation attack","shortMessageHtmlLink":"Adding Inflation attack"}},{"before":"dad2ce2ae379da2bf29c421b316efe0671a4b786","after":"b786477284de50f5fdfe178fd7ca59e1a77348dc","ref":"refs/heads/main","pushedAt":"2023-11-14T08:32:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Add Links to Signup","shortMessageHtmlLink":"Add Links to Signup"}},{"before":"eb810c26d3a0bd800a2341346a30ca324aeda571","after":"ba4278ed1eb595532e6633367b3f480823ded30a","ref":"refs/heads/solutions","pushedAt":"2023-11-14T08:21:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Cleanup","shortMessageHtmlLink":"Cleanup"}},{"before":"eb3e767f27bf01fc4958a1509411215219c81829","after":"eb810c26d3a0bd800a2341346a30ca324aeda571","ref":"refs/heads/solutions","pushedAt":"2023-11-14T08:20:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Cleanup","shortMessageHtmlLink":"Cleanup"}},{"before":"55757b895a8b6ecdaca72b470a8d44c0026d06a4","after":"eb3e767f27bf01fc4958a1509411215219c81829","ref":"refs/heads/solutions","pushedAt":"2023-11-14T07:03:43.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Merge branch 'main' into solutions\n\n# Conflicts:\n#\tREADME.md\n#\tcertora/conf/Example.conf\n#\tcertora/specs/Example.spec\n#\tcertora/specs/Tutorial.spec","shortMessageHtmlLink":"Merge branch 'main' into solutions"}},{"before":"17529d7fb30c30a2b4e8c4abeef91985ac69511c","after":"dad2ce2ae379da2bf29c421b316efe0671a4b786","ref":"refs/heads/main","pushedAt":"2023-11-14T07:01:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Adding comments / cleanup","shortMessageHtmlLink":"Adding comments / cleanup"}},{"before":"0da61538928af13978bd00cf999d656cec4ba7f7","after":"17529d7fb30c30a2b4e8c4abeef91985ac69511c","ref":"refs/heads/main","pushedAt":"2023-11-13T16:53:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Fixing README","shortMessageHtmlLink":"Fixing README"}},{"before":"ff044a1bfe6c678324f464e32280ec2e4a4a4d23","after":"55757b895a8b6ecdaca72b470a8d44c0026d06a4","ref":"refs/heads/solutions","pushedAt":"2023-11-13T16:52:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Updating README.md","shortMessageHtmlLink":"Updating README.md"}},{"before":"a0db809b87a1fdb8b234f41f36496fac34f902cb","after":"0da61538928af13978bd00cf999d656cec4ba7f7","ref":"refs/heads/main","pushedAt":"2023-11-13T16:49:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Adding files for tutorial","shortMessageHtmlLink":"Adding files for tutorial"}},{"before":"b875b0639374b30dedf5631083efe8cbd9df6359","after":"ff044a1bfe6c678324f464e32280ec2e4a4a4d23","ref":"refs/heads/solutions","pushedAt":"2023-11-13T15:13:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Updating README.md","shortMessageHtmlLink":"Updating README.md"}},{"before":"7eb8b57fea87473b11e8a93bd73acb4e09389434","after":"b875b0639374b30dedf5631083efe8cbd9df6359","ref":"refs/heads/solutions","pushedAt":"2023-11-13T15:02:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Fixing readme","shortMessageHtmlLink":"Fixing readme"}},{"before":"3f1ee27d6f0c844ccaaf5193f5a62895f9dc640b","after":"7eb8b57fea87473b11e8a93bd73acb4e09389434","ref":"refs/heads/solutions","pushedAt":"2023-11-13T14:49:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teryanarmen","name":null,"path":"/teryanarmen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61996358?s=80&v=4"},"commit":{"message":"add invariants","shortMessageHtmlLink":"add invariants"}},{"before":"d177ee928f1807ddf23ee3f2ae6e19667b4480e7","after":"3f1ee27d6f0c844ccaaf5193f5a62895f9dc640b","ref":"refs/heads/solutions","pushedAt":"2023-11-13T13:37:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teryanarmen","name":null,"path":"/teryanarmen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61996358?s=80&v=4"},"commit":{"message":"update spec","shortMessageHtmlLink":"update spec"}},{"before":"7ac71fa8cfa1c2d710d3a091f4745b26118545e0","after":"d177ee928f1807ddf23ee3f2ae6e19667b4480e7","ref":"refs/heads/solutions","pushedAt":"2023-11-13T12:07:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Updating README and rule","shortMessageHtmlLink":"Updating README and rule"}},{"before":"02c5f3df31eb29dca8fd0a1ac5222e11e13ddb2a","after":"7ac71fa8cfa1c2d710d3a091f4745b26118545e0","ref":"refs/heads/solutions","pushedAt":"2023-11-13T09:09:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"removing convertToShare rule","shortMessageHtmlLink":"removing convertToShare rule"}},{"before":"df27cae130e8586db2a8a61eaad408fdb1326e63","after":"02c5f3df31eb29dca8fd0a1ac5222e11e13ddb2a","ref":"refs/heads/solutions","pushedAt":"2023-11-13T09:07:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Specs","shortMessageHtmlLink":"Specs"}},{"before":"fa0f74f80c3a291a2372bad12ec265440d654ac8","after":"df27cae130e8586db2a8a61eaad408fdb1326e63","ref":"refs/heads/solutions","pushedAt":"2023-11-13T08:14:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Adding properties","shortMessageHtmlLink":"Adding properties"}},{"before":null,"after":"fa0f74f80c3a291a2372bad12ec265440d654ac8","ref":"refs/heads/solutions","pushedAt":"2023-11-13T08:14:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Adding code","shortMessageHtmlLink":"Adding code"}},{"before":"4904a4db58fcef943766c657a8f62909be85b3b9","after":"a0db809b87a1fdb8b234f41f36496fac34f902cb","ref":"refs/heads/main","pushedAt":"2023-11-13T08:05:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"4904a4db58fcef943766c657a8f62909be85b3b9","ref":"refs/heads/main","pushedAt":"2023-11-13T08:04:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"johspaeth","name":"Johannes Späth","path":"/johspaeth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1288127?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0xNVQwODoyNjo0Mi4wMDAwMDBazwAAAAOvgdGv","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0xNVQwODoyNjo0Mi4wMDAwMDBazwAAAAOvgdGv","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0xM1QwODowNDo1OC4wMDAwMDBazwAAAAOtnC1I"}},"title":"Activity · Certora/ERC4626_Workshop"}