{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":141548674,"defaultBranch":"master","name":"vampire_benchmarks","ownerLogin":"vprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-07-19T08:30:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6704909?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1531989038.0","currentOid":""},"activityList":{"items":[{"before":"83d8d50a7b657c4c6c6295bb9ca6a73e9d9abe92","after":"ead5f76dc96ce0016885fe8a9b21162d29c59852","ref":"refs/heads/master","pushedAt":"2024-05-16T05:06:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"cba3f65dcbd75563120125860ec615f1418c8324","after":"83d8d50a7b657c4c6c6295bb9ca6a73e9d9abe92","ref":"refs/heads/master","pushedAt":"2024-03-02T09:33:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b4125ff2bcae45bf9764eebdb2c112653ccd447a","after":"cba3f65dcbd75563120125860ec615f1418c8324","ref":"refs/heads/master","pushedAt":"2024-02-27T11:07:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Add selected recursive synth benchmarks in SyGuS format","shortMessageHtmlLink":"Add selected recursive synth benchmarks in SyGuS format"}},{"before":"5bf38ea8d0dd93861eff50485da8e464f1d81547","after":"b4125ff2bcae45bf9764eebdb2c112653ccd447a","ref":"refs/heads/master","pushedAt":"2024-02-27T09:48:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"bfec5e606f07a3920259853322938ab8988f9c97","after":"5bf38ea8d0dd93861eff50485da8e464f1d81547","ref":"refs/heads/master","pushedAt":"2024-02-09T16:32:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Recursive synthesis benchmarks","shortMessageHtmlLink":"Recursive synthesis benchmarks"}},{"before":"bbf7fa14821508ea19b19d7f0b4aa2fd3ab6086a","after":"bfec5e606f07a3920259853322938ab8988f9c97","ref":"refs/heads/master","pushedAt":"2024-02-09T09:47:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"097ef749a92d3fe86271f4471732d211dbaf677d","after":"bbf7fa14821508ea19b19d7f0b4aa2fd3ab6086a","ref":"refs/heads/master","pushedAt":"2024-02-09T09:47:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2e362ced176e2c60d29eec80c828088c6823bc4e","after":"097ef749a92d3fe86271f4471732d211dbaf677d","ref":"refs/heads/master","pushedAt":"2024-02-09T09:31:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Recursive synthesis benchmarks","shortMessageHtmlLink":"Recursive synthesis benchmarks"}},{"before":"5ed5ffb7f3d8a7b1b6e8b988ea8ed31fdb379b06","after":"2e362ced176e2c60d29eec80c828088c6823bc4e","ref":"refs/heads/master","pushedAt":"2024-02-08T18:49:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Recursive synthesis benchmark cleanup","shortMessageHtmlLink":"Recursive synthesis benchmark cleanup"}},{"before":"0333462cb811c240d10a9ca1fe0875fccddbe661","after":"5ed5ffb7f3d8a7b1b6e8b988ea8ed31fdb379b06","ref":"refs/heads/master","pushedAt":"2023-12-18T14:37:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"Added size of BT synthesis benchmark and refutation","shortMessageHtmlLink":"Added size of BT synthesis benchmark and refutation"}},{"before":"c59e66795a6808676c6b3d37c6621f6b7b068519","after":"0333462cb811c240d10a9ca1fe0875fccddbe661","ref":"refs/heads/master","pushedAt":"2023-12-10T00:15:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"Updated README","shortMessageHtmlLink":"Updated README"}},{"before":"bc2fe69ca0f31c72cb2ed82b99b3b44c855b5705","after":"c59e66795a6808676c6b3d37c6621f6b7b068519","ref":"refs/heads/master","pushedAt":"2023-12-10T00:08:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"Added nat_assoc benchmark and refutation","shortMessageHtmlLink":"Added nat_assoc benchmark and refutation"}},{"before":"a5bd31af9a3845457d7cec3007113c668791abc5","after":"bc2fe69ca0f31c72cb2ed82b99b3b44c855b5705","ref":"refs/heads/master","pushedAt":"2023-12-07T13:16:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"updated readme","shortMessageHtmlLink":"updated readme"}},{"before":"faf806e14576a70fbadfb86efbae73fc4786e94c","after":"a5bd31af9a3845457d7cec3007113c668791abc5","ref":"refs/heads/master","pushedAt":"2023-12-07T13:06:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'refs/remotes/origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'refs/remotes/origin/master'"}},{"before":"5c4d6025a9a0eb75f2dd01043ecc88b15c402cd5","after":"faf806e14576a70fbadfb86efbae73fc4786e94c","ref":"refs/heads/master","pushedAt":"2023-12-05T17:01:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a369d3377ec27d0faa08d20483129f76982457b7","after":"5c4d6025a9a0eb75f2dd01043ecc88b15c402cd5","ref":"refs/heads/master","pushedAt":"2023-12-01T22:54:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"Added refutations and run instruction for list-lenapp","shortMessageHtmlLink":"Added refutations and run instruction for list-lenapp"}},{"before":"805d9720cc18a960017a09f278488bd050819ce9","after":"a369d3377ec27d0faa08d20483129f76982457b7","ref":"refs/heads/master","pushedAt":"2023-11-20T12:49:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daneshvar-amrollahi","name":"Daneshvar Amrollahi","path":"/daneshvar-amrollahi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6624319?s=80&v=4"},"commit":{"message":"Updated synthesis benchmarks","shortMessageHtmlLink":"Updated synthesis benchmarks"}},{"before":"99ba08497037d1aabe53b0ab0958a0b9457e8ba7","after":"805d9720cc18a960017a09f278488bd050819ce9","ref":"refs/heads/master","pushedAt":"2023-09-10T21:37:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Remove \"uncomputable e\"","shortMessageHtmlLink":"Remove \"uncomputable e\""}},{"before":"7f17d76debfa41eb94f5b6102b1d224560fefbcf","after":"99ba08497037d1aabe53b0ab0958a0b9457e8ba7","ref":"refs/heads/master","pushedAt":"2023-03-27T17:25:49.948Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b3be1b49f7f6feedff2173e10a8e5a07b9632dc3","after":"7f17d76debfa41eb94f5b6102b1d224560fefbcf","ref":"refs/heads/master","pushedAt":"2023-03-27T17:24:20.099Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Fix the time limit in README","shortMessageHtmlLink":"Fix the time limit in README"}},{"before":"83f875a6e619bb320145564ecbc89a9646ec0d7e","after":"b3be1b49f7f6feedff2173e10a8e5a07b9632dc3","ref":"refs/heads/master","pushedAt":"2023-03-09T06:13:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Add results + minor change in README","shortMessageHtmlLink":"Add results + minor change in README"}},{"before":"3c87cbe4c4fc8f0d095ced33d91b04acd877892a","after":"83f875a6e619bb320145564ecbc89a9646ec0d7e","ref":"refs/heads/master","pushedAt":"2023-03-08T19:24:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hzzv","name":"Petra","path":"/hzzv","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3306370?s=80&v=4"},"commit":{"message":"Add 1 more polynomial example; minor change in README","shortMessageHtmlLink":"Add 1 more polynomial example; minor change in README"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESzeZggA","startCursor":null,"endCursor":null}},"title":"Activity · vprover/vampire_benchmarks"}