{"action":"opened","issue":{"url":"https://api.github.com/repos/CategoricalData/fql/issues/27","repository_url":"https://api.github.com/repos/CategoricalData/fql","labels_url":"https://api.github.com/repos/CategoricalData/fql/issues/27/labels{/name}","comments_url":"https://api.github.com/repos/CategoricalData/fql/issues/27/comments","events_url":"https://api.github.com/repos/CategoricalData/fql/issues/27/events","html_url":"https://github.com/CategoricalData/fql/issues/27","id":197079265,"number":27,"title":"Positive testing / verification for AQL itself","user":{"login":"wisnesky","id":3474743,"avatar_url":"https://avatars.githubusercontent.com/u/3474743?v=3","gravatar_id":"","url":"https://api.github.com/users/wisnesky","html_url":"https://github.com/wisnesky","followers_url":"https://api.github.com/users/wisnesky/followers","following_url":"https://api.github.com/users/wisnesky/following{/other_user}","gists_url":"https://api.github.com/users/wisnesky/gists{/gist_id}","starred_url":"https://api.github.com/users/wisnesky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wisnesky/subscriptions","organizations_url":"https://api.github.com/users/wisnesky/orgs","repos_url":"https://api.github.com/users/wisnesky/repos","events_url":"https://api.github.com/users/wisnesky/events{/privacy}","received_events_url":"https://api.github.com/users/wisnesky/received_events","type":"User","site_admin":false},"labels":[{"id":106368055,"url":"https://api.github.com/repos/CategoricalData/fql/labels/enhancement","name":"enhancement","color":"84b6eb","default":true},{"id":503116560,"url":"https://api.github.com/repos/CategoricalData/fql/labels/medium","name":"medium","color":"fef2c0","default":false},{"id":501637437,"url":"https://api.github.com/repos/CategoricalData/fql/labels/todo","name":"todo","color":"fbca04","default":false}],"state":"open","locked":false,"assignee":{"login":"dspivak","id":461214,"avatar_url":"https://avatars.githubusercontent.com/u/461214?v=3","gravatar_id":"","url":"https://api.github.com/users/dspivak","html_url":"https://github.com/dspivak","followers_url":"https://api.github.com/users/dspivak/followers","following_url":"https://api.github.com/users/dspivak/following{/other_user}","gists_url":"https://api.github.com/users/dspivak/gists{/gist_id}","starred_url":"https://api.github.com/users/dspivak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dspivak/subscriptions","organizations_url":"https://api.github.com/users/dspivak/orgs","repos_url":"https://api.github.com/users/dspivak/repos","events_url":"https://api.github.com/users/dspivak/events{/privacy}","received_events_url":"https://api.github.com/users/dspivak/received_events","type":"User","site_admin":false},"assignees":[{"login":"dspivak","id":461214,"avatar_url":"https://avatars.githubusercontent.com/u/461214?v=3","gravatar_id":"","url":"https://api.github.com/users/dspivak","html_url":"https://github.com/dspivak","followers_url":"https://api.github.com/users/dspivak/followers","following_url":"https://api.github.com/users/dspivak/following{/other_user}","gists_url":"https://api.github.com/users/dspivak/gists{/gist_id}","starred_url":"https://api.github.com/users/dspivak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dspivak/subscriptions","organizations_url":"https://api.github.com/users/dspivak/orgs","repos_url":"https://api.github.com/users/dspivak/repos","events_url":"https://api.github.com/users/dspivak/events{/privacy}","received_events_url":"https://api.github.com/users/dspivak/received_events","type":"User","site_admin":false},{"login":"wisnesky","id":3474743,"avatar_url":"https://avatars.githubusercontent.com/u/3474743?v=3","gravatar_id":"","url":"https://api.github.com/users/wisnesky","html_url":"https://github.com/wisnesky","followers_url":"https://api.github.com/users/wisnesky/followers","following_url":"https://api.github.com/users/wisnesky/following{/other_user}","gists_url":"https://api.github.com/users/wisnesky/gists{/gist_id}","starred_url":"https://api.github.com/users/wisnesky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wisnesky/subscriptions","organizations_url":"https://api.github.com/users/wisnesky/orgs","repos_url":"https://api.github.com/users/wisnesky/repos","events_url":"https://api.github.com/users/wisnesky/events{/privacy}","received_events_url":"https://api.github.com/users/wisnesky/received_events","type":"User","site_admin":false},{"login":"jeechung2001","id":23130139,"avatar_url":"https://avatars.githubusercontent.com/u/23130139?v=3","gravatar_id":"","url":"https://api.github.com/users/jeechung2001","html_url":"https://github.com/jeechung2001","followers_url":"https://api.github.com/users/jeechung2001/followers","following_url":"https://api.github.com/users/jeechung2001/following{/other_user}","gists_url":"https://api.github.com/users/jeechung2001/gists{/gist_id}","starred_url":"https://api.github.com/users/jeechung2001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeechung2001/subscriptions","organizations_url":"https://api.github.com/users/jeechung2001/orgs","repos_url":"https://api.github.com/users/jeechung2001/repos","events_url":"https://api.github.com/users/jeechung2001/events{/privacy}","received_events_url":"https://api.github.com/users/jeechung2001/received_events","type":"User","site_admin":false},{"login":"peterygates","id":24595332,"avatar_url":"https://avatars.githubusercontent.com/u/24595332?v=3","gravatar_id":"","url":"https://api.github.com/users/peterygates","html_url":"https://github.com/peterygates","followers_url":"https://api.github.com/users/peterygates/followers","following_url":"https://api.github.com/users/peterygates/following{/other_user}","gists_url":"https://api.github.com/users/peterygates/gists{/gist_id}","starred_url":"https://api.github.com/users/peterygates/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peterygates/subscriptions","organizations_url":"https://api.github.com/users/peterygates/orgs","repos_url":"https://api.github.com/users/peterygates/repos","events_url":"https://api.github.com/users/peterygates/events{/privacy}","received_events_url":"https://api.github.com/users/peterygates/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/CategoricalData/fql/milestones/2","html_url":"https://github.com/CategoricalData/fql/milestone/2","labels_url":"https://api.github.com/repos/CategoricalData/fql/milestones/2/labels","id":2199730,"number":2,"title":"Pilot","description":"The first engagement of CI with a customer, using either AQL or CI's commercial product.","creator":{"login":"peterygates","id":24595332,"avatar_url":"https://avatars.githubusercontent.com/u/24595332?v=3","gravatar_id":"","url":"https://api.github.com/users/peterygates","html_url":"https://github.com/peterygates","followers_url":"https://api.github.com/users/peterygates/followers","following_url":"https://api.github.com/users/peterygates/following{/other_user}","gists_url":"https://api.github.com/users/peterygates/gists{/gist_id}","starred_url":"https://api.github.com/users/peterygates/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peterygates/subscriptions","organizations_url":"https://api.github.com/users/peterygates/orgs","repos_url":"https://api.github.com/users/peterygates/repos","events_url":"https://api.github.com/users/peterygates/events{/privacy}","received_events_url":"https://api.github.com/users/peterygates/received_events","type":"User","site_admin":false},"open_issues":2,"closed_issues":0,"state":"open","created_at":"2016-12-15T22:45:52Z","updated_at":"2016-12-22T02:16:17Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2016-12-22T02:16:17Z","updated_at":"2016-12-22T02:16:17Z","closed_at":null,"body":"Positive testing / verification for AQL itself is demonstrating that AQL succeeds when it should succeed.\r\n\r\nWays in which AQL is positively tested/verified:\r\n\r\n - I've run AQL through the Oracle and Eclipse java static analysis tools on maximum.  Doing so caught a handful of bugs.  \r\n - AQL is coded purely functionally, eschewing mutable state and favoring parametric polymorphism.\r\n - I've written a bunch of FQLs at this point\r\n - Some of the provers have been debugged in FPQL and OPL\r\n - every construction has a corresponding built-in example that I run on every deployment \r\n\r\nTODO: come up with more built-in examples.\r\n\r\nAreas with largest potential for bugs:\r\n\r\n - between run caching\r\n - type inference\r\n - AQL parser\r\n - the theorem provers \r\n - multi-threaded execution engine\r\n - interaction with javascript, JDBC, CSV\r\n \r\n"}}
{"actor":{"display_login":"wisnesky"}}