{"action":"created","issue":{"url":"https://api.github.com/repos/epfl-lara/inox/issues/71","repository_url":"https://api.github.com/repos/epfl-lara/inox","labels_url":"https://api.github.com/repos/epfl-lara/inox/issues/71/labels{/name}","comments_url":"https://api.github.com/repos/epfl-lara/inox/issues/71/comments","events_url":"https://api.github.com/repos/epfl-lara/inox/issues/71/events","html_url":"https://github.com/epfl-lara/inox/pull/71","id":324616320,"node_id":"MDExOlB1bGxSZXF1ZXN0MTg5MTgwMTQ2","number":71,"title":"Cross-compilation support for Scala 3 (WIP)","user":{"login":"gsps","id":2364189,"node_id":"MDQ6VXNlcjIzNjQxODk=","avatar_url":"https://avatars1.githubusercontent.com/u/2364189?v=4","gravatar_id":"","url":"https://api.github.com/users/gsps","html_url":"https://github.com/gsps","followers_url":"https://api.github.com/users/gsps/followers","following_url":"https://api.github.com/users/gsps/following{/other_user}","gists_url":"https://api.github.com/users/gsps/gists{/gist_id}","starred_url":"https://api.github.com/users/gsps/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gsps/subscriptions","organizations_url":"https://api.github.com/users/gsps/orgs","repos_url":"https://api.github.com/users/gsps/repos","events_url":"https://api.github.com/users/gsps/events{/privacy}","received_events_url":"https://api.github.com/users/gsps/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-05-19T09:31:46Z","updated_at":"2019-05-24T19:38:02Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/epfl-lara/inox/pulls/71","html_url":"https://github.com/epfl-lara/inox/pull/71","diff_url":"https://github.com/epfl-lara/inox/pull/71.diff","patch_url":"https://github.com/epfl-lara/inox/pull/71.patch"},"body":"This is a WIP branch to track the progress on making inox cross-compile on Scala 2 and Scala 3. So far, we can compile and manually run inox on test cases using the CLI and Z3.\r\n\r\nThe remaining tasks roughly comprise:\r\n\r\n- [ ] Fix the sbt build to support cross-compilation out of the box (currently fixed to dotc).\r\n- [ ] Reactivate `TipDebugger` and the core methods of `TimeoutSolver` (blocked by dotc bug around `abstract override`).\r\n- [ ] Reactivate `Variable#copy` (blocked by dotc bug that raises denotation merge error). The synthetic copy method is still there, but doesn't preserve positions now.\r\n- [ ] Reactivate `BagEncoder` and `SetEncoder` (blocked by dotc bug on vararg applications). As a result we can also fix up CVC4 and reactivate its code.\r\n- [ ] Fix up Princess.\r\n- [ ] Ideally, make some of the test suite work on dotc (scalatest is currently unavailable, since it relies on macros).\r\n- [ ] Reactivate `@inline`s, dotc's inliner just causes too much trouble at the moment.\r\n\r\nThis PR includes workarounds for several other dotc issues and also some fixes for things that are presumably (non-serious) bugs in inox.\r\n\r\nWe track the related dotc issues here:\r\n- [ ] https://github.com/lampepfl/dotty/issues/4520 Surprising synthesized `_$n` selectors on case classes\r\n- [x] https://github.com/lampepfl/dotty/issues/4558 Missing adaptation from by-name to result type\r\n- [ ] https://github.com/lampepfl/dotty/issues/4559 Unintended mixin initializer for overriden lazy val\r\n- [ ] https://github.com/lampepfl/dotty/issues/4563 Erasure tries to box call to label def\r\n- [ ] https://github.com/lampepfl/dotty/issues/4564 Overriding `copy` of case class results in unhelpful error messages\r\n- [ ] #??? https://github.com/epfl-lara/inox/pull/71/commits/8f50d7bf18b4a116b9bce1e9e6023c92f3c04b2a\r\n- [ ] #??? https://github.com/epfl-lara/inox/pull/71/commits/96ccf5cfdba111f385e63bf60c105be6549ca0a3\r\n- [ ] #??? https://github.com/epfl-lara/inox/pull/71/commits/210295d58bfcb953ceb27175a156d16f4b3420ce\r\n- [ ] #??? https://github.com/epfl-lara/inox/pull/71/commits/d8ca991c541bc6ed02a79a59caff01aa2e444637\r\n- [ ] #??? https://github.com/epfl-lara/inox/pull/71/commits/8450be02f8ef5b9311bd25d3b4b8f930e1d16feb\r\n- [ ] #??? https://github.com/epfl-lara/inox/pull/71/commits/ea03b0679145b499c9558150d55a39d532112948"},"comment":{"url":"https://api.github.com/repos/epfl-lara/inox/issues/comments/495765725","html_url":"https://github.com/epfl-lara/inox/pull/71#issuecomment-495765725","issue_url":"https://api.github.com/repos/epfl-lara/inox/issues/71","id":495765725,"node_id":"MDEyOklzc3VlQ29tbWVudDQ5NTc2NTcyNQ==","user":{"login":"romac","id":106849,"node_id":"MDQ6VXNlcjEwNjg0OQ==","avatar_url":"https://avatars2.githubusercontent.com/u/106849?v=4","gravatar_id":"","url":"https://api.github.com/users/romac","html_url":"https://github.com/romac","followers_url":"https://api.github.com/users/romac/followers","following_url":"https://api.github.com/users/romac/following{/other_user}","gists_url":"https://api.github.com/users/romac/gists{/gist_id}","starred_url":"https://api.github.com/users/romac/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/romac/subscriptions","organizations_url":"https://api.github.com/users/romac/orgs","repos_url":"https://api.github.com/users/romac/repos","events_url":"https://api.github.com/users/romac/events{/privacy}","received_events_url":"https://api.github.com/users/romac/received_events","type":"User","site_admin":false},"created_at":"2019-05-24T19:38:02Z","updated_at":"2019-05-24T19:38:02Z","author_association":"MEMBER","body":"Dotty 0.15.0-RC1 now fully bootstraps (https://github.com/lampepfl/dotty/pull/5923), so it’s perhaps time to give another go at this PR :)"}}
{"actor":{"display_login":"romac"}}