{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":687504340,"defaultBranch":"main","name":"class-compiler-2023","ownerLogin":"BrownCS1260","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-05T13:45:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/112099883?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695765115.0","currentOid":""},"activityList":{"items":[{"before":"299777c154e640cd3ece06f87fbf936befa00298","after":"c98454f830ee80eb1f85bbbca100c3237ee53508","ref":"refs/heads/main","pushedAt":"2023-12-04T03:49:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"add ast file","shortMessageHtmlLink":"add ast file"}},{"before":"0fdbc00973852f186ce5572d839bddbd5b43b398","after":"299777c154e640cd3ece06f87fbf936befa00298","ref":"refs/heads/main","pushedAt":"2023-12-04T03:49:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"use asts","shortMessageHtmlLink":"use asts"}},{"before":"e81ae0c1f41a797651405b6f59af9175535ad360","after":"0fdbc00973852f186ce5572d839bddbd5b43b398","ref":"refs/heads/main","pushedAt":"2023-12-04T03:05:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"add Lean verification demo","shortMessageHtmlLink":"add Lean verification demo"}},{"before":"6db6578c490c037e4431dffeab2620a36cc03d0d","after":"e81ae0c1f41a797651405b6f59af9175535ad360","ref":"refs/heads/main","pushedAt":"2023-11-27T13:29:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Nov20","shortMessageHtmlLink":"after class Nov20"}},{"before":"6a92f92ce7e7a9f619f56e8b03b1421d755cb1f4","after":"6db6578c490c037e4431dffeab2620a36cc03d0d","ref":"refs/heads/main","pushedAt":"2023-11-08T15:53:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"and -> add","shortMessageHtmlLink":"and -> add"}},{"before":"e8292a9495eb91e09b423e2e99110f467fcf0ea1","after":"6a92f92ce7e7a9f619f56e8b03b1421d755cb1f4","ref":"refs/heads/main","pushedAt":"2023-11-07T21:36:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Nov 6","shortMessageHtmlLink":"after class Nov 6"}},{"before":"e499a9f3db6d00146e8de88c1f801ea13f9dbba6","after":"e8292a9495eb91e09b423e2e99110f467fcf0ea1","ref":"refs/heads/main","pushedAt":"2023-11-06T02:17:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Nov 1","shortMessageHtmlLink":"after class Nov 1"}},{"before":"938d7b1e578021eecd8e6823c28237966fe3a8f9","after":"e499a9f3db6d00146e8de88c1f801ea13f9dbba6","ref":"refs/heads/main","pushedAt":"2023-10-31T18:03:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class 10/30","shortMessageHtmlLink":"after class 10/30"}},{"before":"37d55b5f256344ad080dedb80d843290ae74d5a3","after":"938d7b1e578021eecd8e6823c28237966fe3a8f9","ref":"refs/heads/main","pushedAt":"2023-10-30T02:43:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"labeling function","shortMessageHtmlLink":"labeling function"}},{"before":"b4dcf8ccf50504c27c3d7ebe287573117ce1f6bb","after":"37d55b5f256344ad080dedb80d843290ae74d5a3","ref":"refs/heads/main","pushedAt":"2023-10-30T00:22:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"s_exp library changes for definitions","shortMessageHtmlLink":"s_exp library changes for definitions"}},{"before":"0b6316a680145cde1dd1c12d5bfa268f2f4c472c","after":"b4dcf8ccf50504c27c3d7ebe287573117ce1f6bb","ref":"refs/heads/main","pushedAt":"2023-10-30T00:07:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"fix test suite to deal with input","shortMessageHtmlLink":"fix test suite to deal with input"}},{"before":"e0b38daa466c361b8b7533e007af4f23f1edd0cd","after":"0b6316a680145cde1dd1c12d5bfa268f2f4c472c","ref":"refs/heads/main","pushedAt":"2023-10-22T14:28:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Oct 18","shortMessageHtmlLink":"after class Oct 18"}},{"before":"964fa06fb200de29643ccb1e5d42369e47720a5f","after":"e0b38daa466c361b8b7533e007af4f23f1edd0cd","ref":"refs/heads/main","pushedAt":"2023-10-18T13:01:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"order of interpretation of binary arguments","shortMessageHtmlLink":"order of interpretation of binary arguments"}},{"before":"934874a8758258760560059802a4e68e00f7e71d","after":"964fa06fb200de29643ccb1e5d42369e47720a5f","ref":"refs/heads/main","pushedAt":"2023-10-18T12:49:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Oct 16","shortMessageHtmlLink":"after class Oct 16"}},{"before":"30d530357fd70345e9b791cdf517ffedce96e549","after":"934874a8758258760560059802a4e68e00f7e71d","ref":"refs/heads/main","pushedAt":"2023-10-13T20:08:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"add util function","shortMessageHtmlLink":"add util function"}},{"before":"9af5c4c8d2ceffded9a21af1fd655e4269bfd091","after":"30d530357fd70345e9b791cdf517ffedce96e549","ref":"refs/heads/main","pushedAt":"2023-10-13T18:32:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Oct 11","shortMessageHtmlLink":"after class Oct 11"}},{"before":"f77c437c224cab37467a11700628b397ca4e8fb9","after":"9af5c4c8d2ceffded9a21af1fd655e4269bfd091","ref":"refs/heads/main","pushedAt":"2023-10-11T12:52:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Oct 4","shortMessageHtmlLink":"after class Oct 4"}},{"before":"f6cb6719ca5fdd25842ea98738eb2d26f465c3c5","after":"f77c437c224cab37467a11700628b397ca4e8fb9","ref":"refs/heads/main","pushedAt":"2023-10-03T15:18:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"minor refactor","shortMessageHtmlLink":"minor refactor"}},{"before":"0616d5edf71063c8cf4c0544dcff1115506a0a58","after":"f6cb6719ca5fdd25842ea98738eb2d26f465c3c5","ref":"refs/heads/main","pushedAt":"2023-10-03T15:15:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"clean and rearrange","shortMessageHtmlLink":"clean and rearrange"}},{"before":"e93566cc8f0df0122816e1ab587166a5d5c24318","after":"0616d5edf71063c8cf4c0544dcff1115506a0a58","ref":"refs/heads/main","pushedAt":"2023-10-03T15:04:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Oct 2","shortMessageHtmlLink":"after class Oct 2"}},{"before":"b9d7e9e55469cfbc53a98b42366e3841086c99ca","after":"e93566cc8f0df0122816e1ab587166a5d5c24318","ref":"refs/heads/main","pushedAt":"2023-09-29T15:29:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Sep 27: use ASTs","shortMessageHtmlLink":"after class Sep 27: use ASTs"}},{"before":"3c1632e3233ab61962306539c4ec39e3e603418a","after":"5dff8b9b8e626ce8cacf354b3730474cadf5391d","ref":"refs/heads/ast","pushedAt":"2023-09-27T13:27:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"add ast for real","shortMessageHtmlLink":"add ast for real"}},{"before":"f8dd80b0b48628fdaa5cf6706c037dc049b145c7","after":"b9d7e9e55469cfbc53a98b42366e3841086c99ca","ref":"refs/heads/main","pushedAt":"2023-09-26T21:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"add symtab type to util","shortMessageHtmlLink":"add symtab type to util"}},{"before":null,"after":"3c1632e3233ab61962306539c4ec39e3e603418a","ref":"refs/heads/ast","pushedAt":"2023-09-26T21:51:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"implement asts","shortMessageHtmlLink":"implement asts"}},{"before":"fb510f057aea4ccde913114dca61e0fbe5064bb2","after":"f8dd80b0b48628fdaa5cf6706c037dc049b145c7","ref":"refs/heads/main","pushedAt":"2023-09-26T20:27:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Sep 25","shortMessageHtmlLink":"after class Sep 25"}},{"before":"6003dd20e56363cbb649ecc220e514fa9e7b4ec6","after":"fb510f057aea4ccde913114dca61e0fbe5064bb2","ref":"refs/heads/main","pushedAt":"2023-09-22T18:43:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"lex subtraction","shortMessageHtmlLink":"lex subtraction"}},{"before":"6cc1867882089c6ec6bb7c6d8c75ce17e6f31579","after":"6003dd20e56363cbb649ecc220e514fa9e7b4ec6","ref":"refs/heads/main","pushedAt":"2023-09-20T17:04:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Sep 20: compile booleans; interpret and compile conditionals","shortMessageHtmlLink":"after class Sep 20: compile booleans; interpret and compile conditionals"}},{"before":"19f379253da343377203b7c3029d0ef86ca90b9b","after":"6cc1867882089c6ec6bb7c6d8c75ce17e6f31579","ref":"refs/heads/main","pushedAt":"2023-09-19T19:51:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"add gensym","shortMessageHtmlLink":"add gensym"}},{"before":"ade7be691fec3cf5f4553aafbf45c46d4d4038f0","after":"19f379253da343377203b7c3029d0ef86ca90b9b","ref":"refs/heads/main","pushedAt":"2023-09-15T17:45:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"move interpreter and test into separate files","shortMessageHtmlLink":"move interpreter and test into separate files"}},{"before":"26aaf3a174d9b8842c5cf2384cb9d1a8bc365512","after":"ade7be691fec3cf5f4553aafbf45c46d4d4038f0","ref":"refs/heads/main","pushedAt":"2023-09-15T17:42:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robertylewis","name":"Rob Lewis","path":"/robertylewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4967469?s=80&v=4"},"commit":{"message":"after class Sep 13","shortMessageHtmlLink":"after class Sep 13"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADv8__zQA","startCursor":null,"endCursor":null}},"title":"Activity · BrownCS1260/class-compiler-2023"}