{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":395762117,"defaultBranch":"main","name":"reachability","ownerLogin":"TiarkRompf","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-08-13T18:54:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/365911?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1628880888.269799","currentOid":""},"activityList":{"items":[{"before":"10adf400969e32192ed4925685450669bdd1601f","after":"180edf62a5367fa6a300199f0f876ac4aaff4ad0","ref":"refs/heads/main","pushedAt":"2024-04-17T21:50:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"Aritfact: dedicated checking folder (#9)\n\n* sync\r\n\r\n* add pdf link\r\n\r\n* update readme\r\n\r\n* minor\r\n\r\n* minor\r\n\r\n---------\r\n\r\nCo-authored-by: Songlin <jia137@purdue.edu>","shortMessageHtmlLink":"Aritfact: dedicated checking folder (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2239056751\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TiarkRompf/reachability/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TiarkRompf/reachability/pull/9/hovercard\" href=\"https://github.com/TiarkRompf/reachability/pull/9\">#9</a>)"}},{"before":"485f3525eb210648c0344f61e7692337ec1e7829","after":"10adf400969e32192ed4925685450669bdd1601f","ref":"refs/heads/main","pushedAt":"2024-04-11T19:58:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"type checking release (#8)\n\n* type checking release\r\n\r\n* readme sync\r\n\r\n---------\r\n\r\nCo-authored-by: Songlin <jia137@purdue.edu>","shortMessageHtmlLink":"type checking release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237936884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TiarkRompf/reachability/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TiarkRompf/reachability/pull/8/hovercard\" href=\"https://github.com/TiarkRompf/reachability/pull/8\">#8</a>)"}},{"before":"0c3fc68fdc0019f51bc1ed03e63cfb2cc8e24212","after":"485f3525eb210648c0344f61e7692337ec1e7829","ref":"refs/heads/main","pushedAt":"2024-01-05T17:12:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"remove unused admitted lemma (#7)","shortMessageHtmlLink":"remove unused admitted lemma (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2066694748\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TiarkRompf/reachability/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TiarkRompf/reachability/pull/7/hovercard\" href=\"https://github.com/TiarkRompf/reachability/pull/7\">#7</a>)"}},{"before":"47a0b7022d0e8db56b3726a1507d004352ac19e6","after":"0c3fc68fdc0019f51bc1ed03e63cfb2cc8e24212","ref":"refs/heads/main","pushedAt":"2023-12-14T12:24:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"modify README wording (#6)","shortMessageHtmlLink":"modify README wording (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2040318771\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TiarkRompf/reachability/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TiarkRompf/reachability/pull/6/hovercard\" href=\"https://github.com/TiarkRompf/reachability/pull/6\">#6</a>)"}},{"before":"40a5350b6953528d23928c444fe609d1f7fc4a73","after":"47a0b7022d0e8db56b3726a1507d004352ac19e6","ref":"refs/heads/main","pushedAt":"2023-12-12T05:09:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"474fa3c4c934b3b1b77ed9b43a2777290a8a5e32","after":"40a5350b6953528d23928c444fe609d1f7fc4a73","ref":"refs/heads/main","pushedAt":"2023-12-12T05:08:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"147db33a8d76ab3258d67d18d8f246330b00b9bf","after":"474fa3c4c934b3b1b77ed9b43a2777290a8a5e32","ref":"refs/heads/main","pushedAt":"2023-12-12T05:07:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"46af0ec6275e0e6c41e64cc85b950c1895251a96","after":"147db33a8d76ab3258d67d18d8f246330b00b9bf","ref":"refs/heads/main","pushedAt":"2023-12-12T05:04:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"Update and release recent work","shortMessageHtmlLink":"Update and release recent work"}},{"before":"32e8c924118cd9f9a8a543fa9fcd7b9c3658d369","after":"46af0ec6275e0e6c41e64cc85b950c1895251a96","ref":"refs/heads/main","pushedAt":"2023-12-12T04:43:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"TiarkRompf","name":"Tiark Rompf","path":"/TiarkRompf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/365911?s=80&v=4"},"commit":{"message":"Release update (#5)\n\n* add kill effect version and prop set version with updated readme\r\n\r\n* adapt for coq 8.17.1\r\n\r\n- lambda_star_effect_base\r\n- lambda_star_base\r\n- lambda_star_overlap\r\n- lambda_star_overlap_lazy\r\n- lambda_star_overlap_prop_set\r\n- lambda_star_bot\r\n- lambda_star_full\r\n- lambda_star_overlap_lazy_rec\r\n- lambda_star_overlap_lazy_rec_self\r\n- lambda_star_overlap_rec","shortMessageHtmlLink":"Release update (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2036688714\" data-permission-text=\"Title is private\" data-url=\"https://github.com/TiarkRompf/reachability/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/TiarkRompf/reachability/pull/5/hovercard\" href=\"https://github.com/TiarkRompf/reachability/pull/5\">#5</a>)"}},{"before":"e32bae250d7811409a39c713ac07f1f1463d43f3","after":"32e8c924118cd9f9a8a543fa9fcd7b9c3658d369","ref":"refs/heads/main","pushedAt":"2023-11-09T00:32:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"ecf273a58b9b3b57ca7b40e74a89468366450426","after":"e32bae250d7811409a39c713ac07f1f1463d43f3","ref":"refs/heads/main","pushedAt":"2023-11-08T19:29:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"f_sub_diamond using functional encoding of sets","shortMessageHtmlLink":"f_sub_diamond using functional encoding of sets"}},{"before":"3eea47db2f5466db794efbf85948997981b1dc55","after":"ecf273a58b9b3b57ca7b40e74a89468366450426","ref":"refs/heads/main","pushedAt":"2023-07-23T20:11:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"add link to diamond","shortMessageHtmlLink":"add link to diamond"}},{"before":"502734b1edeea6d23586c9fd3cafb40358bfaf4f","after":"3eea47db2f5466db794efbf85948997981b1dc55","ref":"refs/heads/main","pushedAt":"2023-07-14T21:57:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"0d90bb6daa093e7ba53db8b8c51befa64bf21a4f","after":"502734b1edeea6d23586c9fd3cafb40358bfaf4f","ref":"refs/heads/main","pushedAt":"2023-07-14T21:55:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3b381ac2f4958c6da7710561e7ba28531cf1653d","after":"0d90bb6daa093e7ba53db8b8c51befa64bf21a4f","ref":"refs/heads/main","pushedAt":"2023-07-14T21:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kraks","name":"Guannan Wei","path":"/Kraks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1259914?s=80&v=4"},"commit":{"message":"Fix README link","shortMessageHtmlLink":"Fix README link"}},{"before":"10052f8c4350aa11041c85e551572ee53d4b5cad","after":"3b381ac2f4958c6da7710561e7ba28531cf1653d","ref":"refs/heads/main","pushedAt":"2023-07-05T23:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bracevac","name":"Oliver Bračevac","path":"/bracevac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1140496?s=80&v=4"},"commit":{"message":"Update README.md\n\nOOPSLA 2023 acceptance","shortMessageHtmlLink":"Update README.md"}},{"before":"7c04f64a8c5899fc3dbf0e53e564f8a96f2f867c","after":"10052f8c4350aa11041c85e551572ee53d4b5cad","ref":"refs/heads/main","pushedAt":"2023-07-05T23:15:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bracevac","name":"Oliver Bračevac","path":"/bracevac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1140496?s=80&v=4"},"commit":{"message":"Update f_sub_diamond.v\n\nFixes a compilation error.","shortMessageHtmlLink":"Update f_sub_diamond.v"}},{"before":"3a85d7f7af0467eda5e74b8a87c37a94aa11122e","after":"7c04f64a8c5899fc3dbf0e53e564f8a96f2f867c","ref":"refs/heads/main","pushedAt":"2023-05-05T08:14:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bracevac","name":"Oliver Bračevac","path":"/bracevac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1140496?s=80&v=4"},"commit":{"message":"Update f_sub_diamond README","shortMessageHtmlLink":"Update f_sub_diamond README"}},{"before":"cd74e18bb14bcd4590a7e4282d610d734efda2c6","after":"3a85d7f7af0467eda5e74b8a87c37a94aa11122e","ref":"refs/heads/main","pushedAt":"2023-05-05T08:11:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bracevac","name":"Oliver Bračevac","path":"/bracevac","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1140496?s=80&v=4"},"commit":{"message":"Update f_sub_diamond\n\n* Bugfix: enable self-reference abstraction for universal types\n  analogous to function types via rule `qs_self_all`.\n\n* Add more mechanized examples from the paper.","shortMessageHtmlLink":"Update f_sub_diamond"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEM4rxNAA","startCursor":null,"endCursor":null}},"title":"Activity · TiarkRompf/reachability"}