{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":36519077,"defaultBranch":"master","name":"SMCDEL","ownerLogin":"jrclogic","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-05-29T17:29:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13252704?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713978707.0","currentOid":""},"activityList":{"items":[{"before":"c17bbef46e2d48a9f8279b67ffe6adac06f9dabe","after":"e763b983a95191e2927fde31762db88661227834","ref":"refs/heads/next","pushedAt":"2024-04-24T17:32:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add dependency in readme","shortMessageHtmlLink":"add dependency in readme"}},{"before":"8c7c95f512df75d8f21a4e3a57797d5fb105794c","after":"c17bbef46e2d48a9f8279b67ffe6adac06f9dabe","ref":"refs/heads/next","pushedAt":"2024-04-24T17:03:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"avoid new scotty for now to fix cabal build of web UI","shortMessageHtmlLink":"avoid new scotty for now to fix cabal build of web UI"}},{"before":"6f7d0672ed9a43315f44de86bb729304d9103c7f","after":"c17bbef46e2d48a9f8279b67ffe6adac06f9dabe","ref":"refs/heads/master","pushedAt":"2024-04-24T17:03:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"avoid new scotty for now to fix cabal build of web UI","shortMessageHtmlLink":"avoid new scotty for now to fix cabal build of web UI"}},{"before":"4571f423ecf3398bf20a01795fcfccbe090c282a","after":"6f7d0672ed9a43315f44de86bb729304d9103c7f","ref":"refs/heads/master","pushedAt":"2024-04-24T16:52:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"avoid ambiguous \"catch\"","shortMessageHtmlLink":"avoid ambiguous \"catch\""}},{"before":"8c7c95f512df75d8f21a4e3a57797d5fb105794c","after":"4571f423ecf3398bf20a01795fcfccbe090c282a","ref":"refs/heads/master","pushedAt":"2024-04-24T16:36:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"update changelog","shortMessageHtmlLink":"update changelog"}},{"before":"2b7fd237b3069b144510d481786c10d69dbe9c49","after":"8c7c95f512df75d8f21a4e3a57797d5fb105794c","ref":"refs/heads/master","pushedAt":"2024-04-24T16:30:38.000Z","pushType":"push","commitsCount":46,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"update readme; add version bounds for dependencies","shortMessageHtmlLink":"update readme; add version bounds for dependencies"}},{"before":"3ee45d0761d038d32d7e186c6facbf58dc4d015b","after":"8c7c95f512df75d8f21a4e3a57797d5fb105794c","ref":"refs/heads/next","pushedAt":"2024-04-24T14:37:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"update readme; add version bounds for dependencies","shortMessageHtmlLink":"update readme; add version bounds for dependencies"}},{"before":"771ad7ac1be65db32760b6552347f221e34d1edc","after":"3ee45d0761d038d32d7e186c6facbf58dc4d015b","ref":"refs/heads/next","pushedAt":"2024-04-24T10:53:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"update readme; add version bounds for dependencies","shortMessageHtmlLink":"update readme; add version bounds for dependencies"}},{"before":"75b2b442184c2ec43a4c69cec8a2c7ea6b54c96b","after":"771ad7ac1be65db32760b6552347f221e34d1edc","ref":"refs/heads/next","pushedAt":"2024-04-18T20:25:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"only build web interface and CUDD modules when build-flags are set","shortMessageHtmlLink":"only build web interface and CUDD modules when build-flags are set"}},{"before":"f6ecaf08154a36b6c79744c52b0dac4b45b3cb6e","after":"75b2b442184c2ec43a4c69cec8a2c7ea6b54c96b","ref":"refs/heads/next","pushedAt":"2024-04-18T19:49:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"do not simplify Ck _ Bot; add Ck and D tests; adjust shrinkform","shortMessageHtmlLink":"do not simplify Ck _ Bot; add Ck and D tests; adjust shrinkform"}},{"before":"ff7454136dbfd6ccee40c4f9b3000f4561969655","after":"f6ecaf08154a36b6c79744c52b0dac4b45b3cb6e","ref":"refs/heads/next","pushedAt":"2024-04-03T16:34:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"do not simplify (Dk _ Bot) to Bot\n\nIt is not equivalent in K.\n\nFixes https://github.com/jrclogic/SMCDEL/issues/41","shortMessageHtmlLink":"do not simplify (Dk _ Bot) to Bot"}},{"before":"cdff0e62215acec43f901b0cdff2803c1211f23b","after":"ff7454136dbfd6ccee40c4f9b3000f4561969655","ref":"refs/heads/next","pushedAt":"2024-04-03T16:13:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add more Haddock comments","shortMessageHtmlLink":"add more Haddock comments"}},{"before":"7280b26341565978178f7ba6a3d0c387ddf11fa0","after":"cdff0e62215acec43f901b0cdff2803c1211f23b","ref":"refs/heads/next","pushedAt":"2024-03-21T15:09:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"use lts-21.25 and ghc 9.4.8","shortMessageHtmlLink":"use lts-21.25 and ghc 9.4.8"}},{"before":"25efaa79ba4e04553001e76886ef77ae82ddeead","after":"7280b26341565978178f7ba6a3d0c387ddf11fa0","ref":"refs/heads/next","pushedAt":"2024-03-09T10:40:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"document DC benchmark","shortMessageHtmlLink":"document DC benchmark"}},{"before":"b71711d6aea1cae5fe10c96a0862016d3a3c1528","after":"25efaa79ba4e04553001e76886ef77ae82ddeead","ref":"refs/heads/next","pushedAt":"2024-03-09T10:21:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"small haddocking and other fixes","shortMessageHtmlLink":"small haddocking and other fixes"}},{"before":"a85cfd972a7cc5d4e46344850377b197bacc6923","after":"b71711d6aea1cae5fe10c96a0862016d3a3c1528","ref":"refs/heads/next","pushedAt":"2024-02-28T11:26:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"move failing Dk tests from K to S5\n\nfixes https://github.com/jrclogic/SMCDEL/issues/39","shortMessageHtmlLink":"move failing Dk tests from K to S5"}},{"before":"11608947b34225cfe912d6929f348a4d0bfeab94","after":"a85cfd972a7cc5d4e46344850377b197bacc6923","ref":"refs/heads/next","pushedAt":"2024-02-28T09:41:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"merge MC example txt files","shortMessageHtmlLink":"merge MC example txt files"}},{"before":"24e4c8782eca3c3be927bb1d4563d742d1325239","after":"11608947b34225cfe912d6929f348a4d0bfeab94","ref":"refs/heads/next","pushedAt":"2024-02-28T09:38:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"hlints","shortMessageHtmlLink":"hlints"}},{"before":"80fa7bfe7c33863fecad40c76b9c348d034069e7","after":"24e4c8782eca3c3be927bb1d4563d742d1325239","ref":"refs/heads/next","pushedAt":"2024-02-28T08:17:53.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"fix: dist knowledge txt sample","shortMessageHtmlLink":"fix: dist knowledge txt sample"}},{"before":null,"after":"2bec72d6b599363efdc8c31913ce59933d4d49da","ref":"refs/heads/mcbenchtryout","pushedAt":"2024-02-05T22:03:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add documentation to MC benchmark, and \"keep\" variant for CacBDD","shortMessageHtmlLink":"add documentation to MC benchmark, and \"keep\" variant for CacBDD"}},{"before":"3f2d9c3e4d8040d60da1599c7d81c12a1ebe39df","after":"ae7656e5e453bab3d6d0e3970b12978fc2994260","ref":"refs/heads/using-smcdel-forms-and-bdds","pushedAt":"2024-01-18T11:21:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"Mental_Programs: use Bdds and standard Form types","shortMessageHtmlLink":"Mental_Programs: use Bdds and standard Form types"}},{"before":null,"after":"3f2d9c3e4d8040d60da1599c7d81c12a1ebe39df","ref":"refs/heads/using-smcdel-forms-and-bdds","pushedAt":"2024-01-18T11:20:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"mental_programs to BoolForm","shortMessageHtmlLink":"mental_programs to BoolForm"}},{"before":"d3ddfe578e571a1cb58ac51106717cb6e0965f34","after":"80fa7bfe7c33863fecad40c76b9c348d034069e7","ref":"refs/heads/next","pushedAt":"2023-12-06T19:39:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"web: also test lex/parse/sanity errors","shortMessageHtmlLink":"web: also test lex/parse/sanity errors"}},{"before":"d05071cb80c49ec68dbb9abac225ba0077a27ddf","after":"d3ddfe578e571a1cb58ac51106717cb6e0965f34","ref":"refs/heads/next","pushedAt":"2023-12-05T21:36:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"update changelog","shortMessageHtmlLink":"update changelog"}},{"before":"f7aeda50ceaceaa2966f14ed2ff701e692576d85","after":"d05071cb80c49ec68dbb9abac225ba0077a27ddf","ref":"refs/heads/next","pushedAt":"2023-12-05T18:26:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"adjust devcontainer","shortMessageHtmlLink":"adjust devcontainer"}},{"before":"1b1fd464e1bfa19b7e2642ea7fdfc673cd4d9806","after":"f7aeda50ceaceaa2966f14ed2ff701e692576d85","ref":"refs/heads/next","pushedAt":"2023-12-05T18:11:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add devcontainer","shortMessageHtmlLink":"add devcontainer"}},{"before":"9140db4210e37fc535806f5446578815a567ac53","after":"1b1fd464e1bfa19b7e2642ea7fdfc673cd4d9806","ref":"refs/heads/next","pushedAt":"2023-12-05T09:15:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add devcontainer","shortMessageHtmlLink":"add devcontainer"}},{"before":"9eeab00d3e264485eb50322b9b1b400f56dd3d5e","after":"9140db4210e37fc535806f5446578815a567ac53","ref":"refs/heads/next","pushedAt":"2023-12-04T21:45:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add devcontainer","shortMessageHtmlLink":"add devcontainer"}},{"before":"9a79561f0ad3fbf4579098bc2536338e58bb2a91","after":"9eeab00d3e264485eb50322b9b1b400f56dd3d5e","ref":"refs/heads/next","pushedAt":"2023-12-04T21:31:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add devcontainer","shortMessageHtmlLink":"add devcontainer"}},{"before":"e2ea59143bb55986a735466ee5dfb5ade6efabef","after":"9a79561f0ad3fbf4579098bc2536338e58bb2a91","ref":"refs/heads/next","pushedAt":"2023-12-04T21:26:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"m4lvin","name":"Malvin Gattinger","path":"/m4lvin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2990728?s=80&v=4"},"commit":{"message":"add devcontainer","shortMessageHtmlLink":"add devcontainer"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOWWgxwA","startCursor":null,"endCursor":null}},"title":"Activity · jrclogic/SMCDEL"}