{"action":"created","issue":{"url":"https://api.github.com/repos/Miaplaza/expression-utils/issues/19","repository_url":"https://api.github.com/repos/Miaplaza/expression-utils","labels_url":"https://api.github.com/repos/Miaplaza/expression-utils/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/Miaplaza/expression-utils/issues/19/comments","events_url":"https://api.github.com/repos/Miaplaza/expression-utils/issues/19/events","html_url":"https://github.com/Miaplaza/expression-utils/pull/19","id":377116404,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI4MTU1MDQz","number":19,"title":"Added support for array index and corresponding unit test","user":{"login":"jsboige","id":3159389,"node_id":"MDQ6VXNlcjMxNTkzODk=","avatar_url":"https://avatars1.githubusercontent.com/u/3159389?v=4","gravatar_id":"","url":"https://api.github.com/users/jsboige","html_url":"https://github.com/jsboige","followers_url":"https://api.github.com/users/jsboige/followers","following_url":"https://api.github.com/users/jsboige/following{/other_user}","gists_url":"https://api.github.com/users/jsboige/gists{/gist_id}","starred_url":"https://api.github.com/users/jsboige/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jsboige/subscriptions","organizations_url":"https://api.github.com/users/jsboige/orgs","repos_url":"https://api.github.com/users/jsboige/repos","events_url":"https://api.github.com/users/jsboige/events{/privacy}","received_events_url":"https://api.github.com/users/jsboige/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-11-04T03:17:01Z","updated_at":"2018-11-19T20:37:10Z","closed_at":"2018-11-04T22:14:48Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/Miaplaza/expression-utils/pulls/19","html_url":"https://github.com/Miaplaza/expression-utils/pull/19","diff_url":"https://github.com/Miaplaza/expression-utils/pull/19.diff","patch_url":"https://github.com/Miaplaza/expression-utils/pull/19.patch"},"body":"That was trivial and a need on my side."},"comment":{"url":"https://api.github.com/repos/Miaplaza/expression-utils/issues/comments/440033379","html_url":"https://github.com/Miaplaza/expression-utils/pull/19#issuecomment-440033379","issue_url":"https://api.github.com/repos/Miaplaza/expression-utils/issues/19","id":440033379,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0MDAzMzM3OQ==","user":{"login":"jsboige","id":3159389,"node_id":"MDQ6VXNlcjMxNTkzODk=","avatar_url":"https://avatars1.githubusercontent.com/u/3159389?v=4","gravatar_id":"","url":"https://api.github.com/users/jsboige","html_url":"https://github.com/jsboige","followers_url":"https://api.github.com/users/jsboige/followers","following_url":"https://api.github.com/users/jsboige/following{/other_user}","gists_url":"https://api.github.com/users/jsboige/gists{/gist_id}","starred_url":"https://api.github.com/users/jsboige/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jsboige/subscriptions","organizations_url":"https://api.github.com/users/jsboige/orgs","repos_url":"https://api.github.com/users/jsboige/repos","events_url":"https://api.github.com/users/jsboige/events{/privacy}","received_events_url":"https://api.github.com/users/jsboige/received_events","type":"User","site_admin":false},"created_at":"2018-11-19T20:37:10Z","updated_at":"2018-11-19T20:37:10Z","author_association":"CONTRIBUTOR","body":"Thanks, I was able to test that the new package includes arrays and I removed the temporary dependency on my build.\r\n\r\nBy the way, your tool was invaluable in supercharging what I think is a cool project: linq to z3.\r\nThis is [my tree](https://github.com/MyIntelligenceAgency/Z3.LinqBinding/tree/EPFdevelopment) with your last addition of binary array indexes used in the meal planner, which is a draft project for my students.\r\n\r\nHowever, the partial evaluator and interpretor are used in several places all over the theorem engine to maximise the types of lambdas that can be ultimately translated into Z3 constraints to be solved or optimized. \r\nMy upgraded version of Sudoku and MissionariesAndCannibals are probably good entry points to the flexibility that your library brought to the original prototype.\r\n\r\nWould you mind having a look and tell me whether you think this is the correct approach to integrating your tool and if you can think of other magic it could add?"}}
{"actor":{"display_login":"jsboige"}}