{"action":"created","issue":{"url":"https://api.github.com/repos/githwxi/ATS-Postiats-contrib/issues/35","labels_url":"https://api.github.com/repos/githwxi/ATS-Postiats-contrib/issues/35/labels{/name}","comments_url":"https://api.github.com/repos/githwxi/ATS-Postiats-contrib/issues/35/comments","events_url":"https://api.github.com/repos/githwxi/ATS-Postiats-contrib/issues/35/events","html_url":"https://github.com/githwxi/ATS-Postiats-contrib/issues/35","id":72784571,"number":35,"title":"ATS-extsolve","user":{"login":"sheganinans","id":2146203,"avatar_url":"https://avatars.githubusercontent.com/u/2146203?v=3","gravatar_id":"","url":"https://api.github.com/users/sheganinans","html_url":"https://github.com/sheganinans","followers_url":"https://api.github.com/users/sheganinans/followers","following_url":"https://api.github.com/users/sheganinans/following{/other_user}","gists_url":"https://api.github.com/users/sheganinans/gists{/gist_id}","starred_url":"https://api.github.com/users/sheganinans/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sheganinans/subscriptions","organizations_url":"https://api.github.com/users/sheganinans/orgs","repos_url":"https://api.github.com/users/sheganinans/repos","events_url":"https://api.github.com/users/sheganinans/events{/privacy}","received_events_url":"https://api.github.com/users/sheganinans/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":9,"created_at":"2015-05-03T10:21:10Z","updated_at":"2015-06-01T17:02:36Z","closed_at":null,"body":"@wdblair Awesome project! But I get this error:\r\n\r\n> cd ~/Projects/github/ATS-Postiats-contrib/contrib/libats-/wdblair/prelude/\r\n> patsopt --constraint-export -tc -d TEST/quicksort.dats | patsolve\r\nexit(ATS): unmatched value at run-time:\r\n/tmp/nix-build-ats-extsolve-0pre6a9b752.drv-0/ATS-Postiats-contrib-6a9b752efb8af1e4f77213f9e81fc2b7fa050877/projects/MEDIUM/ATS-extsolve/parsing/parsing_c3nstr.dats: 479(line=37, offs=5) -- 536(line=38, offs=41)"},"comment":{"url":"https://api.github.com/repos/githwxi/ATS-Postiats-contrib/issues/comments/107639420","html_url":"https://github.com/githwxi/ATS-Postiats-contrib/issues/35#issuecomment-107639420","issue_url":"https://api.github.com/repos/githwxi/ATS-Postiats-contrib/issues/35","id":107639420,"user":{"login":"githwxi","id":621783,"avatar_url":"https://avatars.githubusercontent.com/u/621783?v=3","gravatar_id":"","url":"https://api.github.com/users/githwxi","html_url":"https://github.com/githwxi","followers_url":"https://api.github.com/users/githwxi/followers","following_url":"https://api.github.com/users/githwxi/following{/other_user}","gists_url":"https://api.github.com/users/githwxi/gists{/gist_id}","starred_url":"https://api.github.com/users/githwxi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/githwxi/subscriptions","organizations_url":"https://api.github.com/users/githwxi/orgs","repos_url":"https://api.github.com/users/githwxi/repos","events_url":"https://api.github.com/users/githwxi/events{/privacy}","received_events_url":"https://api.github.com/users/githwxi/received_events","type":"User","site_admin":false},"created_at":"2015-06-01T17:02:36Z","updated_at":"2015-06-01T17:02:36Z","body":"I just want to say that I am still working on ATSS-extsolve:\r\n\r\nhttps://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-extsolve\r\nhttps://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-extsolve-z3\r\n\r\nATS-extsolve-z3 is for using Z3 to solve ATS-constrants. It is not yet functioning but will be soon. However,\r\nin order to make good use of the power of Z3, there is still a long way to go. Of course, one needs to have a good knowledge of Z3 as well. Keep tuned."}}