{"action":"created","issue":{"url":"https://api.github.com/repos/tulip-control/tulip-control/issues/160","repository_url":"https://api.github.com/repos/tulip-control/tulip-control","labels_url":"https://api.github.com/repos/tulip-control/tulip-control/issues/160/labels{/name}","comments_url":"https://api.github.com/repos/tulip-control/tulip-control/issues/160/comments","events_url":"https://api.github.com/repos/tulip-control/tulip-control/issues/160/events","html_url":"https://github.com/tulip-control/tulip-control/issues/160","id":169733846,"number":160,"title":"multiple CUDD builds on Travis CI","user":{"login":"johnyf","id":3135273,"avatar_url":"https://avatars.githubusercontent.com/u/3135273?v=3","gravatar_id":"","url":"https://api.github.com/users/johnyf","html_url":"https://github.com/johnyf","followers_url":"https://api.github.com/users/johnyf/followers","following_url":"https://api.github.com/users/johnyf/following{/other_user}","gists_url":"https://api.github.com/users/johnyf/gists{/gist_id}","starred_url":"https://api.github.com/users/johnyf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/johnyf/subscriptions","organizations_url":"https://api.github.com/users/johnyf/orgs","repos_url":"https://api.github.com/users/johnyf/repos","events_url":"https://api.github.com/users/johnyf/events{/privacy}","received_events_url":"https://api.github.com/users/johnyf/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-08-06T07:04:31Z","updated_at":"2016-08-06T09:01:21Z","closed_at":null,"body":"Both `gr1c` and `dd.cudd` (for testing the option of using `omega` with `cudd`) build CUDD on Travis CI, which is suboptimal. For now, we can let this be so, but in the future we may want to consider linking to a common library for all tools that use CUDD. Currently, the aforementioned tools support different CUDD versions, so this is not yet possible."},"comment":{"url":"https://api.github.com/repos/tulip-control/tulip-control/issues/comments/238013793","html_url":"https://github.com/tulip-control/tulip-control/issues/160#issuecomment-238013793","issue_url":"https://api.github.com/repos/tulip-control/tulip-control/issues/160","id":238013793,"user":{"login":"slivingston","id":355654,"avatar_url":"https://avatars.githubusercontent.com/u/355654?v=3","gravatar_id":"","url":"https://api.github.com/users/slivingston","html_url":"https://github.com/slivingston","followers_url":"https://api.github.com/users/slivingston/followers","following_url":"https://api.github.com/users/slivingston/following{/other_user}","gists_url":"https://api.github.com/users/slivingston/gists{/gist_id}","starred_url":"https://api.github.com/users/slivingston/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/slivingston/subscriptions","organizations_url":"https://api.github.com/users/slivingston/orgs","repos_url":"https://api.github.com/users/slivingston/repos","events_url":"https://api.github.com/users/slivingston/events{/privacy}","received_events_url":"https://api.github.com/users/slivingston/received_events","type":"User","site_admin":false},"created_at":"2016-08-06T09:01:21Z","updated_at":"2016-08-06T09:01:21Z","body":"How difficult is adjusting `dd.cudd` to find CUDD in a different location?\r\n\r\nWith gr1c version >= 0.11.0, the installation location of CUDD can be manipulated by changing `deps_prefix` before building gr1c."}}
{"actor":{"display_login":"slivingston"}}