{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":729784418,"defaultBranch":"master","name":"ikos","ownerLogin":"arthaud","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-12-10T10:57:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2151557?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702205854.572172","currentOid":""},"activityList":{"items":[{"before":"3ef926777bbdfcb422231d27e3842c5ae2964a37","after":"0a8d9461a9de20184413991f222e620cb8341578","ref":"refs/heads/master","pushedAt":"2023-12-13T04:58:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Adjust bootstrap script to remove support for Python 2 (#243).\n\nThis commit adjusts the bootstrap script to remove any logic pertaining to\nPython 2, which IKOS no longer supports.","shortMessageHtmlLink":"Adjust bootstrap script to remove support for Python 2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033875959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/243\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/243/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/243\">NASA-SW-VnV#243</a>…"}},{"before":"636d2f5a72ec02138ca9179a6e4640d2968ad207","after":"3ef926777bbdfcb422231d27e3842c5ae2964a37","ref":"refs/heads/master","pushedAt":"2023-12-13T04:53:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Adjust bootstrap script to remove support for Python 2 (#243).\n\nThis commit adjusts the bootstrap script to remove any logic pertaining to\nPython 2, which IKOS no longer supports.","shortMessageHtmlLink":"Adjust bootstrap script to remove support for Python 2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033875959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/243\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/243/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/243\">NASA-SW-VnV#243</a>…"}},{"before":"0a22ac581ac7b544200adadebe93d3e91dfae7c6","after":"636d2f5a72ec02138ca9179a6e4640d2968ad207","ref":"refs/heads/master","pushedAt":"2023-12-13T02:58:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Adjust bootstrap script to remove support for Python 2 (#243).\n\nThis commit adjusts the bootstrap script to remove any logic pertaining to\nPython 2, which IKOS no longer supports.","shortMessageHtmlLink":"Adjust bootstrap script to remove support for Python 2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033875959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/243\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/243/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/243\">NASA-SW-VnV#243</a>…"}},{"before":"990768b5691554be1d09d26185f1afc600b8e2c4","after":"0a22ac581ac7b544200adadebe93d3e91dfae7c6","ref":"refs/heads/master","pushedAt":"2023-12-11T11:32:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arthaud","name":"Maxime Arthaud","path":"/arthaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2151557?s=80&v=4"},"commit":{"message":"Remove unnecessary dependencies from CI jobs (#243)","shortMessageHtmlLink":"Remove unnecessary dependencies from CI jobs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033875959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/243\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/243/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/243\">NASA-SW-VnV#243</a>)"}},{"before":"ad754ac11de3801447333d160083cd0a030ce39c","after":"990768b5691554be1d09d26185f1afc600b8e2c4","ref":"refs/heads/master","pushedAt":"2023-12-11T11:29:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arthaud","name":"Maxime Arthaud","path":"/arthaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2151557?s=80&v=4"},"commit":{"message":"Install the python module inside a virtual environment (#243)\n\nThe current installation process tries to install the ikos python module\nas a system library. This is probably not what a typical user want.\n\nInstead, let's install a virtual environment for ikos and install the\npython module within it. Following homebrew's standard, this is\ninstalled under <install-path>/libexec.\n\nNote that this also deprecates Python 2 since virtual environments\nrequire Python 3.3","shortMessageHtmlLink":"Install the python module inside a virtual environment (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033875959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/243\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/243/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/243\">NASA-SW-VnV#243</a>)"}},{"before":"21cd2b57e2b88400c913e9b155e67901f929f5a2","after":"ad754ac11de3801447333d160083cd0a030ce39c","ref":"refs/heads/master","pushedAt":"2023-12-10T12:17:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arthaud","name":"Maxime Arthaud","path":"/arthaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2151557?s=80&v=4"},"commit":{"message":"Install the python module inside a virtual environment (fix #243)\n\nThe current installation process tries to install the ikos python module\nas a system library. This is probably not what a typical user want.\n\nInstead, let's install a virtual environment for ikos and install the\npython module within it. Following homebrew's standard, this is\ninstalled under <install-path>/libexec.","shortMessageHtmlLink":"Install the python module inside a virtual environment (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #243.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033875959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/243\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/243/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/243\">NASA-SW-V…</a>"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADyQ0QiwA","startCursor":null,"endCursor":null}},"title":"Activity · arthaud/ikos"}