{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":107311216,"defaultBranch":"master","name":"ikos","ownerLogin":"NASA-SW-VnV","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-10-17T18:55:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32881162?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711948595.0","currentOid":""},"activityList":{"items":[{"before":"fcdcb9f794516cada048d66c38a208eef87f2ad1","after":null,"ref":"refs/heads/release-3.3","pushedAt":"2024-04-01T05:16:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"}},{"before":"7eb2d0668871c32e3ea963e4b8b6384aba0eca5f","after":"799c2b0035eab9f42390abbdb14ce70999e3e04b","ref":"refs/heads/master","pushedAt":"2024-04-01T05:16:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'release-3.3'. Close #266.","shortMessageHtmlLink":"Merge branch 'release-3.3'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #266.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2217521971\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/266\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/266/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/266\">#266</a>."}},{"before":"55998a9d054326dc598cc3ea8bac572a0d0344a2","after":null,"ref":"refs/heads/dev-fix-pygments","pushedAt":"2024-04-01T05:10:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"}},{"before":"4907d78e78af2df158bb79db4ec1bc7506a7fd59","after":null,"ref":"refs/heads/dev-pass-order","pushedAt":"2024-04-01T05:10:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"}},{"before":null,"after":"fcdcb9f794516cada048d66c38a208eef87f2ad1","ref":"refs/heads/release-3.3","pushedAt":"2024-04-01T05:02:48.000Z","pushType":"branch_creation","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":"Update badges in README to refer to IKOS 3.3 (#266).\n\nThe badges at the top of the README file refer to a specific release (tag).\n\nThis commit updates the badges to point to the upcoming 3.3 release.","shortMessageHtmlLink":"Update badges in README to refer to IKOS 3.3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2217521971\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/266\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/266/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/266\">#266</a>)."}},{"before":"39a88c00fb8f22516e3420898eeae7d82fde2d61","after":"7eb2d0668871c32e3ea963e4b8b6384aba0eca5f","ref":"refs/heads/master","pushedAt":"2024-04-01T04:57:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-pass-order'. Close #205.","shortMessageHtmlLink":"Merge branch 'dev-pass-order'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #205.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1711399066\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/205\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/205/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/205\">#205</a>."}},{"before":null,"after":"4907d78e78af2df158bb79db4ec1bc7506a7fd59","ref":"refs/heads/dev-pass-order","pushedAt":"2024-04-01T04:45:27.000Z","pushType":"branch_creation","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":"Switch pass order (#205).\n\nThe current order of passes in the frontend leads to issues due to the\nexpansion of switches and the introduction of branching instructions,\npotentially leading to dead cycles.\n\nThis commit delays the dead cycles pass until after the switch pass\n(remove switch constructions).","shortMessageHtmlLink":"Switch pass order (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1711399066\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/205\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/205/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/205\">#205</a>)."}},{"before":"fcca375059dce2e173dd23e724d6382afac7c57a","after":"39a88c00fb8f22516e3420898eeae7d82fde2d61","ref":"refs/heads/master","pushedAt":"2024-04-01T04:32:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-fix-pygments'. Close #264.","shortMessageHtmlLink":"Merge branch 'dev-fix-pygments'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #264.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2139157473\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/264\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/264/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/264\">#264</a>."}},{"before":null,"after":"55998a9d054326dc598cc3ea8bac572a0d0344a2","ref":"refs/heads/dev-fix-pygments","pushedAt":"2024-04-01T03:56:43.000Z","pushType":"branch_creation","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":"Make compatible with Pygments >= 2.12 (#264).\n\nVersion 2.12.0 of pygments, released in 2022. changed the signature of\nHtmlFormatter.wrap, removing one argument. This makes several subclasses\nincompatible with those versions of pygments.\n\nThis commit adjusts the signatures to remove that unused argument, and\nadjusts the call points accordingly.","shortMessageHtmlLink":"Make compatible with Pygments &gt;= 2.12 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2139157473\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/264\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/264/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/264\">#264</a>)."}},{"before":"1185cc840892e363e69cd092070cd5b3b204dd5d","after":"fcca375059dce2e173dd23e724d6382afac7c57a","ref":"refs/heads/master","pushedAt":"2024-01-28T01:26:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-add-cstdint-includes'. Close #263.","shortMessageHtmlLink":"Merge branch 'dev-add-cstdint-includes'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #263.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2101719684\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/263\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/263/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/263\">#263</a>."}},{"before":"a21c5eaceb9d48ea07a21b0f7efffa2c70af8170","after":"1185cc840892e363e69cd092070cd5b3b204dd5d","ref":"refs/heads/master","pushedAt":"2023-12-28T16:30:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'release-3.2'. Close #255.","shortMessageHtmlLink":"Merge branch 'release-3.2'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #255.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2055968449\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/255\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/255/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/255\">#255</a>."}},{"before":"141bd71e5472d9e423720e9c9fc8864c4a8cdb4c","after":"a21c5eaceb9d48ea07a21b0f7efffa2c70af8170","ref":"refs/heads/master","pushedAt":"2023-12-17T03:09:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'release-3.2-rc1'. Close #251.","shortMessageHtmlLink":"Merge branch 'release-3.2-rc1'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #251.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2045032331\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/251\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/251/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/251\">#251</a>."}},{"before":"415edf669ee0489719babd23916b96026f59c76c","after":"141bd71e5472d9e423720e9c9fc8864c4a8cdb4c","ref":"refs/heads/master","pushedAt":"2023-12-15T12:48:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-ikos-version-copyright'. Close #249.","shortMessageHtmlLink":"Merge branch 'dev-ikos-version-copyright'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #249.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2043540365\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/249\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/249/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/249\">#249</a>."}},{"before":"5cc23539462fe9691a88c8bef7d5e21cac09bdb6","after":"415edf669ee0489719babd23916b96026f59c76c","ref":"refs/heads/master","pushedAt":"2023-12-14T22:45:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-copyright-years'. Close #246.","shortMessageHtmlLink":"Merge branch 'dev-copyright-years'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #246.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2041371964\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/246\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/246/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/246\">#246</a>."}},{"before":"21cd2b57e2b88400c913e9b155e67901f929f5a2","after":"5cc23539462fe9691a88c8bef7d5e21cac09bdb6","ref":"refs/heads/master","pushedAt":"2023-12-14T09:05:17.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-venv'. Close #243.","shortMessageHtmlLink":"Merge branch 'dev-venv'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #243.\">Close</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\">#243</a>."}},{"before":"03293b7f21ac5510aadec84e1e6efc96cb772673","after":"21cd2b57e2b88400c913e9b155e67901f929f5a2","ref":"refs/heads/master","pushedAt":"2023-12-10T01:53:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-pip-package'. Close #242.","shortMessageHtmlLink":"Merge branch 'dev-pip-package'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #242.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033873278\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/242\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/242/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/242\">#242</a>."}},{"before":"412570758dcf1428bf9ae13370fb96651f0d4fab","after":"03293b7f21ac5510aadec84e1e6efc96cb772673","ref":"refs/heads/master","pushedAt":"2023-12-05T09:38:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-objdump-output'. Close #203.","shortMessageHtmlLink":"Merge branch 'dev-objdump-output'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #203.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1654190148\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/203\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/203/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/203\">#203</a>."}},{"before":"ae8200b7f8f1c26e3f92d2529e84428fa199f844","after":"412570758dcf1428bf9ae13370fb96651f0d4fab","ref":"refs/heads/master","pushedAt":"2023-12-05T02:12:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-installation-apron'. Close #78.","shortMessageHtmlLink":"Merge branch 'dev-installation-apron'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #78.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"398524384\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/78\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/78/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/78\">#78</a>."}},{"before":"45d7f1c7ef03bdc0a32cb50e1c699e24fe468da3","after":"ae8200b7f8f1c26e3f92d2529e84428fa199f844","ref":"refs/heads/master","pushedAt":"2023-11-29T10:45:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-release-notes'. Close #219.","shortMessageHtmlLink":"Merge branch 'dev-release-notes'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #219.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1820604582\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/219\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/219/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/219\">#219</a>."}},{"before":"a8208bbd8a41e4edb68842616b86a2cd457cf7b9","after":"45d7f1c7ef03bdc0a32cb50e1c699e24fe468da3","ref":"refs/heads/master","pushedAt":"2023-11-29T10:20:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-fix-server-ipv6'. Close #158.","shortMessageHtmlLink":"Merge branch 'dev-fix-server-ipv6'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #158.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"568230925\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/158\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/158/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/158\">#158</a>."}},{"before":"1db7d215a82bf8eb48b2c274bc7e3afd14f9c200","after":"a8208bbd8a41e4edb68842616b86a2cd457cf7b9","ref":"refs/heads/master","pushedAt":"2023-11-08T18:51:54.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-gha'. Close #186.","shortMessageHtmlLink":"Merge branch 'dev-gha'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #186.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1210379063\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/186\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/186/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/186\">#186</a>."}},{"before":"7fa8b2f8e8e0aa9050c9f6e92cbd5309673b4922","after":"1db7d215a82bf8eb48b2c274bc7e3afd14f9c200","ref":"refs/heads/master","pushedAt":"2023-11-08T00:46:10.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":"Merge branch 'dev-macos-sqlite3'. Close #223.","shortMessageHtmlLink":"Merge branch 'dev-macos-sqlite3'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #223.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1846897466\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/223\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/223/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/223\">#223</a>."}},{"before":"2ebab7d1bc2d6d7fc274e388cc307107b242e4f4","after":"7fa8b2f8e8e0aa9050c9f6e92cbd5309673b4922","ref":"refs/heads/master","pushedAt":"2023-11-08T00:44:59.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-macos-sqlite3'. Close 223.","shortMessageHtmlLink":"Merge branch 'dev-macos-sqlite3'. Close 223."}},{"before":"da3fb8cfa9c2ed15d0f818eb4b270e7aee257991","after":"2ebab7d1bc2d6d7fc274e388cc307107b242e4f4","ref":"refs/heads/master","pushedAt":"2023-11-04T18:01:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-limitations-multithreaded'. Close #124.","shortMessageHtmlLink":"Merge branch 'dev-limitations-multithreaded'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #124.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"455999913\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/124\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/124/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/124\">#124</a>."}},{"before":"da4a4bfb236d96aaf9ff5470addf1fb55fbe0645","after":"da3fb8cfa9c2ed15d0f818eb4b270e7aee257991","ref":"refs/heads/master","pushedAt":"2023-11-04T17:31:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-setuptools'. Close #193. Close #185.","shortMessageHtmlLink":"Merge branch 'dev-setuptools'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #193.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1433616503\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/193\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/193/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/193\">#193</a>. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #185.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1187010406\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/185\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/185/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/185\">#185</a>."}},{"before":"8608a78adfb7c6c5421b9eec4d5bc6929f5bd647","after":"da4a4bfb236d96aaf9ff5470addf1fb55fbe0645","ref":"refs/heads/master","pushedAt":"2023-10-29T15:03:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ivanperez-keera","name":"Ivan Perez, PhD","path":"/ivanperez-keera","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1162320?s=80&v=4"},"commit":{"message":"Merge branch 'dev-fix-typo-comment'. Close #227.","shortMessageHtmlLink":"Merge branch 'dev-fix-typo-comment'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #227.\">Close</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1962768382\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/227\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/227/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/227\">#227</a>."}},{"before":"18a5d0bba2030981b4bc39e8131fed91f1028ad2","after":"8608a78adfb7c6c5421b9eec4d5bc6929f5bd647","ref":"refs/heads/master","pushedAt":"2023-08-05T08:53:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"arthaud","name":"Maxime Arthaud","path":"/arthaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2151557?s=80&v=4"},"commit":{"message":"Fix the unaligned pointer analysis check parameter in the README.md file (#222)\n\nIn the `README.md` file, for the unaligned pointer analysis check, it could be seen `-a=upav` although it had to be `-a=upa`.","shortMessageHtmlLink":"Fix the unaligned pointer analysis check parameter in the README.md f…"}},{"before":"e032ff08d108b7efa1e09dae1a5ff66da02ebd1f","after":"18a5d0bba2030981b4bc39e8131fed91f1028ad2","ref":"refs/heads/master","pushedAt":"2023-07-25T07:46:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arthaud","name":"Maxime Arthaud","path":"/arthaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2151557?s=80&v=4"},"commit":{"message":"Make git not ignore doc/install (#217).\n\nThe .gitignore rules are causing the directory doc/install to be ignored, which\nis not desirable.\n\nThis commit specifically whitelists doc/install/.","shortMessageHtmlLink":"Make git not ignore doc/install (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1818791532\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/217\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/217/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/217\">#217</a>)."}},{"before":"2e647432427b3f0dbb639e0371d976ab6406f290","after":"e032ff08d108b7efa1e09dae1a5ff66da02ebd1f","ref":"refs/heads/master","pushedAt":"2023-07-24T08:30:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"arthaud","name":"Maxime Arthaud","path":"/arthaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2151557?s=80&v=4"},"commit":{"message":"[analyzer] Handle formatting path in drive different from cwd (#165).\n\nThe report-view command throws an exception when executed in Windows\nfrom a path in a drive different from that of the files being analyzed.\n\nThis is due to the use of os.path.relpath on two paths in potentially\ndifferent drives as part of the definition of format_path. According to\nrelpath's definition, the function throws a ValueError on Windows if the\ntwo arguments provided are on different drives.\n\nThis commit modifies format_path so that it first checks if the paths\nare on different drives, returning the absolute path in that case, and\nexecuting the old behavior otherwise.","shortMessageHtmlLink":"[analyzer] Handle formatting path in drive different from cwd (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"710656253\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NASA-SW-VnV/ikos/issues/165\" data-hovercard-type=\"issue\" data-hovercard-url=\"/NASA-SW-VnV/ikos/issues/165/hovercard\" href=\"https://github.com/NASA-SW-VnV/ikos/issues/165\">#165</a>)."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEJCv8WwA","startCursor":null,"endCursor":null}},"title":"Activity · NASA-SW-VnV/ikos"}