{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":145476354,"defaultBranch":"master","name":"nnv","ownerLogin":"verivital","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-08-20T22:22:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10264963?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713817375.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"23138b2cd79695bc59ee189c09dcc831ebd02a44","ref":"refs/heads/dependabot/pip/code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube/scipy-1.11.1","pushedAt":"2024-04-22T20:22:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump scipy\n\nBumps [scipy](https://github.com/scipy/scipy) from 1.5.4 to 1.11.1.\n- [Release notes](https://github.com/scipy/scipy/releases)\n- [Commits](https://github.com/scipy/scipy/compare/v1.5.4...v1.11.1)\n\n---\nupdated-dependencies:\n- dependency-name: scipy\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump scipy"}},{"before":null,"after":"938697a2a7f1a0d9df4b8dc0156fdf20c25d6463","ref":"refs/heads/dependabot/pip/code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube/pillow-10.3.0","pushedAt":"2024-04-03T18:15:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump pillow\n\nBumps [pillow](https://github.com/python-pillow/Pillow) from 8.0.1 to 10.3.0.\n- [Release notes](https://github.com/python-pillow/Pillow/releases)\n- [Changelog](https://github.com/python-pillow/Pillow/blob/main/CHANGES.rst)\n- [Commits](https://github.com/python-pillow/Pillow/compare/8.0.1...10.3.0)\n\n---\nupdated-dependencies:\n- dependency-name: pillow\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump pillow"}},{"before":"7dc4a5e59897a3c0e98c1d38924f6ba4a0f978f1","after":"594c0a1ed5eeaa01cf122c077878495607fee132","ref":"refs/heads/master","pushedAt":"2024-04-01T15:31:24.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #219 from mldiego/master\n\nNot much","shortMessageHtmlLink":"Merge pull request #219 from mldiego/master"}},{"before":"11f085f8ed64f1f401e0c32aadcf1486516de0d4","after":"7dc4a5e59897a3c0e98c1d38924f6ba4a0f978f1","ref":"refs/heads/master","pushedAt":"2024-03-29T21:49:06.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #218 from mldiego/master\n\nAdd some instructions/comments for vnncomp 2024","shortMessageHtmlLink":"Merge pull request #218 from mldiego/master"}},{"before":"8a818ef53ba2646ebe9d9d9b7d05527681f4f902","after":"11f085f8ed64f1f401e0c32aadcf1486516de0d4","ref":"refs/heads/master","pushedAt":"2024-03-29T20:08:23.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #217 from mldiego/master\n\nGPU support, Conv1D issue","shortMessageHtmlLink":"Merge pull request #217 from mldiego/master"}},{"before":"48830a8092d48b3dbd3e06f9ab8fe0a6884834bb","after":"8a818ef53ba2646ebe9d9d9b7d05527681f4f902","ref":"refs/heads/master","pushedAt":"2024-03-29T19:26:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ttj","name":"Taylor Johnson","path":"/ttj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1072172?s=80&v=4"},"commit":{"message":"forcing cora submodule update","shortMessageHtmlLink":"forcing cora submodule update"}},{"before":"2189b88c72e4ea4eef774a6e4fa0def6e5ad7087","after":"48830a8092d48b3dbd3e06f9ab8fe0a6884834bb","ref":"refs/heads/master","pushedAt":"2024-03-21T21:11:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #214 from mldiego/master\n\nUpdate to last CORA commit","shortMessageHtmlLink":"Merge pull request #214 from mldiego/master"}},{"before":"0687ce470325c63aad200f524fd289969937d7d4","after":"2189b88c72e4ea4eef774a6e4fa0def6e5ad7087","ref":"refs/heads/master","pushedAt":"2024-03-21T20:46:40.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #213 from mldiego/master\n\nCORA updates, ARCH-COMP 2024","shortMessageHtmlLink":"Merge pull request #213 from mldiego/master"}},{"before":"dbe8633105dcc16f2374c72896601793556d6c3c","after":"0687ce470325c63aad200f524fd289969937d7d4","ref":"refs/heads/master","pushedAt":"2024-03-20T21:19:58.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #212 from mldiego/master\n\nMisc. error fixes","shortMessageHtmlLink":"Merge pull request #212 from mldiego/master"}},{"before":"30cb49ce7cb8827d5b42e4712642bf0dd1d2c8a2","after":"dbe8633105dcc16f2374c72896601793556d6c3c","ref":"refs/heads/master","pushedAt":"2024-02-16T23:18:44.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #211 from mldiego/master\n\nFix precision error on caused by MaxPooling reachability","shortMessageHtmlLink":"Merge pull request #211 from mldiego/master"}},{"before":"ed131085bbcafd8ed30de41e3d0b8d5c3c53fb43","after":"30cb49ce7cb8827d5b42e4712642bf0dd1d2c8a2","ref":"refs/heads/master","pushedAt":"2024-02-14T01:10:57.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #210 from mldiego/master\n\nFix CAV2023 regression issue","shortMessageHtmlLink":"Merge pull request #210 from mldiego/master"}},{"before":"3c18a62a040078d34eb17b67b4d8c1b1fd1791c3","after":"ed131085bbcafd8ed30de41e3d0b8d5c3c53fb43","ref":"refs/heads/master","pushedAt":"2024-02-06T19:27:08.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #209 from mldiego/master\n\nSegmentation for medical image","shortMessageHtmlLink":"Merge pull request #209 from mldiego/master"}},{"before":"3d2009a04ea3c6ca7b33a9f664ab1ad44862fba6","after":"3c18a62a040078d34eb17b67b4d8c1b1fd1791c3","ref":"refs/heads/master","pushedAt":"2024-02-06T19:25:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #204 from Neelanjana314/master\n\nSupport for FMAS2023","shortMessageHtmlLink":"Merge pull request #204 from Neelanjana314/master"}},{"before":"ce6fbbd0a57a9319b0327b4c164ab0a57d31659d","after":null,"ref":"refs/heads/dependabot/pip/code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube/pillow-10.2.0","pushedAt":"2024-02-06T19:23:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"ce6fbbd0a57a9319b0327b4c164ab0a57d31659d","ref":"refs/heads/dependabot/pip/code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube/pillow-10.2.0","pushedAt":"2024-01-22T23:57:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump pillow\n\nBumps [pillow](https://github.com/python-pillow/Pillow) from 8.0.1 to 10.2.0.\n- [Release notes](https://github.com/python-pillow/Pillow/releases)\n- [Changelog](https://github.com/python-pillow/Pillow/blob/main/CHANGES.rst)\n- [Commits](https://github.com/python-pillow/Pillow/compare/8.0.1...10.2.0)\n\n---\nupdated-dependencies:\n- dependency-name: pillow\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump pillow"}},{"before":"34323a0d1484ab9212fe848e13e67d0eeed239de","after":"3d2009a04ea3c6ca7b33a9f664ab1ad44862fba6","ref":"refs/heads/master","pushedAt":"2024-01-12T00:15:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #207 from mldiego/master\n\nFix precision error on CAV23, add tests and other small fixes","shortMessageHtmlLink":"Merge pull request #207 from mldiego/master"}},{"before":"6670eaa6997ef8bde0c6a2a8a338dd2b03a3c215","after":"34323a0d1484ab9212fe848e13e67d0eeed239de","ref":"refs/heads/master","pushedAt":"2024-01-11T16:08:44.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #206 from mldiego/master\n\nSome tests, vnnlib error fix","shortMessageHtmlLink":"Merge pull request #206 from mldiego/master"}},{"before":"c64fdcd8848691c11fec2e3af4e89c69cbc957f9","after":"6670eaa6997ef8bde0c6a2a8a338dd2b03a3c215","ref":"refs/heads/master","pushedAt":"2023-12-08T19:23:01.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #203 from mldiego/master\n\npaddingMat = [] for Conv2D and s specification example for vnnlib","shortMessageHtmlLink":"Merge pull request #203 from mldiego/master"}},{"before":"15884dfe927546d2597dc58ed0b6ad8384566558","after":"c64fdcd8848691c11fec2e3af4e89c69cbc957f9","ref":"refs/heads/master","pushedAt":"2023-11-03T21:50:55.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #202 from mldiego/master\n\nFix single pendulum error","shortMessageHtmlLink":"Merge pull request #202 from mldiego/master"}},{"before":"8ed971074c56db816c4b37d5544d9c5b9ded02b9","after":"15884dfe927546d2597dc58ed0b6ad8384566558","ref":"refs/heads/master","pushedAt":"2023-10-19T17:38:24.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #201 from mldiego/master\n\nRename for conflicts when pull","shortMessageHtmlLink":"Merge pull request #201 from mldiego/master"}},{"before":"c77fe871fdc676e68ca44eacad10569d49c0fdcc","after":"8ed971074c56db816c4b37d5544d9c5b9ded02b9","ref":"refs/heads/master","pushedAt":"2023-10-18T16:58:09.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #199 from mldiego/master\n\nFinalizing CI","shortMessageHtmlLink":"Merge pull request #199 from mldiego/master"}},{"before":"3ca038ff76d914967b1a0505b8825030083ed6a0","after":"c77fe871fdc676e68ca44eacad10569d49c0fdcc","ref":"refs/heads/master","pushedAt":"2023-10-17T22:53:48.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #198 from mldiego/master\n\nFix testing pipeline","shortMessageHtmlLink":"Merge pull request #198 from mldiego/master"}},{"before":"b6ba4de4fa993dbfc1203d9ae38bebf6bbec70c7","after":"3ca038ff76d914967b1a0505b8825030083ed6a0","ref":"refs/heads/master","pushedAt":"2023-10-17T21:11:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Update ci.yml","shortMessageHtmlLink":"Update ci.yml"}},{"before":"2fae3056481b8871ed38ad7e2478f8f3b7a9dc51","after":null,"ref":"refs/heads/dependabot/pip/code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube/numpy-1.22.0","pushedAt":"2023-10-17T20:40:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"2fae3056481b8871ed38ad7e2478f8f3b7a9dc51","ref":"refs/heads/dependabot/pip/code/nnv/examples/Submission/FORMATS2022/Comparison/Gotube/numpy-1.22.0","pushedAt":"2023-10-17T20:38:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump numpy\n\nBumps [numpy](https://github.com/numpy/numpy) from 1.19.4 to 1.22.0.\n- [Release notes](https://github.com/numpy/numpy/releases)\n- [Changelog](https://github.com/numpy/numpy/blob/main/doc/RELEASE_WALKTHROUGH.rst)\n- [Commits](https://github.com/numpy/numpy/compare/v1.19.4...v1.22.0)\n\n---\nupdated-dependencies:\n- dependency-name: numpy\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump numpy"}},{"before":"cca95e52bf8d5edbd63ea465317228dc1f6f9810","after":"b6ba4de4fa993dbfc1203d9ae38bebf6bbec70c7","ref":"refs/heads/master","pushedAt":"2023-10-17T20:37:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Create ci.yml","shortMessageHtmlLink":"Create ci.yml"}},{"before":"eba0c6ff74173825986fdd0695228481631f8844","after":"cca95e52bf8d5edbd63ea465317228dc1f6f9810","ref":"refs/heads/master","pushedAt":"2023-10-17T20:15:31.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #196 from mldiego/master\n\nAISOLA 2023 - mnist and mednist code","shortMessageHtmlLink":"Merge pull request #196 from mldiego/master"}},{"before":"aac3a622c85f07b29f1851ab12286dd08b66f1d1","after":"eba0c6ff74173825986fdd0695228481631f8844","ref":"refs/heads/master","pushedAt":"2023-10-13T16:26:44.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Merge pull request #195 from mldiego/master\n\ntests for tutorial scripts","shortMessageHtmlLink":"Merge pull request #195 from mldiego/master"}},{"before":"3b0b8bd6b8f5daf21348490a7b0d7e3b487db5d4","after":"aac3a622c85f07b29f1851ab12286dd08b66f1d1","ref":"refs/heads/master","pushedAt":"2023-10-12T23:57:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Update readme.md for IAVVC 2023","shortMessageHtmlLink":"Update readme.md for IAVVC 2023"}},{"before":"c439229dfbacdcf224af2a3f06455b497543cfdf","after":"3b0b8bd6b8f5daf21348490a7b0d7e3b487db5d4","ref":"refs/heads/master","pushedAt":"2023-10-12T23:32:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mldiego","name":"Diego Manzanas Lopez","path":"/mldiego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39501815?s=80&v=4"},"commit":{"message":"Update readme.md","shortMessageHtmlLink":"Update readme.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEN2gkeAA","startCursor":null,"endCursor":null}},"title":"Activity ยท verivital/nnv"}