{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":807481138,"defaultBranch":"main","name":"DafnyBench","ownerLogin":"sun-wendy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-29T07:26:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/114196578?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716967588.0","currentOid":""},"activityList":{"items":[{"before":"3bb98ecfe81607c4029624b1cd926cd0ea7224a8","after":"d37f1d0777bbb74ea16dca5f879dcb1bf5e716a9","ref":"refs/heads/main","pushedAt":"2024-06-13T06:31:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"51bfe4542ada5191d5705cfd8bab8b599181ed6c","after":"3bb98ecfe81607c4029624b1cd926cd0ea7224a8","ref":"refs/heads/main","pushedAt":"2024-06-13T04:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"43bdb7ca58cf4e486e7ac84dce6236bed13df29b","after":"51bfe4542ada5191d5705cfd8bab8b599181ed6c","ref":"refs/heads/main","pushedAt":"2024-06-13T04:29:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"b2f00de29e1b14320a542a94e866fef1e0b74ceb","after":"43bdb7ca58cf4e486e7ac84dce6236bed13df29b","ref":"refs/heads/main","pushedAt":"2024-06-13T04:13:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Update arXiv link","shortMessageHtmlLink":"Update arXiv link"}},{"before":"1fc01699cebd7d0aec0b61c458b30c7a35188f84","after":"b2f00de29e1b14320a542a94e866fef1e0b74ceb","ref":"refs/heads/main","pushedAt":"2024-06-12T12:47:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete assets/.DS_Store","shortMessageHtmlLink":"Delete assets/.DS_Store"}},{"before":"67c95f702ab0c03b0d97a7cc8e1c11088b4ce857","after":"1fc01699cebd7d0aec0b61c458b30c7a35188f84","ref":"refs/heads/main","pushedAt":"2024-06-12T12:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete DafnyBench/.DS_Store","shortMessageHtmlLink":"Delete DafnyBench/.DS_Store"}},{"before":"df590e440f1af36548ddf08b5d073b0928b44bab","after":"67c95f702ab0c03b0d97a7cc8e1c11088b4ce857","ref":"refs/heads/main","pushedAt":"2024-06-12T12:46:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete DafnyBench/metadata/.DS_Store","shortMessageHtmlLink":"Delete DafnyBench/metadata/.DS_Store"}},{"before":"a2f6dbdba032eb9c46ccd9e56abeeaf4fb3c41d2","after":"df590e440f1af36548ddf08b5d073b0928b44bab","ref":"refs/heads/main","pushedAt":"2024-06-12T12:46:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated CodeLlama results","shortMessageHtmlLink":"Updated CodeLlama results"}},{"before":"01665c461c32a954f4d59c69e83cb171ee0ed085","after":"a2f6dbdba032eb9c46ccd9e56abeeaf4fb3c41d2","ref":"refs/heads/main","pushedAt":"2024-06-12T05:39:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete results/.DS_Store","shortMessageHtmlLink":"Delete results/.DS_Store"}},{"before":"b502649c3d5efad958e3d7c65bf719950f0e6799","after":"01665c461c32a954f4d59c69e83cb171ee0ed085","ref":"refs/heads/main","pushedAt":"2024-06-12T05:39:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete assets/.DS_Store","shortMessageHtmlLink":"Delete assets/.DS_Store"}},{"before":"f3522c1dd017874d1891db29b4fc97d752e96e9e","after":"b502649c3d5efad958e3d7c65bf719950f0e6799","ref":"refs/heads/main","pushedAt":"2024-06-12T05:38:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated experiment results","shortMessageHtmlLink":"Updated experiment results"}},{"before":"0e4629dae58ca5d378c391377028d4553ea62f53","after":"f3522c1dd017874d1891db29b4fc97d752e96e9e","ref":"refs/heads/main","pushedAt":"2024-06-07T22:21:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Scripts for experiment","shortMessageHtmlLink":"Scripts for experiment"}},{"before":"aa3a9fd3cb46e952c1fbff7aea2a95371b101fd2","after":"0e4629dae58ca5d378c391377028d4553ea62f53","ref":"refs/heads/main","pushedAt":"2024-06-06T06:27:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete results/.DS_Store","shortMessageHtmlLink":"Delete results/.DS_Store"}},{"before":"fe4b61b554cb8d17875102c9a2f21102dcede2d5","after":"aa3a9fd3cb46e952c1fbff7aea2a95371b101fd2","ref":"refs/heads/main","pushedAt":"2024-06-06T06:27:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"6b6206b38903cbc64084074905d85022a6f0091b","after":"fe4b61b554cb8d17875102c9a2f21102dcede2d5","ref":"refs/heads/main","pushedAt":"2024-06-06T01:57:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"b8865ba63b8571e9675cf2b80aeeb6f5f3f276fa","after":"6b6206b38903cbc64084074905d85022a6f0091b","ref":"refs/heads/main","pushedAt":"2024-06-06T01:57:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"ccf0ec9b111e94e150a4d8b54adbe1f9c9642322","after":"b8865ba63b8571e9675cf2b80aeeb6f5f3f276fa","ref":"refs/heads/main","pushedAt":"2024-06-06T01:55:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}},{"before":"887335ca0f109d1def98f2e545469cb6b2d7bb72","after":"ccf0ec9b111e94e150a4d8b54adbe1f9c9642322","ref":"refs/heads/main","pushedAt":"2024-06-06T01:51:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete assets/.DS_Store","shortMessageHtmlLink":"Delete assets/.DS_Store"}},{"before":"119da19aa06502ecc1c36cf3c6ff7cc945f2d321","after":"887335ca0f109d1def98f2e545469cb6b2d7bb72","ref":"refs/heads/main","pushedAt":"2024-06-06T01:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete DafnyBench/dataset/.DS_Store","shortMessageHtmlLink":"Delete DafnyBench/dataset/.DS_Store"}},{"before":"470c06ff5d036230ff29e160bb36375ea7adef0a","after":"119da19aa06502ecc1c36cf3c6ff7cc945f2d321","ref":"refs/heads/main","pushedAt":"2024-06-06T01:51:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete DafnyBench/.DS_Store","shortMessageHtmlLink":"Delete DafnyBench/.DS_Store"}},{"before":"b75c5bedd844d91271889d3435c870b896a957fd","after":"470c06ff5d036230ff29e160bb36375ea7adef0a","ref":"refs/heads/main","pushedAt":"2024-06-06T01:50:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Update figures, metadata.json, & README.md","shortMessageHtmlLink":"Update figures, metadata.json, &amp; README.md"}},{"before":"f6f8e32f37d355e1cbca5d2691310128aff29e9b","after":"b75c5bedd844d91271889d3435c870b896a957fd","ref":"refs/heads/main","pushedAt":"2024-06-05T23:51:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"9ad3011c9f7327b04fe94ad620e815d464bc1fde","after":"f6f8e32f37d355e1cbca5d2691310128aff29e9b","ref":"refs/heads/main","pushedAt":"2024-06-05T23:48:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete LICENSE","shortMessageHtmlLink":"Delete LICENSE"}},{"before":"b382b0afdf0977771abc0e994755aa6bda8ee224","after":"9ad3011c9f7327b04fe94ad620e815d464bc1fde","ref":"refs/heads/main","pushedAt":"2024-06-05T17:45:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete results/results_summary/.DS_Store","shortMessageHtmlLink":"Delete results/results_summary/.DS_Store"}},{"before":"44e54f449e440e54a0f1236d7d3e90c4fd6fd6a1","after":"b382b0afdf0977771abc0e994755aa6bda8ee224","ref":"refs/heads/main","pushedAt":"2024-06-05T17:44:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete results/reconstructed_files/.DS_Store","shortMessageHtmlLink":"Delete results/reconstructed_files/.DS_Store"}},{"before":"cc985d187498ab8973ca2fa76990e0309ec82fa9","after":"44e54f449e440e54a0f1236d7d3e90c4fd6fd6a1","ref":"refs/heads/main","pushedAt":"2024-06-05T17:44:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete DafnyBench/metadata/.DS_Store","shortMessageHtmlLink":"Delete DafnyBench/metadata/.DS_Store"}},{"before":"2264ff84ef36fe99b4be1f4d1cf6a4a00f1e8744","after":"cc985d187498ab8973ca2fa76990e0309ec82fa9","ref":"refs/heads/main","pushedAt":"2024-06-05T17:43:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/sun-wendy/DafnyBench","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/sun-wendy/DafnyBench\">https://github.com/sun-wendy/DafnyBench</a>"}},{"before":"60603e1365ed996e7022234a388c225ccc49b880","after":"2264ff84ef36fe99b4be1f4d1cf6a4a00f1e8744","ref":"refs/heads/main","pushedAt":"2024-06-05T16:03:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete assets/.DS_Store","shortMessageHtmlLink":"Delete assets/.DS_Store"}},{"before":"9c8dd344e505fc3aef4ad76eead2b61105a0aebd","after":"60603e1365ed996e7022234a388c225ccc49b880","ref":"refs/heads/main","pushedAt":"2024-06-05T16:03:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Delete DafnyBench/.DS_Store","shortMessageHtmlLink":"Delete DafnyBench/.DS_Store"}},{"before":"c13f94fc867c769bbe8cbc6073a17ef351c6e1f8","after":"9c8dd344e505fc3aef4ad76eead2b61105a0aebd","ref":"refs/heads/main","pushedAt":"2024-06-05T15:55:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sun-wendy","name":"Wendy Sun","path":"/sun-wendy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114196578?s=80&v=4"},"commit":{"message":"Updated README.md","shortMessageHtmlLink":"Updated README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZA5NdQA","startCursor":null,"endCursor":null}},"title":"Activity · sun-wendy/DafnyBench"}