{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":283879138,"defaultBranch":"master","name":"pate","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-30T21:21:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716911489.0","currentOid":""},"activityList":{"items":[{"before":"9269e67256e070175ca26c14859d50da057b1f48","after":"367dfdfd6c6117915a70499640db65f7e77ed4e5","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-06-05T18:26:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"update challenge 10 script","shortMessageHtmlLink":"update challenge 10 script"}},{"before":"54f81a553b2d4241a840b1efadca90729841d739","after":"9269e67256e070175ca26c14859d50da057b1f48","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-06-03T16:28:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"clean up logging","shortMessageHtmlLink":"clean up logging"}},{"before":"c8b5b81110f7ab8b162a5977624e5c2b391a217a","after":null,"ref":"refs/heads/bd/disable-classic-ticket-management","pushedAt":"2024-05-28T15:51:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"thebendavis","name":"Ben Davis","path":"/thebendavis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3246260?s=80&v=4"}},{"before":"ca2f32e7dc891fb68013f4c8a68e59cae3be79d5","after":"c308ebea23c53661daf3bbf6ca5ba490060bd28d","ref":"refs/heads/master","pushedAt":"2024-05-28T15:51:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"thebendavis","name":"Ben Davis","path":"/thebendavis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3246260?s=80&v=4"},"commit":{"message":"Merge pull request #399 from GaloisInc/bd/disable-classic-ticket-management\n\ngithub: disable ticket-management workflow","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321244927\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/pate/issues/399\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/pate/pull/399/hovercard\" href=\"https://github.com/GaloisInc/pate/pull/399\">#399</a> from GaloisInc/bd/disable-classic-ticket-mana…"}},{"before":null,"after":"c8b5b81110f7ab8b162a5977624e5c2b391a217a","ref":"refs/heads/bd/disable-classic-ticket-management","pushedAt":"2024-05-28T14:32:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"thebendavis","name":"Ben Davis","path":"/thebendavis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3246260?s=80&v=4"},"commit":{"message":"github: disable ticket-management workflow\n\nThis workflow was automating issues related to a project board that has\nbeen closed, so is no longer needed.\n\nAdditionally, the type of project boards supported by the action used in\nthis workflow are now considered \"classic\" by GitHub and can no longer\nbe created.\n\nhttps://github.com/alex-page/github-project-automation-plus/issues/93#issuecomment-2134136819","shortMessageHtmlLink":"github: disable ticket-management workflow"}},{"before":"9f145fcf75af71d22f54c59eff2ba4fd118e4e1d","after":"ca2f32e7dc891fb68013f4c8a68e59cae3be79d5","ref":"refs/heads/master","pushedAt":"2024-05-22T20:21:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:GaloisInc/pate","shortMessageHtmlLink":"Merge branch 'master' of github.com:GaloisInc/pate"}},{"before":"fe6c108434cf500345b3aed983e9fcb6465340e6","after":"54f81a553b2d4241a840b1efadca90729841d739","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-05-17T21:17:54.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"Merge branch 'master' into dm/control_sync_wip2","shortMessageHtmlLink":"Merge branch 'master' into dm/control_sync_wip2"}},{"before":"c95d70f49e0f560577f7c51b87fbec981312b3dc","after":"fe6c108434cf500345b3aed983e9fcb6465340e6","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-05-17T21:16:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"distinguish entry vs. exit sync points so they can be\nappropriately merged","shortMessageHtmlLink":"distinguish entry vs. exit sync points so they can be"}},{"before":"fa98b01dd4b14aeb778590a1bf52bdf7d1c3ac49","after":"9f145fcf75af71d22f54c59eff2ba4fd118e4e1d","ref":"refs/heads/master","pushedAt":"2024-05-17T21:08:53.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"Merge pull request #386 from GaloisInc/dm/new-tests\n\nadd failing desync-zerostep test demonstrating desync/sync issue","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295995888\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/pate/issues/386\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/pate/pull/386/hovercard\" href=\"https://github.com/GaloisInc/pate/pull/386\">#386</a> from GaloisInc/dm/new-tests"}},{"before":"4fcf340b7e03d80921bea6fd4f4ff1059da724ab","after":"bea47508c407961edd3e737b584859f1c5b39d01","ref":"refs/heads/dm/new-tests","pushedAt":"2024-05-17T16:02:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"mark desync-orphan-return as expected failure","shortMessageHtmlLink":"mark desync-orphan-return as expected failure"}},{"before":"483b7df5b940688f71316cbc26d23ab7fdc92275","after":"c95d70f49e0f560577f7c51b87fbec981312b3dc","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-05-15T22:01:31.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"cherry-pick changes from dm/diverge-fix2\n\nthis now builds, and changes the control flow synchronization\nto occur as a first-class operation that is explicitly scheduled\n\nthis provides some flexibility for handling additional cases\nfor mismatched control flow, but this is still work in progress","shortMessageHtmlLink":"cherry-pick changes from dm/diverge-fix2"}},{"before":"ac18ddd4e3d8f6a6b5b7d39ce5c8f5c91b539eb5","after":"483b7df5b940688f71316cbc26d23ab7fdc92275","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-05-15T17:50:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add SingleNodeEntry datatype to represent explicitly single-sided nodes\n\nThis clears up some of the ambiguity in the SyncPoint data which otherwise\nhad lots of implicit assumptions about the run-time contents of the NodeEntry\nfor each sync point\n\nA SingleNodeEntry is functionally equivalent to a NodeEntry that's\nannotated with the fact that it's single-sided","shortMessageHtmlLink":"add SingleNodeEntry datatype to represent explicitly single-sided nodes"}},{"before":null,"after":"957000ee16cbd511a833227206f100f7a787288f","ref":"refs/heads/dm/diverge-fix2","pushedAt":"2024-05-14T20:26:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"ac18ddd4e3d8f6a6b5b7d39ce5c8f5c91b539eb5","ref":"refs/heads/dm/control_sync_wip2","pushedAt":"2024-05-14T20:15:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"wrap PairGraph worklist elements in WorkItem datatype\n\nthis is an intermediate step in adding additional ways that a node\ncan be queued to be processed - in particular, handling node merge\nlogic via the scheduler","shortMessageHtmlLink":"wrap PairGraph worklist elements in WorkItem datatype"}},{"before":"a8ecc54707dbe9f490b0c4c128bc2a646ff007cb","after":"fa98b01dd4b14aeb778590a1bf52bdf7d1c3ac49","ref":"refs/heads/master","pushedAt":"2024-05-14T19:36:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add missing wrapping step for SimpCheck","shortMessageHtmlLink":"add missing wrapping step for SimpCheck"}},{"before":"85e1b43c7171b650a1e2f6de75287398cacd187b","after":"a8ecc54707dbe9f490b0c4c128bc2a646ff007cb","ref":"refs/heads/master","pushedAt":"2024-05-14T19:21:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"Merge pull request #385 from GaloisInc/dm/simplifier\n\nfactor out simplification logic into What4.Simplify","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2293407844\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/pate/issues/385\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/pate/pull/385/hovercard\" href=\"https://github.com/GaloisInc/pate/pull/385\">#385</a> from GaloisInc/dm/simplifier"}},{"before":"0154ab89e7a1512d3385d899b84c0df50684add1","after":"4fcf340b7e03d80921bea6fd4f4ff1059da724ab","ref":"refs/heads/dm/new-tests","pushedAt":"2024-05-14T18:33:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add (failing) desync-orphan-return test\n\nthis tests the case where a single-sided analysis\nnever re-synchronizes (i.e. never hits the synchronization\npoint)\n\ncurrently this is considered an error, but in general\nthis should be supported by prompting the user\nfor an action","shortMessageHtmlLink":"add (failing) desync-orphan-return test"}},{"before":"67d4eaca6b4fd1ff094871e9c5a11e48bdd566b8","after":"0154ab89e7a1512d3385d899b84c0df50684add1","ref":"refs/heads/dm/new-tests","pushedAt":"2024-05-14T17:22:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add failing desync-zerostep test demonstrating desync/sync issue\n\nthis demonstrates an issue where resync fails\nto correctly re-align the CFARs when one of the\nsingle-sided analyses takes zero steps (i.e.\nit has the same desync and resync point)","shortMessageHtmlLink":"add failing desync-zerostep test demonstrating desync/sync issue"}},{"before":null,"after":"67d4eaca6b4fd1ff094871e9c5a11e48bdd566b8","ref":"refs/heads/dm/new-tests","pushedAt":"2024-05-14T17:21:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add failing desync-zerostep test demonstrating desync/sync issue\n\nthis demonstrates an issue where resync fails\nto correctly re-align the CFARs when one of the\nsingle-sided analyses takes zero steps (i.e.\nit has the same desync and resync point)","shortMessageHtmlLink":"add failing desync-zerostep test demonstrating desync/sync issue"}},{"before":null,"after":"2cf1325f2ebc4179a35d550e028778eaab6a3d14","ref":"refs/heads/dm/simplifier","pushedAt":"2024-05-13T17:23:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"factor out simplification logic into What4.Simplify\n\nthis is an attempt to standardize the simplifier functions into\nuniform \"strategies\" that can be combined together.\nSpecifically, each strategy defines separate setup and execution\nphases. Strategies can be combined by combining these phases\nseparately, so that their individual setup steps still only occur\nonce in the resulting composite strategy.\n\nthis is motivated by an observation that multiple calls to\na given simplification strategy (in the same\nassumption context) should always use the same cache.\nHowever top-level entry point for simplifiers usually\nimplicitly allocates a fresh cache. Multiple executions\nof that simplifier would therefore not use the same cache.","shortMessageHtmlLink":"factor out simplification logic into What4.Simplify"}},{"before":"8a6fcdff34d0717f518458c1b64a329cabc9d95d","after":"85e1b43c7171b650a1e2f6de75287398cacd187b","ref":"refs/heads/master","pushedAt":"2024-05-10T19:36:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Fix title in html diff display.","shortMessageHtmlLink":"Fix title in html diff display."}},{"before":"6349f905b8dcd41e222be0d48efe9186ffe7b932","after":"4b61a4ba0c423014e8528d53e1579feddf709ab4","ref":"refs/heads/dm/control_sync_wip","pushedAt":"2024-05-10T18:01:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"use applySimpStrategy when simplifier is only called once","shortMessageHtmlLink":"use applySimpStrategy when simplifier is only called once"}},{"before":"62592792e120d0fba09477343f472f37a3139a52","after":"8a6fcdff34d0717f518458c1b64a329cabc9d95d","ref":"refs/heads/master","pushedAt":"2024-05-10T17:59:35.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Add eq cond simplification select(memory, ADDR) => read1(ADDR)","shortMessageHtmlLink":"Add eq cond simplification select(memory, ADDR) =&gt; read1(ADDR)"}},{"before":"444663da5e23e722e7017b6893e0bc31014d7251","after":"62592792e120d0fba09477343f472f37a3139a52","ref":"refs/heads/master","pushedAt":"2024-05-09T20:31:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Generalize multiply by one simplification.","shortMessageHtmlLink":"Generalize multiply by one simplification."}},{"before":"0aa9e372bfabda53a77d5d7c07f7d5243b4709a4","after":"444663da5e23e722e7017b6893e0bc31014d7251","ref":"refs/heads/master","pushedAt":"2024-05-09T19:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Don't print region for stack ref when region is 1.","shortMessageHtmlLink":"Don't print region for stack ref when region is 1."}},{"before":"df1ba9c6bbd1d96ce79be91ea79c2b1c68de00a6","after":"0aa9e372bfabda53a77d5d7c07f7d5243b4709a4","ref":"refs/heads/master","pushedAt":"2024-05-09T02:14:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Eq cond simplification for readXXD(memory, A) => readXXD(A)","shortMessageHtmlLink":"Eq cond simplification for readXXD(memory, A) =&gt; readXXD(A)"}},{"before":"a6b4bf16d31e10a122569775b3184c7bfaa0601e","after":"6349f905b8dcd41e222be0d48efe9186ffe7b932","ref":"refs/heads/dm/control_sync_wip","pushedAt":"2024-05-09T00:26:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"factor out simplification logic into What4.Simplify\n\nthis is an attempt to standardize the simplifier functions into\nuniform \"strategies\" that can be combined together.\nSpecifically, each strategy defines separate setup and execution\nphases. Strategies can be combined by combining these phases\nseparately, so that their individual setup steps still only occur\nonce in the resulting composite strategy.\n\nthis is motivated by an observation that multiple calls to\na given simplification strategy (in the same\nassumption context) should always use the same cache.\nHowever top-level entry point for simplifiers usually\nimplicitly allocates a fresh cache. Multiple executions\nof that simplifier would therefore not use the same cache.","shortMessageHtmlLink":"factor out simplification logic into What4.Simplify"}},{"before":"f3265244ac8774408f73eaaa58c1315a96f000d0","after":"df1ba9c6bbd1d96ce79be91ea79c2b1c68de00a6","ref":"refs/heads/master","pushedAt":"2024-05-08T20:31:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Additional symbolic expression simplification.","shortMessageHtmlLink":"Additional symbolic expression simplification."}},{"before":"dfd59cbe27ffbabf1bfe6c9b81dbde5961ccfd08","after":"f3265244ac8774408f73eaaa58c1315a96f000d0","ref":"refs/heads/master","pushedAt":"2024-05-08T19:12:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jim-carciofini","name":null,"path":"/jim-carciofini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16215099?s=80&v=4"},"commit":{"message":"Fix cut and paste bug that was showing same eq cond trace for EQUIV and DIFF.","shortMessageHtmlLink":"Fix cut and paste bug that was showing same eq cond trace for EQUIV a…"}},{"before":"45a8e5c77f2a81e886bcc9e766c25faec462a729","after":"a6b4bf16d31e10a122569775b3184c7bfaa0601e","ref":"refs/heads/dm/control_sync_wip","pushedAt":"2024-05-08T19:00:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add missing guard import (GHC 9.6)","shortMessageHtmlLink":"add missing guard import (GHC 9.6)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXXDI1gA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/pate"}