{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":62891887,"defaultBranch":"main","name":"inox","ownerLogin":"epfl-lara","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-07-08T13:47:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3035238?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1696405394.0","currentOid":""},"activityList":{"items":[{"before":"ce31209d4fa7dab406339c692d9ab0ef2b142545","after":"3f5bd759182f1c07ac1da2c48ed75c759bfe95ba","ref":"refs/heads/main","pushedAt":"2024-05-27T11:09:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Bump to Scala 3.3.3 / with alias fix for targetProgram.type (#211)\n\nCo-authored-by: Samuel Chassot <14821693+samuelchassot@users.noreply.github.com>\r\nCo-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>","shortMessageHtmlLink":"Bump to Scala 3.3.3 / with alias fix for targetProgram.type (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2292730910\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/211\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/211/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/211\">#211</a>)"}},{"before":"f5d0dc48fd2ec25b00a825acc45b99d58923a46f","after":"ce31209d4fa7dab406339c692d9ab0ef2b142545","ref":"refs/heads/main","pushedAt":"2024-05-27T10:15:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Add --cvc-simple-models=true|false option that passes --model-cores=simple to cvc solvers (#212)\n\n* add option --model-cores=simple to cvc5\r\n\r\n* add cvc-simple-models options","shortMessageHtmlLink":"Add --cvc-simple-models=true|false option that passes --model-cores=s…"}},{"before":"9fdb4d494133595fd832584e8aaa64b3f027fbab","after":"f5d0dc48fd2ec25b00a825acc45b99d58923a46f","ref":"refs/heads/main","pushedAt":"2024-05-27T09:55:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelchassot","name":"Samuel Chassot","path":"/samuelchassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14821693?s=80&v=4"},"commit":{"message":"add sankalp as a trusted user","shortMessageHtmlLink":"add sankalp as a trusted user"}},{"before":"b52519385ba1473ce6d4dab21e5b6bc9b284f7f4","after":"9fdb4d494133595fd832584e8aaa64b3f027fbab","ref":"refs/heads/main","pushedAt":"2024-04-23T11:00:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Update README.md to refer to cvc5 as well","shortMessageHtmlLink":"Update README.md to refer to cvc5 as well"}},{"before":"3b02dcf4308f9e8d74ea82304bd651be8e93517f","after":"b52519385ba1473ce6d4dab21e5b6bc9b284f7f4","ref":"refs/heads/main","pushedAt":"2024-04-22T13:09:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Emit set-logic all for cvc4, cvc5, and z3 (#207)\n\n* emit set-logic all for CVCTarget ( cvc4, cvc5 ) but not z3","shortMessageHtmlLink":"Emit set-logic all for cvc4, cvc5, and z3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255930785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/207\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/207/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/207\">#207</a>)"}},{"before":"d00f899a4700d8d86c83c756e517437ce8e2ebf8","after":"3b02dcf4308f9e8d74ea82304bd651be8e93517f","ref":"refs/heads/main","pushedAt":"2024-04-19T14:04:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"add a function to get the SMT lib ID from the solver if needed (#206)","shortMessageHtmlLink":"add a function to get the SMT lib ID from the solver if needed (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240305399\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/206\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/206/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/206\">#206</a>)"}},{"before":"ae3eb97aaf50696bf416104ceae5b5d85be334db","after":"d00f899a4700d8d86c83c756e517437ce8e2ebf8","ref":"refs/heads/main","pushedAt":"2024-04-19T13:48:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Achievement unlocked: Samuel is a trusted Inox user","shortMessageHtmlLink":"Achievement unlocked: Samuel is a trusted Inox user"}},{"before":"b265b93559894b722552d2d497f9e7123e423461","after":"ae3eb97aaf50696bf416104ceae5b5d85be334db","ref":"refs/heads/main","pushedAt":"2023-10-31T13:44:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Improve performance of DiGraph (#204)","shortMessageHtmlLink":"Improve performance of DiGraph (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1969968516\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/204\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/204/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/204\">#204</a>)"}},{"before":"6bf9302bd9dae1b00ee902654b46b73ac5b01fcd","after":"b265b93559894b722552d2d497f9e7123e423461","ref":"refs/heads/main","pushedAt":"2023-10-10T13:14:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Add support for cvc5 (#203)","shortMessageHtmlLink":"Add support for cvc5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1934710951\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/203\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/203/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/203\">#203</a>)"}},{"before":"5621635beb4892fe4606a195eb8f16441ccbe356","after":"6bf9302bd9dae1b00ee902654b46b73ac5b01fcd","ref":"refs/heads/main","pushedAt":"2023-10-05T19:57:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Add sbt assembly to create self-contained jars (#201)","shortMessageHtmlLink":"Add sbt assembly to create self-contained jars (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1925602588\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/201\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/201/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/201\">#201</a>)"}},{"before":"c46574468959e60caaac79b81ca1bee003c1d94b","after":"bb245a9a5977383345808b4ac590b78de62a9f22","ref":"refs/heads/add-sbt-assembly","pushedAt":"2023-10-05T19:50:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Add sbt assembly to create self-contained jars","shortMessageHtmlLink":"Add sbt assembly to create self-contained jars"}},{"before":"206c261b80d673436e6f83fe5bf0322c1cdadf74","after":"5621635beb4892fe4606a195eb8f16441ccbe356","ref":"refs/heads/main","pushedAt":"2023-10-05T11:01:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Upgrade to Scala 3.3 (#202)","shortMessageHtmlLink":"Upgrade to Scala 3.3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1926051803\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/202\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/202/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/202\">#202</a>)"}},{"before":"206c261b80d673436e6f83fe5bf0322c1cdadf74","after":"c46574468959e60caaac79b81ca1bee003c1d94b","ref":"refs/heads/add-sbt-assembly","pushedAt":"2023-10-04T07:45:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Add sbt assembly to create self-contained jars","shortMessageHtmlLink":"Add sbt assembly to create self-contained jars"}},{"before":null,"after":"206c261b80d673436e6f83fe5bf0322c1cdadf74","ref":"refs/heads/add-sbt-assembly","pushedAt":"2023-10-04T07:43:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Use a map of incoming and outcoming edges to avoid repeated traversal (#200)","shortMessageHtmlLink":"Use a map of incoming and outcoming edges to avoid repeated traversal (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1917074453\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/200\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/200/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/200\">…</a>"}},{"before":"ec6112f8b3e5910b78518a367f1f6b55ee0e3d81","after":"206c261b80d673436e6f83fe5bf0322c1cdadf74","ref":"refs/heads/main","pushedAt":"2023-09-28T20:59:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Use a map of incoming and outcoming edges to avoid repeated traversal (#200)","shortMessageHtmlLink":"Use a map of incoming and outcoming edges to avoid repeated traversal (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1917074453\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/200\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/200/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/200\">…</a>"}},{"before":"f72ef1a582969859d53b8ba03395d325308e7c03","after":"ec6112f8b3e5910b78518a367f1f6b55ee0e3d81","ref":"refs/heads/main","pushedAt":"2023-06-14T15:11:52.017Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Inline ADT and tuple selection for variables (#198)","shortMessageHtmlLink":"Inline ADT and tuple selection for variables (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1676255550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/198\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/198/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/198\">#198</a>)"}},{"before":"41ffe806b04769c0d6757ebfeb17a96c7d5efd8a","after":"f72ef1a582969859d53b8ba03395d325308e7c03","ref":"refs/heads/main","pushedAt":"2023-05-01T14:39:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Changes to Reporter (#199)","shortMessageHtmlLink":"Changes to Reporter (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1690558510\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/199\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/199/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/199\">#199</a>)"}},{"before":"23aa99dd55ab97fd2b818d86d1564c804d8994e3","after":"41ffe806b04769c0d6757ebfeb17a96c7d5efd8a","ref":"refs/heads/main","pushedAt":"2023-03-24T11:59:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Do not print unicode characters by default (#196)","shortMessageHtmlLink":"Do not print unicode characters by default (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1635833932\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/196\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/196/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/196\">#196</a>)"}},{"before":"6efba92979cc420fd73dda8bfafa05102f0f4047","after":"23aa99dd55ab97fd2b818d86d1564c804d8994e3","ref":"refs/heads/main","pushedAt":"2023-03-24T11:39:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Expand the evaluator API to allow ignoring contracts locally (#197)","shortMessageHtmlLink":"Expand the evaluator API to allow ignoring contracts locally (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1635851370\" data-permission-text=\"Title is private\" data-url=\"https://github.com/epfl-lara/inox/issues/197\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/epfl-lara/inox/pull/197/hovercard\" href=\"https://github.com/epfl-lara/inox/pull/197\">#197</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVMySmAA","startCursor":null,"endCursor":null}},"title":"Activity · epfl-lara/inox"}