{"action":"created","issue":{"url":"https://api.github.com/repos/carothersc/ROSS/issues/91","repository_url":"https://api.github.com/repos/carothersc/ROSS","labels_url":"https://api.github.com/repos/carothersc/ROSS/issues/91/labels{/name}","comments_url":"https://api.github.com/repos/carothersc/ROSS/issues/91/comments","events_url":"https://api.github.com/repos/carothersc/ROSS/issues/91/events","html_url":"https://github.com/carothersc/ROSS/pull/91","id":154869144,"number":91,"title":"Lamport path","user":{"login":"gonsie","id":135808,"avatar_url":"https://avatars.githubusercontent.com/u/135808?v=3","gravatar_id":"","url":"https://api.github.com/users/gonsie","html_url":"https://github.com/gonsie","followers_url":"https://api.github.com/users/gonsie/followers","following_url":"https://api.github.com/users/gonsie/following{/other_user}","gists_url":"https://api.github.com/users/gonsie/gists{/gist_id}","starred_url":"https://api.github.com/users/gonsie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gonsie/subscriptions","organizations_url":"https://api.github.com/users/gonsie/orgs","repos_url":"https://api.github.com/users/gonsie/repos","events_url":"https://api.github.com/users/gonsie/events{/privacy}","received_events_url":"https://api.github.com/users/gonsie/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-05-14T18:39:39Z","updated_at":"2016-05-15T21:46:03Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/carothersc/ROSS/pulls/91","html_url":"https://github.com/carothersc/ROSS/pull/91","diff_url":"https://github.com/carothersc/ROSS/pull/91.diff","patch_url":"https://github.com/carothersc/ROSS/pull/91.patch"},"body":"Adds a critical path counter to LPs and Events. This counter is updated before an event handler and is preserved across rollbacks (the counter is deterministic to the model)."},"comment":{"url":"https://api.github.com/repos/carothersc/ROSS/issues/comments/219312613","html_url":"https://github.com/carothersc/ROSS/pull/91#issuecomment-219312613","issue_url":"https://api.github.com/repos/carothersc/ROSS/issues/91","id":219312613,"user":{"login":"gonsie","id":135808,"avatar_url":"https://avatars.githubusercontent.com/u/135808?v=3","gravatar_id":"","url":"https://api.github.com/users/gonsie","html_url":"https://github.com/gonsie","followers_url":"https://api.github.com/users/gonsie/followers","following_url":"https://api.github.com/users/gonsie/following{/other_user}","gists_url":"https://api.github.com/users/gonsie/gists{/gist_id}","starred_url":"https://api.github.com/users/gonsie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gonsie/subscriptions","organizations_url":"https://api.github.com/users/gonsie/orgs","repos_url":"https://api.github.com/users/gonsie/repos","events_url":"https://api.github.com/users/gonsie/events{/privacy}","received_events_url":"https://api.github.com/users/gonsie/received_events","type":"User","site_admin":false},"created_at":"2016-05-15T21:46:03Z","updated_at":"2016-05-15T21:46:03Z","body":"Turns out, this is really an implementation of Lamport Clocks/Path.\r\n\r\nCritical path is slightly different, it includes execution time of the path (and actually event communication time as well). The goal of the critical path is understanding the shortest possible running time of a simulation.\r\n\r\nWe can merge this change, but there is more work to be done for implementing the critical path feature."}}