{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":809615454,"defaultBranch":"main","name":"certifaiger","ownerLogin":"Froleyks","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-06-03T05:48:16.000Z","ownerAvatar":"https://github.com/avatars/u/9151918?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1722412464.0","currentOid":""},"activityList":{"items":[{"before":"323c35b732c525405c1bf7be11d5602f09e44832","after":"da6d7346880ca9882813109b8e562095c1f15d0e","ref":"refs/heads/main","pushedAt":"2024-09-03T12:25:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"ground before simulation","shortMessageHtmlLink":"ground before simulation"}},{"before":"0872b59a6131c8c8ab4446c1c8df8d4745563784","after":"323c35b732c525405c1bf7be11d5602f09e44832","ref":"refs/heads/main","pushedAt":"2024-08-31T10:28:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"submodule checkout","shortMessageHtmlLink":"submodule checkout"}},{"before":"9a032e90171818cbb050f5c74e211a4f1468429d","after":"0872b59a6131c8c8ab4446c1c8df8d4745563784","ref":"refs/heads/main","pushedAt":"2024-08-31T10:19:14.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"optional weakening","shortMessageHtmlLink":"optional weakening"}},{"before":"c06d8a87a824ad7ed11bfdb78424966f273ad1e8","after":"0872b59a6131c8c8ab4446c1c8df8d4745563784","ref":"refs/heads/constraint","pushedAt":"2024-08-31T10:18:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"optional weakening","shortMessageHtmlLink":"optional weakening"}},{"before":"092e3defb00baeed7767ccd560be2632b5220224","after":"c06d8a87a824ad7ed11bfdb78424966f273ad1e8","ref":"refs/heads/constraint","pushedAt":"2024-08-27T19:32:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"force shared constraint","shortMessageHtmlLink":"force shared constraint"}},{"before":"1c992f1626a15142a1aeb817cd5bfc811690cb38","after":"9a032e90171818cbb050f5c74e211a4f1468429d","ref":"refs/heads/main","pushedAt":"2024-08-23T09:41:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"kissat 4.0","shortMessageHtmlLink":"kissat 4.0"}},{"before":"447b7c3b042a729916b3cd217a2c5fe2ef1133ca","after":"092e3defb00baeed7767ccd560be2632b5220224","ref":"refs/heads/constraint","pushedAt":"2024-08-23T09:41:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"Merge branch 'main' into constraint","shortMessageHtmlLink":"Merge branch 'main' into constraint"}},{"before":"1c992f1626a15142a1aeb817cd5bfc811690cb38","after":"447b7c3b042a729916b3cd217a2c5fe2ef1133ca","ref":"refs/heads/constraint","pushedAt":"2024-08-21T09:49:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"weak constraint check","shortMessageHtmlLink":"weak constraint check"}},{"before":"dc027be8cda965b3c7f8cc7bfb96f0cf18004dee","after":"1c992f1626a15142a1aeb817cd5bfc811690cb38","ref":"refs/heads/constraint","pushedAt":"2024-08-21T07:29:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"removed unused timeout","shortMessageHtmlLink":"removed unused timeout"}},{"before":"5f9cefc07da0771c6aedab2d6722cc1e8d4893ec","after":"1c992f1626a15142a1aeb817cd5bfc811690cb38","ref":"refs/heads/main","pushedAt":"2024-08-20T06:36:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"removed unused timeout","shortMessageHtmlLink":"removed unused timeout"}},{"before":"12274e6097f742dcf982c8baf46f8ee42f67df3a","after":"dc027be8cda965b3c7f8cc7bfb96f0cf18004dee","ref":"refs/heads/constraint","pushedAt":"2024-08-16T12:09:32.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"time limit for fuzzing","shortMessageHtmlLink":"time limit for fuzzing"}},{"before":"1a5322bd6b1ea1f0de6996c82c63113905cba9e9","after":"5f9cefc07da0771c6aedab2d6722cc1e8d4893ec","ref":"refs/heads/main","pushedAt":"2024-08-16T12:09:23.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"renamed option","shortMessageHtmlLink":"renamed option"}},{"before":null,"after":"12274e6097f742dcf982c8baf46f8ee42f67df3a","ref":"refs/heads/constraint","pushedAt":"2024-07-31T07:54:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"embedded constraint checks","shortMessageHtmlLink":"embedded constraint checks"}},{"before":"604be644e75c596ed5e653e622f498575a6e2b87","after":"1a5322bd6b1ea1f0de6996c82c63113905cba9e9","ref":"refs/heads/main","pushedAt":"2024-07-14T13:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"constraint support","shortMessageHtmlLink":"constraint support"}},{"before":"9fe8251e6208e11385531716ab5e95d6a21d0e6b","after":"604be644e75c596ed5e653e622f498575a6e2b87","ref":"refs/heads/main","pushedAt":"2024-07-11T08:44:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"lowered required cmake","shortMessageHtmlLink":"lowered required cmake"}},{"before":"0dbba619946883a9865480b4e6bddc502754f249","after":"9fe8251e6208e11385531716ab5e95d6a21d0e6b","ref":"refs/heads/main","pushedAt":"2024-07-11T05:02:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"renamed random, pipe to stderr","shortMessageHtmlLink":"renamed random, pipe to stderr"}},{"before":"b9e030b7f682a7130a1f8852df8f650cb9fee8f2","after":"0dbba619946883a9865480b4e6bddc502754f249","ref":"refs/heads/main","pushedAt":"2024-07-10T05:37:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"relative path","shortMessageHtmlLink":"relative path"}},{"before":"42555f70204adfd3dfb22f83e9452d5f15aac199","after":"b9e030b7f682a7130a1f8852df8f650cb9fee8f2","ref":"refs/heads/main","pushedAt":"2024-07-09T09:07:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"docker build with qbf","shortMessageHtmlLink":"docker build with qbf"}},{"before":"cabf46ffc3b11a5b4c5b22f6030583f24f45b692","after":"42555f70204adfd3dfb22f83e9452d5f15aac199","ref":"refs/heads/main","pushedAt":"2024-07-09T08:24:35.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"early check failed","shortMessageHtmlLink":"early check failed"}},{"before":"15b9ac2fdd77441e096e5a03bade5a5f9573833c","after":"cabf46ffc3b11a5b4c5b22f6030583f24f45b692","ref":"refs/heads/main","pushedAt":"2024-07-08T14:31:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"6be42bcc22f72e948bb76db6e2898b88d5a62536","after":"15b9ac2fdd77441e096e5a03bade5a5f9573833c","ref":"refs/heads/main","pushedAt":"2024-07-08T14:30:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"added fuzzing scripts","shortMessageHtmlLink":"added fuzzing scripts"}},{"before":"e0551ffec981e5f4ba71cbb8aac176817a3bf5d9","after":"6be42bcc22f72e948bb76db6e2898b88d5a62536","ref":"refs/heads/main","pushedAt":"2024-07-03T16:30:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"add image to readme","shortMessageHtmlLink":"add image to readme"}},{"before":"0621a4a559a8c250c90d5ce02f3677b78310e87e","after":"e0551ffec981e5f4ba71cbb8aac176817a3bf5d9","ref":"refs/heads/main","pushedAt":"2024-07-03T15:21:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"updated build instructions","shortMessageHtmlLink":"updated build instructions"}},{"before":"bcc5118a249848c7ee9097e7224389085e1b7feb","after":"0621a4a559a8c250c90d5ce02f3677b78310e87e","ref":"refs/heads/main","pushedAt":"2024-07-03T13:54:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"added aiger version warnings","shortMessageHtmlLink":"added aiger version warnings"}},{"before":"1efbce8952a2778c209536741d9a5129a86ea27e","after":"bcc5118a249848c7ee9097e7224389085e1b7feb","ref":"refs/heads/main","pushedAt":"2024-07-03T10:08:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"add logo","shortMessageHtmlLink":"add logo"}},{"before":"cf38393d59e1f2f4f25e011888f2735f0cb28cbf","after":"1efbce8952a2778c209536741d9a5129a86ea27e","ref":"refs/heads/main","pushedAt":"2024-06-19T12:30:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"project name","shortMessageHtmlLink":"project name"}},{"before":"e40e4d0f4105d18c3dc52e9310220da742b1a72c","after":"cf38393d59e1f2f4f25e011888f2735f0cb28cbf","ref":"refs/heads/main","pushedAt":"2024-06-19T10:03:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"makefile so he might not notice","shortMessageHtmlLink":"makefile so he might not notice"}},{"before":"edf32a65e7720f44c9218e99cd0158da3e4bf72e","after":"e40e4d0f4105d18c3dc52e9310220da742b1a72c","ref":"refs/heads/main","pushedAt":"2024-06-18T12:52:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"switched to cmake, sorry Armin","shortMessageHtmlLink":"switched to cmake, sorry Armin"}},{"before":"4b9d874e44fce0e7a1841b80d7cf819975a5c985","after":"edf32a65e7720f44c9218e99cd0158da3e4bf72e","ref":"refs/heads/main","pushedAt":"2024-06-15T06:56:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"bit more explanation of the example","shortMessageHtmlLink":"bit more explanation of the example"}},{"before":"0b690d4f8796692e7abaf801d5abde1c4d7fdd3c","after":"4b9d874e44fce0e7a1841b80d7cf819975a5c985","ref":"refs/heads/main","pushedAt":"2024-06-14T14:18:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Froleyks","name":null,"path":"/Froleyks","primaryAvatarUrl":"https://github.com/avatars/u/9151918?s=80&v=4"},"commit":{"message":"expanded readme","shortMessageHtmlLink":"expanded readme"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wM1QxMjoyNToxOS4wMDAwMDBazwAAAASriz3j","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wM1QxMjoyNToxOS4wMDAwMDBazwAAAASriz3j","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xNFQxNDoxODo1Ni4wMDAwMDBazwAAAARljEvk"}},"title":"Activity · Froleyks/certifaiger"}