{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":277606156,"defaultBranch":"master","name":"daedalus","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-06T17:27:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712852617.0","currentOid":""},"activityList":{"items":[{"before":"14b846911542d609d37d054fb2abad3157af1aa2","after":"7dd6d30d94109159b0c8a1d91cf7193186ab522c","ref":"refs/heads/master","pushedAt":"2024-08-12T16:07:05.000Z","pushType":"pr_merge","commitsCount":3,"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 #376 from kquick/haddock_fix_kwq1\n\nHaddocks are invalid for type tuple-field specifications.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460074900\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/daedalus/issues/376\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/daedalus/pull/376/hovercard\" href=\"https://github.com/GaloisInc/daedalus/pull/376\">#376</a> from kquick/haddock_fix_kwq1"}},{"before":"a997c12f62c3259e8a31e623d3c0f2ec81ca3d05","after":"14b846911542d609d37d054fb2abad3157af1aa2","ref":"refs/heads/master","pushedAt":"2024-08-12T16:06:32.000Z","pushType":"pr_merge","commitsCount":2,"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 #375 from kquick/errinfo_kwq1\n\nAdd additional information for panic information","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460019173\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/daedalus/issues/375\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/daedalus/pull/375/hovercard\" href=\"https://github.com/GaloisInc/daedalus/pull/375\">#375</a> from kquick/errinfo_kwq1"}},{"before":"3b4abaa9a31e8b2375a6f02e512cca2de39e87e4","after":"a997c12f62c3259e8a31e623d3c0f2ec81ca3d05","ref":"refs/heads/master","pushedAt":"2024-08-12T16:06:13.000Z","pushType":"pr_merge","commitsCount":2,"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 #374 from kquick/spellfix_kwq1\n\nVarious spelling fixes for haddock comments.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460018080\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/daedalus/issues/374\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/daedalus/pull/374/hovercard\" href=\"https://github.com/GaloisInc/daedalus/pull/374\">#374</a> from kquick/spellfix_kwq1"}},{"before":"0e80b6f1da32126f0188e59661b169899c6565f5","after":"3b4abaa9a31e8b2375a6f02e512cca2de39e87e4","ref":"refs/heads/master","pushedAt":"2024-08-12T16:05:55.000Z","pushType":"pr_merge","commitsCount":2,"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 #373 from kquick/older_mtl\n\nRelax lower bound on mtl to allow building with older GHC.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460016316\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/daedalus/issues/373\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/daedalus/pull/373/hovercard\" href=\"https://github.com/GaloisInc/daedalus/pull/373\">#373</a> from kquick/older_mtl"}},{"before":"46a2502a8c68b17534079356a71af90e87801fdc","after":"0e80b6f1da32126f0188e59661b169899c6565f5","ref":"refs/heads/master","pushedAt":"2024-07-22T23:06:19.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":"Annotate tuplename with unique id to avoid name clashes","shortMessageHtmlLink":"Annotate tuplename with unique id to avoid name clashes"}},{"before":"ca431816732872e01eceb05162d1987fb31d6ff3","after":"46a2502a8c68b17534079356a71af90e87801fdc","ref":"refs/heads/master","pushedAt":"2024-04-11T16:33:02.000Z","pushType":"pr_merge","commitsCount":2,"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 #366 from GaloisInc/cns/cavity-readme\n\nAdd cavity detection to PLDI readme","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238118863\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/daedalus/issues/366\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/daedalus/pull/366/hovercard\" href=\"https://github.com/GaloisInc/daedalus/pull/366\">#366</a> from GaloisInc/cns/cavity-readme"}},{"before":"1e3ff853a0ce0a72efc767c24edbb028b8ad8cee","after":"9db2d6ef0e1fb2add2ad59f88dc5350c3aee0c94","ref":"refs/heads/cns/cavity-readme","pushedAt":"2024-04-11T16:28:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thatplguy","name":"Cole Schlesinger","path":"/thatplguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63367934?s=80&v=4"},"commit":{"message":"Add cavity detection to PLDI readme","shortMessageHtmlLink":"Add cavity detection to PLDI readme"}},{"before":"3d240a2e6e036e4d81b84c484a78f2726335adb0","after":"1e3ff853a0ce0a72efc767c24edbb028b8ad8cee","ref":"refs/heads/cns/cavity-readme","pushedAt":"2024-04-11T16:24:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thatplguy","name":"Cole Schlesinger","path":"/thatplguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63367934?s=80&v=4"},"commit":{"message":"Add cavity detection to PLDI readme","shortMessageHtmlLink":"Add cavity detection to PLDI readme"}},{"before":null,"after":"3d240a2e6e036e4d81b84c484a78f2726335adb0","ref":"refs/heads/cns/cavity-readme","pushedAt":"2024-04-11T16:23:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"thatplguy","name":"Cole Schlesinger","path":"/thatplguy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/63367934?s=80&v=4"},"commit":{"message":"Add cavity detection to PLDI readme","shortMessageHtmlLink":"Add cavity detection to PLDI readme"}},{"before":"c6183d8b83aeecf157602b11265dd2a4473bba07","after":"ca431816732872e01eceb05162d1987fb31d6ff3","ref":"refs/heads/master","pushedAt":"2024-04-08T17:00:16.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":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"dc045950491094f4e1b46d29506129a6d7e63f06","after":"c6183d8b83aeecf157602b11265dd2a4473bba07","ref":"refs/heads/master","pushedAt":"2024-04-08T16:35:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Add instructions on how to generate HTML visualization of a parsed value.","shortMessageHtmlLink":"Add instructions on how to generate HTML visualization of a parsed va…"}},{"before":"32c3bac20662a8e833fdc032088d51156319db28","after":"dc045950491094f4e1b46d29506129a6d7e63f06","ref":"refs/heads/master","pushedAt":"2024-04-05T18:15:10.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 typos","shortMessageHtmlLink":"Fix typos"}},{"before":"a01e166b243765ca0f14230fb0d3d13ea935f801","after":"32c3bac20662a8e833fdc032088d51156319db28","ref":"refs/heads/master","pushedAt":"2024-04-05T18:05:53.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":"Some notes on how one can test `talos`","shortMessageHtmlLink":"Some notes on how one can test <code>talos</code>"}},{"before":"5c0689cc898a606c9240a1476ffaef5fa164ca2a","after":"a01e166b243765ca0f14230fb0d3d13ea935f801","ref":"refs/heads/master","pushedAt":"2024-04-05T17:10:03.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":"Add instructions on how to try out the language server from VS Code","shortMessageHtmlLink":"Add instructions on how to try out the language server from VS Code"}},{"before":"c7d12822754e32b425f856fafd5d6d7b45fea06b","after":"5c0689cc898a606c9240a1476ffaef5fa164ca2a","ref":"refs/heads/master","pushedAt":"2024-03-11T23:58:54.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 typos","shortMessageHtmlLink":"Fix typos"}},{"before":"0ca49209235917d11a1f11d0cac35a6735ab1fe6","after":"c7d12822754e32b425f856fafd5d6d7b45fea06b","ref":"refs/heads/master","pushedAt":"2024-03-11T23:43:05.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":"Remove VS Code stuff as too complicated.","shortMessageHtmlLink":"Remove VS Code stuff as too complicated."}},{"before":"f64652449ee61979b6dbaaf15c9658ad1e61ff41","after":"0ca49209235917d11a1f11d0cac35a6735ab1fe6","ref":"refs/heads/master","pushedAt":"2024-03-11T23:23:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Sample inputs, update README","shortMessageHtmlLink":"Sample inputs, update README"}},{"before":"d1b064353e80131529140382e79104ce49231047","after":"f64652449ee61979b6dbaaf15c9658ad1e61ff41","ref":"refs/heads/master","pushedAt":"2024-03-11T21:43:43.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":"Use https instead of ssh","shortMessageHtmlLink":"Use https instead of ssh"}},{"before":"bc42b4acd4293747fa96aa2fc9c8241178ec09ea","after":"d1b064353e80131529140382e79104ce49231047","ref":"refs/heads/master","pushedAt":"2024-03-11T21:31:11.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":"Use `https` address for repo","shortMessageHtmlLink":"Use <code>https</code> address for repo"}},{"before":"7b303ce975d7f411c8cd6f7ce465cae48346ee91","after":"bc42b4acd4293747fa96aa2fc9c8241178ec09ea","ref":"refs/heads/master","pushedAt":"2024-03-11T19:02:48.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":"Add an option to just build the benchmarks","shortMessageHtmlLink":"Add an option to just build the benchmarks"}},{"before":"4fdf9b0cf3443e1e3f5b9f57919bb79d29ce9f8a","after":"7b303ce975d7f411c8cd6f7ce465cae48346ee91","ref":"refs/heads/master","pushedAt":"2024-03-11T18:58:44.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":"Modify to avoid 2 copies of RTS, and also to actually work","shortMessageHtmlLink":"Modify to avoid 2 copies of RTS, and also to actually work"}},{"before":"1258a49571edb0b48acba62e21ae61e7929a0527","after":"4fdf9b0cf3443e1e3f5b9f57919bb79d29ce9f8a","ref":"refs/heads/master","pushedAt":"2024-03-11T17:10:15.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":"Add a script to conveniently run the benchmarks","shortMessageHtmlLink":"Add a script to conveniently run the benchmarks"}},{"before":"e3beae9aa2333a2d153eda1c95141a4c92a7f24d","after":"1258a49571edb0b48acba62e21ae61e7929a0527","ref":"refs/heads/master","pushedAt":"2024-03-08T23:59:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yav","name":"Iavor S. Diatchki","path":"/yav","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12394?s=80&v=4"},"commit":{"message":"Replace the link in the template with a copy in the directory\n\nIt would appear that `cabal install` just skips the links","shortMessageHtmlLink":"Replace the link in the template with a copy in the directory"}},{"before":"a1e54de6510f7ffc798beeaea02ecf499bb643e8","after":"e3beae9aa2333a2d153eda1c95141a4c92a7f24d","ref":"refs/heads/master","pushedAt":"2024-03-08T17:43:09.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":"Add missing files","shortMessageHtmlLink":"Add missing files"}},{"before":"9ce3fc58ae470e6cc33c2ac1cba9e03d33110f77","after":null,"ref":"refs/heads/bugfix/review","pushedAt":"2024-02-06T23:36:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nlschimanski","name":"Nichole Schimanski","path":"/nlschimanski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3834768?s=80&v=4"}},{"before":"a80ec6d145351ff5cbcaf4a80b513c3f7d863e2f","after":"a1e54de6510f7ffc798beeaea02ecf499bb643e8","ref":"refs/heads/master","pushedAt":"2024-02-06T23:36:10.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"nlschimanski","name":"Nichole Schimanski","path":"/nlschimanski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3834768?s=80&v=4"},"commit":{"message":"Merge pull request #364 from GaloisInc/bugfix/review\n\n[DRAFT] Bugfix/review updates minor issues, inconsistencies and typos in the README and the user-guide","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2019346191\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/daedalus/issues/364\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/daedalus/pull/364/hovercard\" href=\"https://github.com/GaloisInc/daedalus/pull/364\">#364</a> from GaloisInc/bugfix/review"}},{"before":"e1a860e8728614b5ff8690fd3229e75df6833789","after":"9ce3fc58ae470e6cc33c2ac1cba9e03d33110f77","ref":"refs/heads/bugfix/review","pushedAt":"2023-12-03T06:55:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zutshi","name":"Aditya Zutshi","path":"/zutshi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8739457?s=80&v=4"},"commit":{"message":"Added gzip format","shortMessageHtmlLink":"Added gzip format"}},{"before":"7c06b96276c9c68da61124964b79a391be4e3f4d","after":"e1a860e8728614b5ff8690fd3229e75df6833789","ref":"refs/heads/bugfix/review","pushedAt":"2023-12-03T06:51:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zutshi","name":"Aditya Zutshi","path":"/zutshi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8739457?s=80&v=4"},"commit":{"message":"Added gzip format","shortMessageHtmlLink":"Added gzip format"}},{"before":"69cf9dfa176d6f31f0c7afe18a09b7f778d201dd","after":"7c06b96276c9c68da61124964b79a391be4e3f4d","ref":"refs/heads/bugfix/review","pushedAt":"2023-12-02T19:38:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zutshi","name":"Aditya Zutshi","path":"/zutshi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8739457?s=80&v=4"},"commit":{"message":"Added gzip format","shortMessageHtmlLink":"Added gzip format"}},{"before":"007910cdb750216e86bfa444c664850781039b40","after":"69cf9dfa176d6f31f0c7afe18a09b7f778d201dd","ref":"refs/heads/bugfix/review","pushedAt":"2023-12-01T09:37:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zutshi","name":"Aditya Zutshi","path":"/zutshi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8739457?s=80&v=4"},"commit":{"message":"added ICO container format used by MS windows to store image files.","shortMessageHtmlLink":"added ICO container format used by MS windows to store image files."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQxNjowNzowNS4wMDAwMDBazwAAAASYTqYe","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQxNjowNzowNS4wMDAwMDBazwAAAASYTqYe","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wMVQwOTozNzoxNi4wMDAwMDBazwAAAAO9FCoC"}},"title":"Activity · GaloisInc/daedalus"}