{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":18024017,"defaultBranch":"master","name":"htt","ownerLogin":"imdea-software","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-03-23T01:28:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6480782?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1700600656.0","currentOid":""},"activityList":{"items":[{"before":"c03a9ba928f511596163f57a98ae5a8bbe1944ef","after":"0a4c86fb438a627bb16186bd6251141814df3699","ref":"refs/heads/master","pushedAt":"2024-05-10T17:34:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"bump upper coq version","shortMessageHtmlLink":"bump upper coq version"}},{"before":"f15c2ea65cfe66794a07ac0fadb4f8bca34274ff","after":"a4ef66ee3e5a387a4ef4127cd6a0bf0e1e9e1255","ref":"refs/heads/graph-generalize","pushedAt":"2024-05-10T16:36:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"WIP ternary graph","shortMessageHtmlLink":"WIP ternary graph"}},{"before":"8996e2974adce1326c6e34fefc8cc0aa66a9d066","after":"f15c2ea65cfe66794a07ac0fadb4f8bca34274ff","ref":"refs/heads/graph-generalize","pushedAt":"2023-11-22T12:40:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"finsh connect_upd_true","shortMessageHtmlLink":"finsh connect_upd_true"}},{"before":"7f74248fa96feb586747fd3c145a187e5d232afa","after":"8996e2974adce1326c6e34fefc8cc0aa66a9d066","ref":"refs/heads/graph-generalize","pushedAt":"2023-11-22T12:33:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"old version of the graph marking proof","shortMessageHtmlLink":"old version of the graph marking proof"}},{"before":"d2024a739e0563df07859f544dcb1b0762bff098","after":"7f74248fa96feb586747fd3c145a187e5d232afa","ref":"refs/heads/graph-generalize","pushedAt":"2023-11-21T21:33:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"Merge branch 'graphs' into graph-generalize","shortMessageHtmlLink":"Merge branch 'graphs' into graph-generalize"}},{"before":"9a3dfb6c1c1bf318d90f6fd2e11dafad6fa116db","after":"5ae372c0b8032ecc1e8513104b619edd4dd54a56","ref":"refs/heads/graphs","pushedAt":"2023-11-21T21:33:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":null,"after":"d2024a739e0563df07859f544dcb1b0762bff098","ref":"refs/heads/graph-generalize","pushedAt":"2023-11-21T21:04:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"WIP 3-graphs","shortMessageHtmlLink":"WIP 3-graphs"}},{"before":"d76c37181a2b9b695c97a22647d8de5188c00ec2","after":null,"ref":"refs/heads/counter","pushedAt":"2023-11-14T11:56:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"}},{"before":"ab1b6a992c684492676daf503c4f0c618751de9c","after":"c03a9ba928f511596163f57a98ae5a8bbe1944ef","ref":"refs/heads/master","pushedAt":"2023-08-21T16:59:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"making comment more precise","shortMessageHtmlLink":"making comment more precise"}},{"before":"8b523083f70030611d526d200a27666397b5fda2","after":"ab1b6a992c684492676daf503c4f0c618751de9c","ref":"refs/heads/master","pushedAt":"2023-08-21T16:44:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"making the comment a bit more informative","shortMessageHtmlLink":"making the comment a bit more informative"}},{"before":"cec4d2a28b54615cb9daef5cab5e77a791306d60","after":"8b523083f70030611d526d200a27666397b5fda2","ref":"refs/heads/master","pushedAt":"2023-08-21T16:02:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:imdea-software/htt","shortMessageHtmlLink":"Merge branch 'master' of github.com:imdea-software/htt"}},{"before":"3e32ef9d268e9f2d4031954f9c73970a2b9cff77","after":"e761e33e85b47248c4ca62c34e3113bf842e6a0c","ref":"refs/heads/marktoberdorf","pushedAt":"2023-08-10T01:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"ranjit jhala's blog post","shortMessageHtmlLink":"ranjit jhala's blog post"}},{"before":"42f1a3a6d7f82ff29e8c1ed2acb174ac1ef8f280","after":"3e32ef9d268e9f2d4031954f9c73970a2b9cff77","ref":"refs/heads/marktoberdorf","pushedAt":"2023-08-08T19:16:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"blah","shortMessageHtmlLink":"blah"}},{"before":"42f1a3a6d7f82ff29e8c1ed2acb174ac1ef8f280","after":"cec4d2a28b54615cb9daef5cab5e77a791306d60","ref":"refs/heads/master","pushedAt":"2023-07-24T12:29:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"deleted markt_demo.v","shortMessageHtmlLink":"deleted markt_demo.v"}},{"before":null,"after":"42f1a3a6d7f82ff29e8c1ed2acb174ac1ef8f280","ref":"refs/heads/marktoberdorf","pushedAt":"2023-07-24T12:28:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"marktoberdorf demo","shortMessageHtmlLink":"marktoberdorf demo"}},{"before":"f905089a1d797ad4e291bf4c93f2d1af7c786860","after":"42f1a3a6d7f82ff29e8c1ed2acb174ac1ef8f280","ref":"refs/heads/master","pushedAt":"2023-07-24T12:22:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"marktoberdorf demo","shortMessageHtmlLink":"marktoberdorf demo"}},{"before":"7b8d755b92e734298f8224cb1f40587135a9c24c","after":"f905089a1d797ad4e291bf4c93f2d1af7c786860","ref":"refs/heads/master","pushedAt":"2023-06-30T17:56:51.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"Merge pull request #24 from imdea-software/counter\n\nport the counter example","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1782719874\" data-permission-text=\"Title is private\" data-url=\"https://github.com/imdea-software/htt/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/imdea-software/htt/pull/24/hovercard\" href=\"https://github.com/imdea-software/htt/pull/24\">#24</a> from imdea-software/counter"}},{"before":"a0bc8b7996b5336da779554886133e11a93121bf","after":"d76c37181a2b9b695c97a22647d8de5188c00ec2","ref":"refs/heads/counter","pushedAt":"2023-06-30T16:39:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"add counter to CoqProject","shortMessageHtmlLink":"add counter to CoqProject"}},{"before":"94e46065cdd3409107c785fafb7309383685432c","after":"a0bc8b7996b5336da779554886133e11a93121bf","ref":"refs/heads/counter","pushedAt":"2023-06-30T16:36:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"added some comments","shortMessageHtmlLink":"added some comments"}},{"before":null,"after":"94e46065cdd3409107c785fafb7309383685432c","ref":"refs/heads/counter","pushedAt":"2023-06-30T15:20:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"port the counter example","shortMessageHtmlLink":"port the counter example"}},{"before":"db12b0923841b1507ca3671430c2b81abfaad868","after":"7b8d755b92e734298f8224cb1f40587135a9c24c","ref":"refs/heads/master","pushedAt":"2023-06-16T14:34:17.306Z","pushType":"push","commitsCount":1,"pusher":{"login":"aleksnanevski","name":"Aleksandar Nanevski","path":"/aleksnanevski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7023610?s=80&v=4"},"commit":{"message":"fixing typo","shortMessageHtmlLink":"fixing typo"}},{"before":"e4b7ff1ef17af50da19b2946aae61d3e7e8dd87c","after":"db12b0923841b1507ca3671430c2b81abfaad868","ref":"refs/heads/master","pushedAt":"2023-06-16T13:46:50.334Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"drop dev image for CI","shortMessageHtmlLink":"drop dev image for CI"}},{"before":"274f94e017d69ea1fa6821c387bab746ee35cf80","after":"e4b7ff1ef17af50da19b2946aae61d3e7e8dd87c","ref":"refs/heads/master","pushedAt":"2023-06-16T13:37:38.997Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"bump minimal MC to 1.17","shortMessageHtmlLink":"bump minimal MC to 1.17"}},{"before":"dae4a9eaf5262c56d9125d5c9b9a24f9f1404d09","after":"274f94e017d69ea1fa6821c387bab746ee35cf80","ref":"refs/heads/master","pushedAt":"2023-06-16T13:16:37.401Z","pushType":"push","commitsCount":2,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"f8332abe7acdfcded55d565a490313a1c76ffd77","after":null,"ref":"refs/heads/package-examples","pushedAt":"2023-06-16T13:06:13.506Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"}},{"before":"988b43cee54834e9029303f558e8fef1285029eb","after":"dae4a9eaf5262c56d9125d5c9b9a24f9f1404d09","ref":"refs/heads/master","pushedAt":"2023-06-16T13:06:11.259Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"Merge pull request #23 from imdea-software/package-examples","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1750158031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/imdea-software/htt/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/imdea-software/htt/pull/23/hovercard\" href=\"https://github.com/imdea-software/htt/pull/23\">#23</a> from imdea-software/package-examples"}},{"before":"7cf3d958f8a24fd308e06f269edd2a805784cc4a","after":"f8332abe7acdfcded55d565a490313a1c76ffd77","ref":"refs/heads/package-examples","pushedAt":"2023-06-09T16:19:59.755Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"trim down generating script","shortMessageHtmlLink":"trim down generating script"}},{"before":null,"after":"7cf3d958f8a24fd308e06f269edd2a805784cc4a","ref":"refs/heads/package-examples","pushedAt":"2023-06-09T16:07:21.319Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"use custom script to generate second opamfile","shortMessageHtmlLink":"use custom script to generate second opamfile"}},{"before":"b96f9f0a8904f74beab012656c751cd9533115fe","after":"988b43cee54834e9029303f558e8fef1285029eb","ref":"refs/heads/master","pushedAt":"2023-06-08T19:02:24.208Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"bump MC upper limit","shortMessageHtmlLink":"bump MC upper limit"}},{"before":"bc842660c474d022acff7501f7d15930c639e41d","after":"b96f9f0a8904f74beab012656c751cd9533115fe","ref":"refs/heads/master","pushedAt":"2023-06-08T19:00:35.823Z","pushType":"push","commitsCount":1,"pusher":{"login":"clayrat","name":"Alex Gryzlov","path":"/clayrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/321557?s=80&v=4"},"commit":{"message":"MC1.15 is missing some coercion seq->tuple","shortMessageHtmlLink":"MC1.15 is missing some coercion seq-&gt;tuple"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xMFQxNzozNDowNC4wMDAwMDBazwAAAARGzMPx","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xMFQxNzozNDowNC4wMDAwMDBazwAAAARGzMPx","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0wOFQxOTowMDozNS44MjM1OTFazwAAAAM9rIz9"}},"title":"Activity · imdea-software/htt"}