{"action":"opened","issue":{"url":"https://api.github.com/repos/SyncFree/antidote/issues/131","labels_url":"https://api.github.com/repos/SyncFree/antidote/issues/131/labels{/name}","comments_url":"https://api.github.com/repos/SyncFree/antidote/issues/131/comments","events_url":"https://api.github.com/repos/SyncFree/antidote/issues/131/events","html_url":"https://github.com/SyncFree/antidote/issues/131","id":86987802,"number":131,"title":"No easy way to turn off SI certification check","user":{"login":"tcrain","id":5465025,"avatar_url":"https://avatars.githubusercontent.com/u/5465025?v=3","gravatar_id":"","url":"https://api.github.com/users/tcrain","html_url":"https://github.com/tcrain","followers_url":"https://api.github.com/users/tcrain/followers","following_url":"https://api.github.com/users/tcrain/following{/other_user}","gists_url":"https://api.github.com/users/tcrain/gists{/gist_id}","starred_url":"https://api.github.com/users/tcrain/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tcrain/subscriptions","organizations_url":"https://api.github.com/users/tcrain/orgs","repos_url":"https://api.github.com/users/tcrain/repos","events_url":"https://api.github.com/users/tcrain/events{/privacy}","received_events_url":"https://api.github.com/users/tcrain/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-06-10T14:23:31Z","updated_at":"2015-06-10T14:23:31Z","closed_at":null,"body":"Right now most the the objects in antidote are CRDTs that don't need to abort in the presence of concurrent updates.  For these objects there should be no SI certification check as it will just cause unnecessary aborts and wasted CPU cycles.\r\n\r\nCurrently the only way to turn on or off the certification check it to comment it out in the code.  Some branches have it commented out and some do not.  Maybe there is a better way to do this?  For example only do certification check depending on the object?  We will have to precisely define what kind of consistency we want to guarantee though."}}