{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":690870579,"defaultBranch":"main","name":"spacetalk","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-13T03:48:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716247794.0","currentOid":""},"activityList":{"items":[{"before":"b6de2a3c275ea4400ced7a990e08bf6db8d039f3","after":"fc4ded20460d329d8035f6b1efa9742810f357f6","ref":"refs/heads/main","pushedAt":"2024-05-21T02:20:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"fix hlist","shortMessageHtmlLink":"fix hlist"}},{"before":"a4099111ffea58d79a04159550b5e9b71caa9540","after":null,"ref":"refs/heads/dev","pushedAt":"2024-05-20T23:29:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"}},{"before":"57a6b8b802233fa21463b149d35e764d05895a2c","after":null,"ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T23:29:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"}},{"before":"a4099111ffea58d79a04159550b5e9b71caa9540","after":"b6de2a3c275ea4400ced7a990e08bf6db8d039f3","ref":"refs/heads/main","pushedAt":"2024-05-20T23:29:14.000Z","pushType":"pr_merge","commitsCount":23,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"Merge pull request #5 from mit-plv/dev-simp\n\nDev simp","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2306972924\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/spacetalk/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/spacetalk/pull/5/hovercard\" href=\"https://github.com/mit-plv/spacetalk/pull/5\">#5</a> from mit-plv/dev-simp"}},{"before":"a993e2848bda94333ab5a0d468be4a0198e69bb8","after":"57a6b8b802233fa21463b149d35e764d05895a2c","ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T23:28:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"dot prod","shortMessageHtmlLink":"dot prod"}},{"before":"c65cae6c049de88cad6e7ac5143aef156871e977","after":"a993e2848bda94333ab5a0d468be4a0198e69bb8","ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T22:45:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"full compiler","shortMessageHtmlLink":"full compiler"}},{"before":"fa26760b4fbe005a2aa36d94f10790f86619fbd3","after":"c65cae6c049de88cad6e7ac5143aef156871e977","ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T20:17:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"specialize","shortMessageHtmlLink":"specialize"}},{"before":"2c70dd4bd8ed81fdccb987b2edc73736f973047f","after":"fa26760b4fbe005a2aa36d94f10790f86619fbd3","ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T19:42:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"make graph","shortMessageHtmlLink":"make graph"}},{"before":"286f86b9a825881f5600e15c3ab3b8617e563f16","after":"2c70dd4bd8ed81fdccb987b2edc73736f973047f","ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T03:16:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"map","shortMessageHtmlLink":"map"}},{"before":"0e13cd7c00c2b40bd7a06693cd9b53cdd0683b75","after":"286f86b9a825881f5600e15c3ab3b8617e563f16","ref":"refs/heads/dev-simp","pushedAt":"2024-05-20T02:56:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"add more types","shortMessageHtmlLink":"add more types"}},{"before":"167213a9df1c48f5a64534b030148ecde37640f7","after":"0e13cd7c00c2b40bd7a06693cd9b53cdd0683b75","ref":"refs/heads/dev-simp","pushedAt":"2024-05-10T15:36:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"type unification scaffold","shortMessageHtmlLink":"type unification scaffold"}},{"before":"d15dd367c04a1b7ac2c8cbdb5d7b79bbef63760e","after":"167213a9df1c48f5a64534b030148ecde37640f7","ref":"refs/heads/dev-simp","pushedAt":"2024-05-03T14:51:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"map","shortMessageHtmlLink":"map"}},{"before":"3075ffbf758c2a1ba5f3efd2a0bc1f91b856a0e2","after":"d15dd367c04a1b7ac2c8cbdb5d7b79bbef63760e","ref":"refs/heads/dev-simp","pushedAt":"2024-05-03T03:59:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"map","shortMessageHtmlLink":"map"}},{"before":"b48110d03508e1d7f2c1ffd679d72dee7a38d436","after":"3075ffbf758c2a1ba5f3efd2a0bc1f91b856a0e2","ref":"refs/heads/dev-simp","pushedAt":"2024-05-02T22:42:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"merge","shortMessageHtmlLink":"merge"}},{"before":"4366226436acd01b7ff502cdac20a99e0f465050","after":"b48110d03508e1d7f2c1ffd679d72dee7a38d436","ref":"refs/heads/dev-simp","pushedAt":"2024-05-02T19:52:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"merge","shortMessageHtmlLink":"merge"}},{"before":"95bf91197844b16194495617fa82fab6903d6a52","after":"4366226436acd01b7ff502cdac20a99e0f465050","ref":"refs/heads/dev-simp","pushedAt":"2024-05-02T17:26:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"proof scaffold","shortMessageHtmlLink":"proof scaffold"}},{"before":"f96fde31e5fd98f593cba1c52dc2b54f4a2a77fc","after":"95bf91197844b16194495617fa82fab6903d6a52","ref":"refs/heads/dev-simp","pushedAt":"2024-05-02T17:14:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"append right","shortMessageHtmlLink":"append right"}},{"before":"1a58d7b96c8bfeec1f5e7ac320f8087dad8e5084","after":"f96fde31e5fd98f593cba1c52dc2b54f4a2a77fc","ref":"refs/heads/dev-simp","pushedAt":"2024-05-02T15:30:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"append left","shortMessageHtmlLink":"append left"}},{"before":"7875ec70dbf82ee9238ad2d81b0c67e806312887","after":"1a58d7b96c8bfeec1f5e7ac320f8087dad8e5084","ref":"refs/heads/dev-simp","pushedAt":"2024-05-01T22:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"progress:","shortMessageHtmlLink":"progress:"}},{"before":"87f844d302c330db4ada55ef6a4c1e24d9cd92bb","after":"7875ec70dbf82ee9238ad2d81b0c67e806312887","ref":"refs/heads/dev-simp","pushedAt":"2024-04-19T17:03:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"Get append","shortMessageHtmlLink":"Get append"}},{"before":"e2f119744ee7737781ead5f54f6fa8c3badd1586","after":"87f844d302c330db4ada55ef6a4c1e24d9cd92bb","ref":"refs/heads/dev-simp","pushedAt":"2024-04-18T21:29:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"vector","shortMessageHtmlLink":"vector"}},{"before":"869da54adf55e708881c05c521517ee0ad2949ca","after":"e2f119744ee7737781ead5f54f6fa8c3badd1586","ref":"refs/heads/dev-simp","pushedAt":"2024-04-17T19:05:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"bff5edf9a3dbb9793ab6a94c6577d3828ce2a625","after":"869da54adf55e708881c05c521517ee0ad2949ca","ref":"refs/heads/dev-simp","pushedAt":"2024-04-16T20:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"0303297b9d0737c61fd8d93ce71522305fd41c2e","after":"bff5edf9a3dbb9793ab6a94c6577d3828ce2a625","ref":"refs/heads/dev-simp","pushedAt":"2024-04-16T14:09:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"cb8e349e0e5019fca1902fa694b6e5a49e9f96fa","after":"0303297b9d0737c61fd8d93ce71522305fd41c2e","ref":"refs/heads/dev-simp","pushedAt":"2024-04-10T02:56:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"reformat","shortMessageHtmlLink":"reformat"}},{"before":null,"after":"cb8e349e0e5019fca1902fa694b6e5a49e9f96fa","ref":"refs/heads/dev-simp","pushedAt":"2024-04-03T14:42:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"simp","shortMessageHtmlLink":"simp"}},{"before":null,"after":"a4099111ffea58d79a04159550b5e9b71caa9540","ref":"refs/heads/dev","pushedAt":"2024-04-03T11:26:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"738443f34abc737008dfe570ebf3b9cdbd30c826","after":"a4099111ffea58d79a04159550b5e9b71caa9540","ref":"refs/heads/main","pushedAt":"2024-03-18T04:34:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"68a26cb19c5c4acf06e617ff161734f8e31951b6","after":"738443f34abc737008dfe570ebf3b9cdbd30c826","ref":"refs/heads/main","pushedAt":"2024-03-13T23:12:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"Compiler","shortMessageHtmlLink":"Compiler"}},{"before":"d62d38b0b906553a066c267b80d5818ae54ca205","after":"68a26cb19c5c4acf06e617ff161734f8e31951b6","ref":"refs/heads/main","pushedAt":"2024-03-13T21:41:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paulmure","name":"Paul Mure","path":"/paulmure","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57578250?s=80&v=4"},"commit":{"message":"comp2","shortMessageHtmlLink":"comp2"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAET1rdAgA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/spacetalk"}