{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":497010765,"defaultBranch":"master","name":"gimsatul","ownerLogin":"arminbiere","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-27T13:38:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21080321?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716483564.0","currentOid":""},"activityList":{"items":[{"before":"031de88480d9c8a78c72c77145ce2bee09b491ff","after":"93c052e87f94a15846d9494ad427e159e8a3e937","ref":"refs/heads/sc2024","pushedAt":"2024-07-13T16:23:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"show resources","shortMessageHtmlLink":"show resources"}},{"before":"a8451065d36b2d5c789063ed7cec7615cf6bca98","after":"031de88480d9c8a78c72c77145ce2bee09b491ff","ref":"refs/heads/sc2024","pushedAt":"2024-07-13T15:48:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Merge branch 'sc2024' of gitlab.tf.uni-freiburg.de:biere/gimsatul into sc2024","shortMessageHtmlLink":"Merge branch 'sc2024' of gitlab.tf.uni-freiburg.de:biere/gimsatul int…"}},{"before":"a59c214222639dc3490841fba297820999451fa2","after":"a8451065d36b2d5c789063ed7cec7615cf6bca98","ref":"refs/heads/sc2024","pushedAt":"2024-07-13T15:27:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"gimsatul directly reading json input file","shortMessageHtmlLink":"gimsatul directly reading json input file"}},{"before":"f9aa8604dbe8c60ee48f95b96d568979891d2459","after":"a59c214222639dc3490841fba297820999451fa2","ref":"refs/heads/sc2024","pushedAt":"2024-07-13T15:18:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"experimental docker","shortMessageHtmlLink":"experimental docker"}},{"before":"f30212bc82915cdb45c073a6fbf35ade224c5891","after":"f9aa8604dbe8c60ee48f95b96d568979891d2459","ref":"refs/heads/sc2024","pushedAt":"2024-07-13T15:16:43.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"more json file parsing","shortMessageHtmlLink":"more json file parsing"}},{"before":"45e7e33ef68b6ca0315b8af20f5ac9d1f351b83e","after":"f30212bc82915cdb45c073a6fbf35ade224c5891","ref":"refs/heads/sc2024","pushedAt":"2024-07-12T14:47:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"forcing new dockerfile","shortMessageHtmlLink":"forcing new dockerfile"}},{"before":"4df0c67ccc84591fe9c902d2694083b1a654690a","after":"45e7e33ef68b6ca0315b8af20f5ac9d1f351b83e","ref":"refs/heads/sc2024","pushedAt":"2024-07-12T14:29:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Merge branch 'sc2024' of github.com:arminbiere/gimsatul into sc2024","shortMessageHtmlLink":"Merge branch 'sc2024' of github.com:arminbiere/gimsatul into sc2024"}},{"before":"57fcd7232d9eee8b21b060f716cc8dde2e9aac0a","after":"4df0c67ccc84591fe9c902d2694083b1a654690a","ref":"refs/heads/sc2024","pushedAt":"2024-07-11T19:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"758a010dab979181cfcf6eed0aedcd527f04c95f","after":"57fcd7232d9eee8b21b060f716cc8dde2e9aac0a","ref":"refs/heads/sc2024","pushedAt":"2024-07-08T10:25:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"need to update branch with git pull after cloning","shortMessageHtmlLink":"need to update branch with git pull after cloning"}},{"before":"e68648b6eb29556baa77e7a38135dbdad045c304","after":"758a010dab979181cfcf6eed0aedcd527f04c95f","ref":"refs/heads/sc2024","pushedAt":"2024-07-08T10:09:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"quiet fixes","shortMessageHtmlLink":"quiet fixes"}},{"before":"44ae6e9e265c4e16850e0fdb8fdaed8c9b8c5a85","after":"e68648b6eb29556baa77e7a38135dbdad045c304","ref":"refs/heads/sc2024","pushedAt":"2024-05-30T17:55:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"updated Dockerfile to use 2024 branch as advertised","shortMessageHtmlLink":"updated Dockerfile to use 2024 branch as advertised"}},{"before":"dbe5356ecc9718ac6d1d009fb69b2ce9f4b0834a","after":"44ae6e9e265c4e16850e0fdb8fdaed8c9b8c5a85","ref":"refs/heads/development","pushedAt":"2024-05-23T18:03:44.000Z","pushType":"push","commitsCount":149,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"correctly bumped version","shortMessageHtmlLink":"correctly bumped version"}},{"before":"09b1b3bcb5d86ef6f75bc9a0f69717c42ced70d4","after":"44ae6e9e265c4e16850e0fdb8fdaed8c9b8c5a85","ref":"refs/heads/master","pushedAt":"2024-05-23T18:02:18.000Z","pushType":"push","commitsCount":156,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"correctly bumped version","shortMessageHtmlLink":"correctly bumped version"}},{"before":"314086f141cfdc69abfb7b9a7a844f36f454bc63","after":"44ae6e9e265c4e16850e0fdb8fdaed8c9b8c5a85","ref":"refs/heads/sc2024","pushedAt":"2024-05-23T18:02:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"correctly bumped version","shortMessageHtmlLink":"correctly bumped version"}},{"before":"14f56b5a2e09e6b4053dc2753c8d3e4a2b6ad67b","after":"314086f141cfdc69abfb7b9a7a844f36f454bc63","ref":"refs/heads/sc2024","pushedAt":"2024-05-23T17:54:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"changed to 64 threads","shortMessageHtmlLink":"changed to 64 threads"}},{"before":"87c2e4c71c84527bd5906a369ca02d5484a2aba2","after":"14f56b5a2e09e6b4053dc2753c8d3e4a2b6ad67b","ref":"refs/heads/sc2024","pushedAt":"2024-05-23T17:23:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"updated sc2024 docker script","shortMessageHtmlLink":"updated sc2024 docker script"}},{"before":null,"after":"87c2e4c71c84527bd5906a369ca02d5484a2aba2","ref":"refs/heads/sc2024","pushedAt":"2024-05-23T16:59:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added Florian as Copyright holder","shortMessageHtmlLink":"added Florian as Copyright holder"}},{"before":"42efcf0d2112ce3a974384b7926ef7c2f1a073b5","after":"09b1b3bcb5d86ef6f75bc9a0f69717c42ced70d4","ref":"refs/heads/master","pushedAt":"2023-11-06T10:18:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:arminbiere/gimsatul","shortMessageHtmlLink":"Merge branch 'master' of github.com:arminbiere/gimsatul"}},{"before":"efd71847db4b73874a3f2e02eaff6c0ea0515795","after":"dbe5356ecc9718ac6d1d009fb69b2ce9f4b0834a","ref":"refs/heads/development","pushedAt":"2023-09-26T10:29:01.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"new sharing","shortMessageHtmlLink":"new sharing"}},{"before":"babe93496bfb99d62d9e7d4e0fe54d1da873cb00","after":"efd71847db4b73874a3f2e02eaff6c0ea0515795","ref":"refs/heads/development","pushedAt":"2023-06-18T21:53:13.295Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"fixed MacOS maximum resident set size off by 1024","shortMessageHtmlLink":"fixed MacOS maximum resident set size off by 1024"}},{"before":"babe93496bfb99d62d9e7d4e0fe54d1da873cb00","after":"42efcf0d2112ce3a974384b7926ef7c2f1a073b5","ref":"refs/heads/master","pushedAt":"2023-05-06T08:36:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"7c2ea022e4b9abbc5d2479ea9bf7903a330df1b5","after":"babe93496bfb99d62d9e7d4e0fe54d1da873cb00","ref":"refs/heads/master","pushedAt":"2023-05-06T08:35:12.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"more references","shortMessageHtmlLink":"more references"}},{"before":"7c2ea022e4b9abbc5d2479ea9bf7903a330df1b5","after":"babe93496bfb99d62d9e7d4e0fe54d1da873cb00","ref":"refs/heads/development","pushedAt":"2023-05-06T08:34:43.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"more references","shortMessageHtmlLink":"more references"}},{"before":"4eddaae6f5c35870309c90591e6835467e77f15a","after":null,"ref":"refs/tags/rel-1.0.3","pushedAt":"2023-05-02T16:45:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"}},{"before":"e1f5c5add60b33e71a5653f3dd586ae6e3c3f077","after":"7c2ea022e4b9abbc5d2479ea9bf7903a330df1b5","ref":"refs/heads/master","pushedAt":"2023-05-01T16:45:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"bumped version","shortMessageHtmlLink":"bumped version"}},{"before":"e1f5c5add60b33e71a5653f3dd586ae6e3c3f077","after":"7c2ea022e4b9abbc5d2479ea9bf7903a330df1b5","ref":"refs/heads/sc2023","pushedAt":"2023-05-01T13:38:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"bumped version","shortMessageHtmlLink":"bumped version"}},{"before":"e1f5c5add60b33e71a5653f3dd586ae6e3c3f077","after":"7c2ea022e4b9abbc5d2479ea9bf7903a330df1b5","ref":"refs/heads/development","pushedAt":"2023-05-01T13:38:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"bumped version","shortMessageHtmlLink":"bumped version"}},{"before":"ccfeed9e9bdb86e7653dbf04fa4c2d51b122aadf","after":"e1f5c5add60b33e71a5653f3dd586ae6e3c3f077","ref":"refs/heads/sc2023","pushedAt":"2023-05-01T11:13:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"fixed exit status promotion","shortMessageHtmlLink":"fixed exit status promotion"}},{"before":"ccfeed9e9bdb86e7653dbf04fa4c2d51b122aadf","after":"e1f5c5add60b33e71a5653f3dd586ae6e3c3f077","ref":"refs/heads/master","pushedAt":"2023-05-01T11:12:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"fixed exit status promotion","shortMessageHtmlLink":"fixed exit status promotion"}},{"before":"ccfeed9e9bdb86e7653dbf04fa4c2d51b122aadf","after":"e1f5c5add60b33e71a5653f3dd586ae6e3c3f077","ref":"refs/heads/development","pushedAt":"2023-05-01T11:12:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"fixed exit status promotion","shortMessageHtmlLink":"fixed exit status promotion"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEfp7JkAA","startCursor":null,"endCursor":null}},"title":"Activity · arminbiere/gimsatul"}