{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":644053274,"defaultBranch":"master","name":"vnncomp2023","ownerLogin":"apostovan21","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-22T18:01:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/113545276?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1685544438.553637","currentOid":""},"activityList":{"items":[{"before":"9978133ebd94b1c67d4ee4296fafef308c34f0f3","after":"3587d3b11dc4ebffcf9784a93fb35a943eec5656","ref":"refs/heads/master","pushedAt":"2023-07-03T17:24:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Fix] the vnnlib folder.","shortMessageHtmlLink":"[Fix] the vnnlib folder."}},{"before":"55d0d8cf8aa5b28f412132e27e67af8930937452","after":"9978133ebd94b1c67d4ee4296fafef308c34f0f3","ref":"refs/heads/master","pushedAt":"2023-06-24T07:51:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"generate new vnnlib files and instances.csv","shortMessageHtmlLink":"generate new vnnlib files and instances.csv"}},{"before":"72d90d162a79ff54d268ef69f83b58392532c7e8","after":"55d0d8cf8aa5b28f412132e27e67af8930937452","ref":"refs/heads/master","pushedAt":"2023-06-24T07:49:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"delete vnnlib files and instances.csv","shortMessageHtmlLink":"delete vnnlib files and instances.csv"}},{"before":"c8717a79a07830f09b724c16efc87d9af617e0c7","after":"72d90d162a79ff54d268ef69f83b58392532c7e8","ref":"refs/heads/master","pushedAt":"2023-06-24T07:45:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"regenerate csv file and onnx dir","shortMessageHtmlLink":"regenerate csv file and onnx dir"}},{"before":"f271cc19484721884666d83336a7685835439e90","after":"c8717a79a07830f09b724c16efc87d9af617e0c7","ref":"refs/heads/master","pushedAt":"2023-06-21T06:21:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"added h5 files corresponding to onnx as requested by some participants from VNN-COMP 2023","shortMessageHtmlLink":"added h5 files corresponding to onnx as requested by some participant…"}},{"before":"604a97800a1e2360a5d0982fae43752315da62c9","after":"f271cc19484721884666d83336a7685835439e90","ref":"refs/heads/master","pushedAt":"2023-06-11T11:40:35.830Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Change] timeout and new_instances param.","shortMessageHtmlLink":"[Change] timeout and new_instances param."}},{"before":"cc2986b1c494a72f8418c39f92196be6469fb780","after":"604a97800a1e2360a5d0982fae43752315da62c9","ref":"refs/heads/master","pushedAt":"2023-06-09T18:36:09.752Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[change] reduce number of instances.","shortMessageHtmlLink":"[change] reduce number of instances."}},{"before":"a3b41d2cd2104b5665eafa03faf9b2ecb1d49d0c","after":"cc2986b1c494a72f8418c39f92196be6469fb780","ref":"refs/heads/master","pushedAt":"2023-06-02T03:52:17.880Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"--seed -> seed in Update generate_properties.py","shortMessageHtmlLink":"--seed -> seed in Update generate_properties.py"}},{"before":"3cf08f3d7e6c509639d7a0802e2713b008fa6a3e","after":"a3b41d2cd2104b5665eafa03faf9b2ecb1d49d0c","ref":"refs/heads/master","pushedAt":"2023-06-01T08:29:20.734Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[remove] pandas.","shortMessageHtmlLink":"[remove] pandas."}},{"before":"9e73e643dcf772d0794e7c08bdebc0647136b227","after":"3cf08f3d7e6c509639d7a0802e2713b008fa6a3e","ref":"refs/heads/master","pushedAt":"2023-06-01T08:16:18.741Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Change] use cvs instead of pandas.","shortMessageHtmlLink":"[Change] use cvs instead of pandas."}},{"before":"5d8a342f1197064170d9e21dd5533c97000e3a8d","after":"9e73e643dcf772d0794e7c08bdebc0647136b227","ref":"refs/heads/master","pushedAt":"2023-05-31T17:11:07.087Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Update] the readme.","shortMessageHtmlLink":"[Update] the readme."}},{"before":"25d49f3b02495a35b7767280c26902887bdd4696","after":"5d8a342f1197064170d9e21dd5533c97000e3a8d","ref":"refs/heads/master","pushedAt":"2023-05-31T17:07:27.912Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Update] the readme.","shortMessageHtmlLink":"[Update] the readme."}},{"before":"10fb1cc0f6de536a44210a704d630d6e92f90c74","after":"25d49f3b02495a35b7767280c26902887bdd4696","ref":"refs/heads/master","pushedAt":"2023-05-31T17:01:14.970Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"Merge pull request #3 from apostovan21/andreea_ds\n\n[Get] instances.","shortMessageHtmlLink":"Merge pull request #3 from apostovan21/andreea_ds"}},{"before":"1a575579dd030fb14064bed0970d195076de13b3","after":"f3b3c8267731b5a5c69c19c9585ffc5474d4e574","ref":"refs/heads/andreea_ds","pushedAt":"2023-05-31T17:00:48.241Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Get] instances.","shortMessageHtmlLink":"[Get] instances."}},{"before":"30c1922828b82a7a9463a15c2b860d7079dbf154","after":"10fb1cc0f6de536a44210a704d630d6e92f90c74","ref":"refs/heads/master","pushedAt":"2023-05-31T16:44:35.788Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"Merge pull request #2 from apostovan21/andreea_ds\n\n[Add] instances.","shortMessageHtmlLink":"Merge pull request #2 from apostovan21/andreea_ds"}},{"before":"2b490a0538d013882fcc10274bc1132fd855860b","after":"1a575579dd030fb14064bed0970d195076de13b3","ref":"refs/heads/andreea_ds","pushedAt":"2023-05-31T16:44:05.882Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Add] instances.","shortMessageHtmlLink":"[Add] instances."}},{"before":"adb09db80c22be0a78ca8dccb4e94acf09a58a79","after":"30c1922828b82a7a9463a15c2b860d7079dbf154","ref":"refs/heads/master","pushedAt":"2023-05-31T14:48:33.234Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"Merge pull request #1 from apostovan21/andreea_ds\n\n[Add] dataset.","shortMessageHtmlLink":"Merge pull request #1 from apostovan21/andreea_ds"}},{"before":null,"after":"2b490a0538d013882fcc10274bc1132fd855860b","ref":"refs/heads/andreea_ds","pushedAt":"2023-05-31T14:47:18.553Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Add] dataset.","shortMessageHtmlLink":"[Add] dataset."}},{"before":"3c8380935452baa2ab9ff15a5746e36c7401cc1d","after":"adb09db80c22be0a78ca8dccb4e94acf09a58a79","ref":"refs/heads/master","pushedAt":"2023-05-31T14:38:39.302Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Change] he dir.","shortMessageHtmlLink":"[Change] he dir."}},{"before":"443d544e50ee3a7aeb4bdace90dedfc23dafb78b","after":"3c8380935452baa2ab9ff15a5746e36c7401cc1d","ref":"refs/heads/master","pushedAt":"2023-05-24T06:03:00.583Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"eb90c734f9fbd22f8eceaef367fc2f918dde60bd","after":"443d544e50ee3a7aeb4bdace90dedfc23dafb78b","ref":"refs/heads/master","pushedAt":"2023-05-23T05:43:26.590Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"05f71b29c563004cfd01be3574a810180bf9a255","after":"eb90c734f9fbd22f8eceaef367fc2f918dde60bd","ref":"refs/heads/master","pushedAt":"2023-05-23T05:41:14.699Z","pushType":"push","commitsCount":1,"pusher":{"login":"merascu","name":"Madalina Erascu","path":"/merascu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16763847?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6da71bfd24677707498934767817c948c58b43b3","after":"05f71b29c563004cfd01be3574a810180bf9a255","ref":"refs/heads/master","pushedAt":"2023-05-22T18:52:38.424Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Update] readme.","shortMessageHtmlLink":"[Update] readme."}},{"before":"915a4464c8ffac632963674fbade0d829d446218","after":"6da71bfd24677707498934767817c948c58b43b3","ref":"refs/heads/master","pushedAt":"2023-05-22T18:50:03.838Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Update] readme.","shortMessageHtmlLink":"[Update] readme."}},{"before":"d2b0eaf73331c81f41a21e4cc69d13da6dc7e056","after":"915a4464c8ffac632963674fbade0d829d446218","ref":"refs/heads/master","pushedAt":"2023-05-22T18:14:03.734Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Add] vnnlib files.","shortMessageHtmlLink":"[Add] vnnlib files."}},{"before":"861ac495c1927234486446b36d726ebb1613b56f","after":"d2b0eaf73331c81f41a21e4cc69d13da6dc7e056","ref":"refs/heads/master","pushedAt":"2023-05-22T18:12:37.269Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Add] onnx files.","shortMessageHtmlLink":"[Add] onnx files."}},{"before":"98a4af03b823d291db744085de3fe1879fa6852f","after":"861ac495c1927234486446b36d726ebb1613b56f","ref":"refs/heads/master","pushedAt":"2023-05-22T18:11:39.328Z","pushType":"push","commitsCount":1,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"[Add] the script.","shortMessageHtmlLink":"[Add] the script."}},{"before":null,"after":"98a4af03b823d291db744085de3fe1879fa6852f","ref":"refs/heads/master","pushedAt":"2023-05-22T18:10:28.712Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"apostovan21","name":null,"path":"/apostovan21","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113545276?s=80&v=4"},"commit":{"message":"first commit.","shortMessageHtmlLink":"first commit."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADTeMEdgA","startCursor":null,"endCursor":null}},"title":"Activity · apostovan21/vnncomp2023"}