{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":18895427,"defaultBranch":"master","name":"cryptol","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-04-17T22:29:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727468693.0","currentOid":""},"activityList":{"items":[{"before":"1a341b5b2a81a099296595f494f4a0cf647bb5a7","after":null,"ref":"refs/heads/docstring-line-wrap","pushedAt":"2024-09-27T20:24:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"}},{"before":"5089ad3c8b888372294ac33bf0e5c8d40dcac7ee","after":"8cd51e82499add5508a5492b000eb39b298fd830","ref":"refs/heads/master","pushedAt":"2024-09-27T20:24:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Allow doctests to span multiple lines with a trailing \\ like the REPL already supports (#1757)\n\n* Allow doctests to span multiple lines with a trailing \\ like the REPL already supports\r\n* Empty doctest lines to be skipped without error","shortMessageHtmlLink":"Allow doctests to span multiple lines with a trailing \\ like the REPL…"}},{"before":"ddcb4eb664b1c9a43ef759aa865cf7a544cf19ab","after":"1a341b5b2a81a099296595f494f4a0cf647bb5a7","ref":"refs/heads/docstring-line-wrap","pushedAt":"2024-09-27T18:50:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"strip leading whitespace from line after trailing \\","shortMessageHtmlLink":"strip leading whitespace from line after trailing \\"}},{"before":null,"after":"ddcb4eb664b1c9a43ef759aa865cf7a544cf19ab","ref":"refs/heads/docstring-line-wrap","pushedAt":"2024-09-27T18:44:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Allow doctests to span multiple lines with a trailing \\ like the REPL already supports\n\nAdditionally this allows empty doctest lines to be skipped without error","shortMessageHtmlLink":"Allow doctests to span multiple lines with a trailing \\ like the REPL…"}},{"before":"d6c1f0f979efec8082ba3273079f281a574be7ba","after":null,"ref":"refs/heads/add-book-ci","pushedAt":"2024-09-20T19:00:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"}},{"before":"c2e377203aaeef41211f1f6734097097c73facf0","after":"5089ad3c8b888372294ac33bf0e5c8d40dcac7ee","ref":"refs/heads/master","pushedAt":"2024-09-20T19:00:42.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"Merge pull request #1754 from GaloisInc/add-book-ci\n\nci: add a check for the cryptol book pdf","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2537385653\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol/issues/1754\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol/pull/1754/hovercard\" href=\"https://github.com/GaloisInc/cryptol/pull/1754\">#1754</a> from GaloisInc/add-book-ci"}},{"before":"4c2f3256adb95cfd6c4c9774b354f0218c614ebe","after":"d6c1f0f979efec8082ba3273079f281a574be7ba","ref":"refs/heads/add-book-ci","pushedAt":"2024-09-20T17:05:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"docs: improve docs about docs\n\n- updates contributing file with a brief overview of kinds of\n  user-facing documentation\n- minor updates to book-building CI documentation","shortMessageHtmlLink":"docs: improve docs about docs"}},{"before":"bda99ac63d41b961387b3198aeee1d79d5ee6c2c","after":null,"ref":"refs/heads/cryptol-remote-api-list-modules","pushedAt":"2024-09-20T16:53:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"}},{"before":"670262219d9e1b001c2130cc81c3ce3680cd8029","after":"c2e377203aaeef41211f1f6734097097c73facf0","ref":"refs/heads/master","pushedAt":"2024-09-20T16:53:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Add a modules() method to the cryptol python api for listing modules and their documentation (#1755)\n\n* Add a modules() method to the cryptol python api for listing modules and their documentation\r\n\r\n* Changelog!\r\n\r\n* update rpc docs\r\n\r\n* Additional changelog\r\n\r\n* Add modules() to the many layers of the API and add a test case\r\n\r\n* Put the space back into the manually line-wrapped documentation","shortMessageHtmlLink":"Add a modules() method to the cryptol python api for listing modules …"}},{"before":"7735acfa130861b45141ef2642420011b3b22a37","after":"bda99ac63d41b961387b3198aeee1d79d5ee6c2c","ref":"refs/heads/cryptol-remote-api-list-modules","pushedAt":"2024-09-20T16:06:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Put the space back into the manually line-wrapped documentation","shortMessageHtmlLink":"Put the space back into the manually line-wrapped documentation"}},{"before":"a486cb8d36ba711d62b7e0a80d7e58c6540a4f5e","after":"7735acfa130861b45141ef2642420011b3b22a37","ref":"refs/heads/cryptol-remote-api-list-modules","pushedAt":"2024-09-20T00:23:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Add modules() to the many layers of the API and add a test case","shortMessageHtmlLink":"Add modules() to the many layers of the API and add a test case"}},{"before":"9fed2c52756dcdbd98a689b22c393e7fdf08a95e","after":"a486cb8d36ba711d62b7e0a80d7e58c6540a4f5e","ref":"refs/heads/cryptol-remote-api-list-modules","pushedAt":"2024-09-19T22:41:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"update rpc docs","shortMessageHtmlLink":"update rpc docs"}},{"before":"33cc8743df0dad6ceb68d55ea8163faa296f0855","after":"9fed2c52756dcdbd98a689b22c393e7fdf08a95e","ref":"refs/heads/cryptol-remote-api-list-modules","pushedAt":"2024-09-19T22:27:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Changelog!","shortMessageHtmlLink":"Changelog!"}},{"before":null,"after":"33cc8743df0dad6ceb68d55ea8163faa296f0855","ref":"refs/heads/cryptol-remote-api-list-modules","pushedAt":"2024-09-19T22:26:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"glguy","name":"Eric Mertens","path":"/glguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12164?s=80&v=4"},"commit":{"message":"Add a modules() method to the cryptol python api for listing modules and their documentation","shortMessageHtmlLink":"Add a modules() method to the cryptol python api for listing modules …"}},{"before":null,"after":"4c2f3256adb95cfd6c4c9774b354f0218c614ebe","ref":"refs/heads/add-book-ci","pushedAt":"2024-09-19T21:16:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"ci: add a check for the cryptol book pdf","shortMessageHtmlLink":"ci: add a check for the cryptol book pdf"}},{"before":"84f1049d03a5dc22abb77d3983d0532a0afa83e3","after":null,"ref":"refs/heads/1747-take-type","pushedAt":"2024-09-19T21:13:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"}},{"before":"ee1378ffcdfba13a18fd6864d84fcbd9159b9dba","after":"670262219d9e1b001c2130cc81c3ce3680cd8029","ref":"refs/heads/master","pushedAt":"2024-09-19T21:13:14.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"Merge pull request #1748 from GaloisInc/1747-take-type\n\nUpdate type of `take` in book","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516594002\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol/issues/1748\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol/pull/1748/hovercard\" href=\"https://github.com/GaloisInc/cryptol/pull/1748\">#1748</a> from GaloisInc/1747-take-type"}},{"before":"b7363dd99f4d61a799a5df227c1474c60f583167","after":"84f1049d03a5dc22abb77d3983d0532a0afa83e3","ref":"refs/heads/1747-take-type","pushedAt":"2024-09-19T18:06:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marsella","name":"Marcella Hastings","path":"/marsella","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1408247?s=80&v=4"},"commit":{"message":"update cryptol book pdf with recent changes","shortMessageHtmlLink":"update cryptol book pdf with recent changes"}},{"before":"16d2786c7d965a6e7ebc5d588b9ff62a188a457a","after":null,"ref":"refs/heads/T1749","pushedAt":"2024-09-18T19:15:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"1b94a6fd8d8ee70d123a2c6060b8c96f1cabcefb","after":"ee1378ffcdfba13a18fd6864d84fcbd9159b9dba","ref":"refs/heads/master","pushedAt":"2024-09-18T19:15:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #1750 from GaloisInc/T1749\n\nFix `splitV` when splitting empty sequence to type `[inf][0]`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2517384770\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol/issues/1750\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol/pull/1750/hovercard\" href=\"https://github.com/GaloisInc/cryptol/pull/1750\">#1750</a> from GaloisInc/T1749"}},{"before":"c898bb7d8e2fe934453b65bc9e2a32822d247e1c","after":"16d2786c7d965a6e7ebc5d588b9ff62a188a457a","ref":"refs/heads/T1749","pushedAt":"2024-09-18T18:44:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Fix splitV when splitting empty sequence to type [inf][0]\n\nPreviously, `splitV` would assume that if you were splitting a value `val` into\nsomething of type `[inf][each]`, then `val` must be a stream of type of `[inf *\neach]` (i.e., of type `[inf]`). This is not true in the corner case where\n`each` equals `0`, however. In that case, `val` is of type `[0]`, which is a\nword, not a stream. As such, we need to ensure that we do not call `fromSeq` on\n`val`, which crashes if `val` is not a stream or sequence.\n\nFixes #1749.","shortMessageHtmlLink":"Fix splitV when splitting empty sequence to type [inf][0]"}},{"before":"1b302afdc5651f6ffd678b261308a58db8bdba5e","after":null,"ref":"refs/heads/argo-client-0.0.13","pushedAt":"2024-09-18T18:31:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"b1bdfd0e3ff0ff8d16e94fd6e6402a3d1fb497f2","after":"1b94a6fd8d8ee70d123a2c6060b8c96f1cabcefb","ref":"refs/heads/master","pushedAt":"2024-09-18T18:31:03.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #1752 from GaloisInc/argo-client-0.0.13\n\nPython: Require argo-client >=0.0.13","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2533785697\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol/issues/1752\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol/pull/1752/hovercard\" href=\"https://github.com/GaloisInc/cryptol/pull/1752\">#1752</a> from GaloisInc/argo-client-0.0.13"}},{"before":"3e70df90b72538e332e05ecbdb584fead85385d7","after":"1b302afdc5651f6ffd678b261308a58db8bdba5e","ref":"refs/heads/argo-client-0.0.13","pushedAt":"2024-09-18T18:04:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Python: Bump development version to 3.2.1.99","shortMessageHtmlLink":"Python: Bump development version to 3.2.1.99"}},{"before":null,"after":"3e70df90b72538e332e05ecbdb584fead85385d7","ref":"refs/heads/argo-client-0.0.13","pushedAt":"2024-09-18T13:39:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Python: Require argo-client >=0.0.13\n\nThis updates the `cryptol` Python bindings to require the use of\n`argo-client-0.0.13` or later, bringing in the performance improvements from\nhttps://github.com/GaloisInc/argo/pull/216.","shortMessageHtmlLink":"Python: Require argo-client &gt;=0.0.13"}},{"before":"496de4c8e129a9efb73ed5368eb2c1a70e5478d5","after":null,"ref":"refs/heads/issue_1740","pushedAt":"2024-09-17T20:26:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"}},{"before":"98c5cf6e9abe54d2ca9d52054c08e08d3eab1d42","after":"b1bdfd0e3ff0ff8d16e94fd6e6402a3d1fb497f2","ref":"refs/heads/master","pushedAt":"2024-09-17T20:26:41.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Merge pull request #1751 from GaloisInc/issue_1740\n\nRemove bitvectors width from the value tag.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531737839\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol/issues/1751\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol/pull/1751/hovercard\" href=\"https://github.com/GaloisInc/cryptol/pull/1751\">#1751</a> from GaloisInc/issue_1740"}},{"before":"551cbc0887d3ccecefd9ff3f429f25b357aeb320","after":"496de4c8e129a9efb73ed5368eb2c1a70e5478d5","ref":"refs/heads/issue_1740","pushedAt":"2024-09-17T18:16:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Fix typo.","shortMessageHtmlLink":"Fix typo."}},{"before":"fd351624e4cd403329d2e5d475ed5fb58b9fc9a2","after":"551cbc0887d3ccecefd9ff3f429f25b357aeb320","ref":"refs/heads/issue_1740","pushedAt":"2024-09-17T18:14:51.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Fix the remote API","shortMessageHtmlLink":"Fix the remote API"}},{"before":null,"after":"fd351624e4cd403329d2e5d475ed5fb58b9fc9a2","ref":"refs/heads/issue_1740","pushedAt":"2024-09-17T17:45:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Remove bitvectors width from the value tag.\n\nFixes #1740.  We can do this because the values (WordVal) already\nhas its width, so we don't need to store it again.","shortMessageHtmlLink":"Remove bitvectors width from the value tag."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yN1QyMDoyNDo1My4wMDAwMDBazwAAAATC_sg8","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxNzo0NToyOS4wMDAwMDBazwAAAAS41Ec_"}},"title":"Activity · GaloisInc/cryptol"}