{"action":"opened","issue":{"url":"https://api.github.com/repos/souffle-lang/souffle/issues/164","repository_url":"https://api.github.com/repos/souffle-lang/souffle","labels_url":"https://api.github.com/repos/souffle-lang/souffle/issues/164/labels{/name}","comments_url":"https://api.github.com/repos/souffle-lang/souffle/issues/164/comments","events_url":"https://api.github.com/repos/souffle-lang/souffle/issues/164/events","html_url":"https://github.com/souffle-lang/souffle/issues/164","id":163225498,"number":164,"title":"Stack overflow with many facts in .dl file","user":{"login":"seanmcl","id":110393,"avatar_url":"https://avatars.githubusercontent.com/u/110393?v=3","gravatar_id":"","url":"https://api.github.com/users/seanmcl","html_url":"https://github.com/seanmcl","followers_url":"https://api.github.com/users/seanmcl/followers","following_url":"https://api.github.com/users/seanmcl/following{/other_user}","gists_url":"https://api.github.com/users/seanmcl/gists{/gist_id}","starred_url":"https://api.github.com/users/seanmcl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seanmcl/subscriptions","organizations_url":"https://api.github.com/users/seanmcl/orgs","repos_url":"https://api.github.com/users/seanmcl/repos","events_url":"https://api.github.com/users/seanmcl/events{/privacy}","received_events_url":"https://api.github.com/users/seanmcl/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-06-30T17:52:26Z","updated_at":"2016-06-30T17:52:26Z","closed_at":null,"body":"In a datalog file with on the order of 1500 facts per relation, souffle segfaults on OSX.  Moving the facts to csv resolves the issue.  It would be nice to be able to program in the Prolog style, where all facts and rules are together."}}
{"actor":{"display_login":"seanmcl"}}