{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":69508239,"defaultBranch":"master","name":"verdi-raft","ownerLogin":"uwplse","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-09-28T22:18:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5273459?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1702044325.0","currentOid":""},"activityList":{"items":[{"before":"6de2f862d6d4f150797c06d74a07e14d87bca65a","after":null,"ref":"refs/heads/update-boilerplate-pubs","pushedAt":"2023-12-08T14:05:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"16b542d11c05d8770eadc52157e9f09fff2b0214","after":"a3375e867326a82225e724cc1a7b4758b029376f","ref":"refs/heads/master","pushedAt":"2023-12-08T14:05:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #105 from uwplse/update-boilerplate-pubs\n\nupdate publication URLs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2032683441\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/105\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/105/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/105\">#105</a> from uwplse/update-boilerplate-pubs"}},{"before":null,"after":"6de2f862d6d4f150797c06d74a07e14d87bca65a","ref":"refs/heads/update-boilerplate-pubs","pushedAt":"2023-12-08T13:44:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update publication URLs","shortMessageHtmlLink":"update publication URLs"}},{"before":null,"after":"26b63ddad531e86645bce4c3b82dbb0fe05f2055","ref":"refs/heads/dune-extraction","pushedAt":"2023-11-05T20:26:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"port vard-log to build with Dune","shortMessageHtmlLink":"port vard-log to build with Dune"}},{"before":"9870e3e9896b6f5cea968f3c803873060a005bf7","after":null,"ref":"refs/heads/update-conclude","pushedAt":"2023-11-05T09:12:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"b555033f3e5d176b72a7fb17ea83a0e466cec421","after":"16b542d11c05d8770eadc52157e9f09fff2b0214","ref":"refs/heads/master","pushedAt":"2023-11-05T09:12:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #103 from uwplse/update-conclude\n\nsimplify proofs using conclude and conclude_using tactics","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1977677807\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/103\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/103/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/103\">#103</a> from uwplse/update-conclude"}},{"before":null,"after":"9870e3e9896b6f5cea968f3c803873060a005bf7","ref":"refs/heads/update-conclude","pushedAt":"2023-11-05T07:51:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"simplify proofs using conclude and conclude_using tactics","shortMessageHtmlLink":"simplify proofs using conclude and conclude_using tactics"}},{"before":"29cefdb316bdc7aee4b04b5b86a08fe58ee3a8ac","after":null,"ref":"refs/heads/fix-intuition-deprec","pushedAt":"2023-11-04T15:40:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"94ff9fa259d410d37a54b02b56513cf57ed13bf4","after":"b555033f3e5d176b72a7fb17ea83a0e466cec421","ref":"refs/heads/master","pushedAt":"2023-11-04T15:40:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #102 from uwplse/fix-intuition-deprec\n\nfix deprecations of intuition auto with star","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966884248\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/102\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/102/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/102\">#102</a> from uwplse/fix-intuition-deprec"}},{"before":"00837718345d7a0a76589615b7fe8ff1dbc3e147","after":"29cefdb316bdc7aee4b04b5b86a08fe58ee3a8ac","ref":"refs/heads/fix-intuition-deprec","pushedAt":"2023-11-04T15:22:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix deprecations of intuition auto with star","shortMessageHtmlLink":"fix deprecations of intuition auto with star"}},{"before":null,"after":"00837718345d7a0a76589615b7fe8ff1dbc3e147","ref":"refs/heads/fix-intuition-deprec","pushedAt":"2023-10-29T07:51:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix many deprecations of intuition auto with star","shortMessageHtmlLink":"fix many deprecations of intuition auto with star"}},{"before":"a7ae3e68b56f4369ef1c80fa37d09ddd73667254","after":null,"ref":"refs/heads/theories-dune","pushedAt":"2023-10-22T10:20:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"4dc70aeada85bbd7c628e16c0b818c38b5e0116f","after":"94ff9fa259d410d37a54b02b56513cf57ed13bf4","ref":"refs/heads/master","pushedAt":"2023-10-22T10:20:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #101 from uwplse/theories-dune\n\nreorganize files under standard theories directory","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1955839622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/101\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/101/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/101\">#101</a> from uwplse/theories-dune"}},{"before":null,"after":"a7ae3e68b56f4369ef1c80fa37d09ddd73667254","ref":"refs/heads/theories-dune","pushedAt":"2023-10-22T10:04:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"reorganize files under standard theories directory, use standard Makefile and Dune builds","shortMessageHtmlLink":"reorganize files under standard theories directory, use standard Make…"}},{"before":"5cd40c1be6420dc5ff9b088c4e6428532585a312","after":null,"ref":"refs/heads/consistent-commands","pushedAt":"2023-10-21T21:15:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"e6d042f254fe13ea182b59b4c27ec6a674a3bfb5","after":"4dc70aeada85bbd7c628e16c0b818c38b5e0116f","ref":"refs/heads/master","pushedAt":"2023-10-21T21:15:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #100 from uwplse/consistent-commands\n\nconsistently use annotations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1955650662\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/100\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/100/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/100\">#100</a> from uwplse/consistent-commands"}},{"before":null,"after":"5cd40c1be6420dc5ff9b088c4e6428532585a312","ref":"refs/heads/consistent-commands","pushedAt":"2023-10-21T20:18:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"consistently use annotations","shortMessageHtmlLink":"consistently use annotations"}},{"before":"8014f8cd5ed21da31ddb9f503f6f6815ec72e44f","after":null,"ref":"refs/heads/from-require","pushedAt":"2023-10-21T15:17:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"06f5ed3a3009947f8c95501d8177100753fd229a","after":"e6d042f254fe13ea182b59b4c27ec6a674a3bfb5","ref":"refs/heads/master","pushedAt":"2023-10-21T15:17:30.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #99 from uwplse/from-require\n\nConsistently use From-Require to enable module relocation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1955527131\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/99\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/99/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/99\">#99</a> from uwplse/from-require"}},{"before":null,"after":"8014f8cd5ed21da31ddb9f503f6f6815ec72e44f","ref":"refs/heads/from-require","pushedAt":"2023-10-21T14:59:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"From-Require in assumptions.v","shortMessageHtmlLink":"From-Require in assumptions.v"}},{"before":"d2ac9c4e89d9df391070a541e34a1ebcdc90e9f4","after":null,"ref":"refs/heads/fix-proof-bullets","pushedAt":"2023-10-20T18:43:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"bf28f4a712487135c911a68f707639e733484278","after":"06f5ed3a3009947f8c95501d8177100753fd229a","ref":"refs/heads/master","pushedAt":"2023-10-20T18:43:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #98 from uwplse/fix-proof-bullets\n\nconsistently use bullets for goals in proofs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1954827260\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/98\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/98/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/98\">#98</a> from uwplse/fix-proof-bullets"}},{"before":null,"after":"d2ac9c4e89d9df391070a541e34a1ebcdc90e9f4","ref":"refs/heads/fix-proof-bullets","pushedAt":"2023-10-20T18:26:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"consistently use bullets for goals in proofs","shortMessageHtmlLink":"consistently use bullets for goals in proofs"}},{"before":"d60477026d56cc91e229a5839fa7d6c1276b9a2a","after":null,"ref":"refs/heads/fix-deprec","pushedAt":"2023-10-15T18:06:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"7c8e4d53d27f7264ec4d3de72944dc0368e065f0","after":"bf28f4a712487135c911a68f707639e733484278","ref":"refs/heads/master","pushedAt":"2023-10-15T18:06:43.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #97 from uwplse/fix-deprec\n\nFix deprecations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943982785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/verdi-raft/issues/97\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/verdi-raft/pull/97/hovercard\" href=\"https://github.com/uwplse/verdi-raft/pull/97\">#97</a> from uwplse/fix-deprec"}},{"before":null,"after":"d60477026d56cc91e229a5839fa7d6c1276b9a2a","ref":"refs/heads/fix-deprec","pushedAt":"2023-10-15T17:35:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix intuition and arith deprecations","shortMessageHtmlLink":"fix intuition and arith deprecations"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxU1mdAA","startCursor":null,"endCursor":null}},"title":"Activity · uwplse/verdi-raft"}