{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/363","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/363/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/363/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/363/events","html_url":"https://github.com/Z3Prover/z3/pull/363","id":121279669,"number":363,"title":"Refactor ``mk_all_assembly_infos()`` to use the ``configure_file()`` and misc fixes for dotnet bindings","user":{"login":"delcypher","id":511795,"avatar_url":"https://avatars.githubusercontent.com/u/511795?v=3","gravatar_id":"","url":"https://api.github.com/users/delcypher","html_url":"https://github.com/delcypher","followers_url":"https://api.github.com/users/delcypher/followers","following_url":"https://api.github.com/users/delcypher/following{/other_user}","gists_url":"https://api.github.com/users/delcypher/gists{/gist_id}","starred_url":"https://api.github.com/users/delcypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/delcypher/subscriptions","organizations_url":"https://api.github.com/users/delcypher/orgs","repos_url":"https://api.github.com/users/delcypher/repos","events_url":"https://api.github.com/users/delcypher/events{/privacy}","received_events_url":"https://api.github.com/users/delcypher/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Z3Prover/z3/labels/cla-already-signed","name":"cla-already-signed","color":"009800"}],"state":"open","locked":false,"assignee":{"login":"wintersteiger","id":10155819,"avatar_url":"https://avatars.githubusercontent.com/u/10155819?v=3","gravatar_id":"","url":"https://api.github.com/users/wintersteiger","html_url":"https://github.com/wintersteiger","followers_url":"https://api.github.com/users/wintersteiger/followers","following_url":"https://api.github.com/users/wintersteiger/following{/other_user}","gists_url":"https://api.github.com/users/wintersteiger/gists{/gist_id}","starred_url":"https://api.github.com/users/wintersteiger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wintersteiger/subscriptions","organizations_url":"https://api.github.com/users/wintersteiger/orgs","repos_url":"https://api.github.com/users/wintersteiger/repos","events_url":"https://api.github.com/users/wintersteiger/events{/privacy}","received_events_url":"https://api.github.com/users/wintersteiger/received_events","type":"User","site_admin":false},"milestone":null,"comments":14,"created_at":"2015-12-09T16:05:14Z","updated_at":"2015-12-15T11:35:10Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Z3Prover/z3/pulls/363","html_url":"https://github.com/Z3Prover/z3/pull/363","diff_url":"https://github.com/Z3Prover/z3/pull/363.diff","patch_url":"https://github.com/Z3Prover/z3/pull/363.patch"},"body":"Refactor ``mk_all_assembly_infos()`` to use the ``configure_file()``\r\nfunction. The old implementation was buggy under Python 3.5 and\r\nunsafe (not using with statements on calls to ``open()``).\r\n\r\nThis is a rework of #350 .\r\n\r\nI quickly tested under Python 3.5 in the environment where I previously had crashes (``UnicodeDecodeError: 'ascii' codec can't decode byte 0xef in position\r\n0: ordinal not in range(128)``)"},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/164736954","html_url":"https://github.com/Z3Prover/z3/pull/363#issuecomment-164736954","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/363","id":164736954,"user":{"login":"wintersteiger","id":10155819,"avatar_url":"https://avatars.githubusercontent.com/u/10155819?v=3","gravatar_id":"","url":"https://api.github.com/users/wintersteiger","html_url":"https://github.com/wintersteiger","followers_url":"https://api.github.com/users/wintersteiger/followers","following_url":"https://api.github.com/users/wintersteiger/following{/other_user}","gists_url":"https://api.github.com/users/wintersteiger/gists{/gist_id}","starred_url":"https://api.github.com/users/wintersteiger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wintersteiger/subscriptions","organizations_url":"https://api.github.com/users/wintersteiger/orgs","repos_url":"https://api.github.com/users/wintersteiger/repos","events_url":"https://api.github.com/users/wintersteiger/events{/privacy}","received_events_url":"https://api.github.com/users/wintersteiger/received_events","type":"User","site_admin":false},"created_at":"2015-12-15T11:35:10Z","updated_at":"2015-12-15T11:35:10Z","body":"Alright this looks good now. There are a number of warnings about unused variables, but we can fix that fter this PR is merged. "}}