{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":766948097,"defaultBranch":"main","name":"formverif2024","ownerLogin":"iwashis","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-04T12:35:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/47927235?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1712488506.0","currentOid":""},"activityList":{"items":[{"before":"ef906a8395d31dcd1e31f3d74e4ffbb7c2cca36f","after":null,"ref":"refs/heads/revert-7-feature/update-lec5","pushedAt":"2024-04-07T11:15:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"}},{"before":null,"after":"ef906a8395d31dcd1e31f3d74e4ffbb7c2cca36f","ref":"refs/heads/revert-7-feature/update-lec5","pushedAt":"2024-04-07T11:11:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Revert \"Update lec5 (#7)\"\n\nThis reverts commit f4807ec50c984a6647501b694042d880f6902bfc.","shortMessageHtmlLink":"Revert \"Update lec5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2229717319\" data-permission-text=\"Title is private\" data-url=\"https://github.com/iwashis/formverif2024/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/iwashis/formverif2024/pull/7/hovercard\" href=\"https://github.com/iwashis/formverif2024/pull/7\">#7</a>)\""}},{"before":"047e7d7e6cb3614c5d0dbd96d6f9a3d134055641","after":"f4807ec50c984a6647501b694042d880f6902bfc","ref":"refs/heads/main","pushedAt":"2024-04-07T11:11:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Update lec5 (#7)\n\nCo-authored-by: Tomasz Brengos <tomasz@genlambda.com>","shortMessageHtmlLink":"Update lec5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2229717319\" data-permission-text=\"Title is private\" data-url=\"https://github.com/iwashis/formverif2024/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/iwashis/formverif2024/pull/7/hovercard\" href=\"https://github.com/iwashis/formverif2024/pull/7\">#7</a>)"}},{"before":null,"after":"b8eb542ecd6ad84ee45adf7bea43835ce1cc3d9d","ref":"refs/heads/feature/update-lec5","pushedAt":"2024-04-07T11:11:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Update lec5","shortMessageHtmlLink":"Update lec5"}},{"before":"9a6112e372a610dde7aebcc4078cb69f7f7a7415","after":"047e7d7e6cb3614c5d0dbd96d6f9a3d134055641","ref":"refs/heads/main","pushedAt":"2024-03-25T18:05:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Lec","shortMessageHtmlLink":"Lec"}},{"before":"c546df1ab6b4be1a549641105bcfb807343551c1","after":"9a6112e372a610dde7aebcc4078cb69f7f7a7415","ref":"refs/heads/main","pushedAt":"2024-03-25T15:19:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Fix Lecture 5 md and Lec 4.5","shortMessageHtmlLink":"Fix Lecture 5 md and Lec 4.5"}},{"before":"a1b5d93dc5fa61a299dbe21bca11e3a87fa2515f","after":"c546df1ab6b4be1a549641105bcfb807343551c1","ref":"refs/heads/main","pushedAt":"2024-03-25T15:13:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Fix Lecture 5 md","shortMessageHtmlLink":"Fix Lecture 5 md"}},{"before":"eab2517095a91251b858cc36e5e98464fb20cdc1","after":"a1b5d93dc5fa61a299dbe21bca11e3a87fa2515f","ref":"refs/heads/main","pushedAt":"2024-03-24T19:02:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Upgrade Lec5","shortMessageHtmlLink":"Upgrade Lec5"}},{"before":"becc8df162907cff18135493c29ad840d7460a54","after":"eab2517095a91251b858cc36e5e98464fb20cdc1","ref":"refs/heads/main","pushedAt":"2024-03-24T17:02:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add Lecture 5 presentation and starter file","shortMessageHtmlLink":"Add Lecture 5 presentation and starter file"}},{"before":null,"after":"52b083ab71f9d1003ad1e3614626c0098e101e81","ref":"refs/heads/feature/soundness_theorem_full","pushedAt":"2024-03-23T13:42:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"d46f6af0a8f9cb94c38f670a9c39393f28a03fb6","after":"becc8df162907cff18135493c29ad840d7460a54","ref":"refs/heads/main","pushedAt":"2024-03-18T18:21:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add tutorials","shortMessageHtmlLink":"Add tutorials"}},{"before":"14464b5a973626ff0269c43f26cf83cf1d4b982e","after":"d46f6af0a8f9cb94c38f670a9c39393f28a03fb6","ref":"refs/heads/main","pushedAt":"2024-03-18T17:09:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add proj res and Lec4 and Lec5","shortMessageHtmlLink":"Add proj res and Lec4 and Lec5"}},{"before":"c3c2c5877e47dbb631d5bdf00b6b4669c14ceade","after":"14464b5a973626ff0269c43f26cf83cf1d4b982e","ref":"refs/heads/main","pushedAt":"2024-03-17T16:16:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add proj res","shortMessageHtmlLink":"Add proj res"}},{"before":"b3db00a139c41452de4781282debb6ac02754c48","after":"c3c2c5877e47dbb631d5bdf00b6b4669c14ceade","ref":"refs/heads/main","pushedAt":"2024-03-17T15:36:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add proj res","shortMessageHtmlLink":"Add proj res"}},{"before":"4d752a6513638079049fe9895a5f4c2d52f60dd0","after":"b3db00a139c41452de4781282debb6ac02754c48","ref":"refs/heads/main","pushedAt":"2024-03-17T10:38:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add draft of lec4","shortMessageHtmlLink":"Add draft of lec4"}},{"before":"869e3d3644c7e712dd3621a44a88adf9d6ae8c3f","after":"4d752a6513638079049fe9895a5f4c2d52f60dd0","ref":"refs/heads/main","pushedAt":"2024-03-16T16:51:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Reduce store related types (#6)\n\nCo-authored-by: Tomasz Brengos <tomasz@genlambda.com>","shortMessageHtmlLink":"Reduce store related types (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2190132631\" data-permission-text=\"Title is private\" data-url=\"https://github.com/iwashis/formverif2024/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/iwashis/formverif2024/pull/6/hovercard\" href=\"https://github.com/iwashis/formverif2024/pull/6\">#6</a>)"}},{"before":null,"after":"dedf67689b01dcf93ebe1458e38dd415a592d842","ref":"refs/heads/feature/simplify-store-manipulations","pushedAt":"2024-03-16T16:50:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Reduce store related types","shortMessageHtmlLink":"Reduce store related types"}},{"before":"515e36983a556c33917bcb0e16e6cb178832cec7","after":"869e3d3644c7e712dd3621a44a88adf9d6ae8c3f","ref":"refs/heads/main","pushedAt":"2024-03-16T11:46:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Finish lemma5 (#5)\n\nCo-authored-by: Tomasz Brengos <tomasz@genlambda.com>","shortMessageHtmlLink":"Finish lemma5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2189929873\" data-permission-text=\"Title is private\" data-url=\"https://github.com/iwashis/formverif2024/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/iwashis/formverif2024/pull/5/hovercard\" href=\"https://github.com/iwashis/formverif2024/pull/5\">#5</a>)"}},{"before":null,"after":"1b21dc84ab1ee850278d36ff24fa9624105aa95b","ref":"refs/heads/feature/add-lemma5","pushedAt":"2024-03-16T11:46:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Finish lemma5","shortMessageHtmlLink":"Finish lemma5"}},{"before":"5c4e92a88e6dadd0d88870c8c0657581ea4771eb","after":"515e36983a556c33917bcb0e16e6cb178832cec7","ref":"refs/heads/main","pushedAt":"2024-03-16T11:33:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Fix small-step semantics","shortMessageHtmlLink":"Fix small-step semantics"}},{"before":"235137b12f636f0b054ed19e15ab9f6d765cd8b5","after":"5c4e92a88e6dadd0d88870c8c0657581ea4771eb","ref":"refs/heads/main","pushedAt":"2024-03-15T17:33:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Fix Projects assignment","shortMessageHtmlLink":"Fix Projects assignment"}},{"before":"f5f2fb939be6eac974954ebe8415a81e71e0544b","after":"235137b12f636f0b054ed19e15ab9f6d765cd8b5","ref":"refs/heads/main","pushedAt":"2024-03-11T20:01:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add example_project changes","shortMessageHtmlLink":"Add example_project changes"}},{"before":"de642dc37529498c861afb85727f9b4a7beaeae9","after":"f5f2fb939be6eac974954ebe8415a81e71e0544b","ref":"refs/heads/main","pushedAt":"2024-03-11T17:35:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"lecture 3","shortMessageHtmlLink":"lecture 3"}},{"before":"3060665b7d1e8860cf374019e39ad13b38cfae44","after":"de642dc37529498c861afb85727f9b4a7beaeae9","ref":"refs/heads/main","pushedAt":"2024-03-11T17:16:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add lecture3, add reservation to one of the projects list","shortMessageHtmlLink":"Add lecture3, add reservation to one of the projects list"}},{"before":"1da06982b375ee6fc9e9e5396989847ce887e6bb","after":"3060665b7d1e8860cf374019e39ad13b38cfae44","ref":"refs/heads/main","pushedAt":"2024-03-10T17:08:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Add Lecture3.md","shortMessageHtmlLink":"Add Lecture3.md"}},{"before":"797ce41ba95059de41e006a16c331a359c3cff0c","after":null,"ref":"refs/heads/feature/soundness_theorem","pushedAt":"2024-03-10T09:20:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"}},{"before":"3182b46c83583891fe79daa1ccefacc6a3d1e123","after":"1da06982b375ee6fc9e9e5396989847ce887e6bb","ref":"refs/heads/main","pushedAt":"2024-03-10T09:20:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Feature/soundness theorem (#4)\n\n* Fix semantics, add soundness without proof\r\n\r\n* Remove concat\r\n\r\n* Half proof\r\n\r\n* Remove rewrite pragrmas and imports\r\n\r\n* Minor fixes\r\n\r\n* Start of lemma5\r\n\r\n---------\r\n\r\nCo-authored-by: Tomasz Brengos <tomasz@genlambda.com>","shortMessageHtmlLink":"Feature/soundness theorem (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2177619665\" data-permission-text=\"Title is private\" data-url=\"https://github.com/iwashis/formverif2024/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/iwashis/formverif2024/pull/4/hovercard\" href=\"https://github.com/iwashis/formverif2024/pull/4\">#4</a>)"}},{"before":"a5552424c9ba376193c40344a4f283757e44d73e","after":"797ce41ba95059de41e006a16c331a359c3cff0c","ref":"refs/heads/feature/soundness_theorem","pushedAt":"2024-03-10T09:20:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Start of lemma5","shortMessageHtmlLink":"Start of lemma5"}},{"before":"9cb07523165c1e2d33b3f9860965892b0ca513c5","after":"a5552424c9ba376193c40344a4f283757e44d73e","ref":"refs/heads/feature/soundness_theorem","pushedAt":"2024-03-09T17:37:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Minor fixes","shortMessageHtmlLink":"Minor fixes"}},{"before":"12884d7efcbcd357a484e3bf3eca8c43232a23ab","after":"9cb07523165c1e2d33b3f9860965892b0ca513c5","ref":"refs/heads/feature/soundness_theorem","pushedAt":"2024-03-09T17:21:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iwashis","name":null,"path":"/iwashis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47927235?s=80&v=4"},"commit":{"message":"Remove rewrite pragrmas and imports","shortMessageHtmlLink":"Remove rewrite pragrmas and imports"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEKhM_IQA","startCursor":null,"endCursor":null}},"title":"Activity · iwashis/formverif2024"}