{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":634705438,"defaultBranch":"master","name":"SBVA","ownerLogin":"hgarrereyn","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-01T00:57:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4087148?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714070277.0","currentOid":""},"activityList":{"items":[{"before":"acc0a5170beb63e9cd6f8449c735396c802c7d8b","after":"35e74d02aa1b0970d53fef1c86171e596d0da453","ref":"refs/heads/master","pushedAt":"2024-04-26T02:24:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"readme: update paper pdf link to favor conference version\n\nThe conference version is prettier, lists preprint as alternate","shortMessageHtmlLink":"readme: update paper pdf link to favor conference version"}},{"before":"22668af0f8f2f97ec83cec2a484e52a6ce0c2fba","after":"acc0a5170beb63e9cd6f8449c735396c802c7d8b","ref":"refs/heads/master","pushedAt":"2024-04-25T18:52:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add dockerfile","shortMessageHtmlLink":"Add dockerfile"}},{"before":"f82e759c1f513e8a26cf8c24d77ca3a6b99bcc67","after":"22668af0f8f2f97ec83cec2a484e52a6ce0c2fba","ref":"refs/heads/master","pushedAt":"2024-04-25T18:38:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add -c to preserve model count\n\nThis is experimental and untested. (see #3)","shortMessageHtmlLink":"Add -c to preserve model count"}},{"before":null,"after":"f82e759c1f513e8a26cf8c24d77ca3a6b99bcc67","ref":"refs/heads/heuristic_ulong","pushedAt":"2024-04-25T18:37:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Change heuristic to use larger integer type to reduce likelihood of overflow","shortMessageHtmlLink":"Change heuristic to use larger integer type to reduce likelihood of o…"}},{"before":"22668af0f8f2f97ec83cec2a484e52a6ce0c2fba","after":"f82e759c1f513e8a26cf8c24d77ca3a6b99bcc67","ref":"refs/heads/master","pushedAt":"2024-04-25T18:37:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Change heuristic to use larger integer type to reduce likelihood of overflow","shortMessageHtmlLink":"Change heuristic to use larger integer type to reduce likelihood of o…"}},{"before":"06ead46367f1f5dd48b444aa5a4bec2290d7beff","after":"22668af0f8f2f97ec83cec2a484e52a6ce0c2fba","ref":"refs/heads/master","pushedAt":"2024-02-29T04:51:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add -c to preserve model count\n\nThis is experimental and untested. (see #3)","shortMessageHtmlLink":"Add -c to preserve model count"}},{"before":"becc0e079bb3aeb77b7d2ef73f15c82667642250","after":"06ead46367f1f5dd48b444aa5a4bec2290d7beff","ref":"refs/heads/master","pushedAt":"2024-02-27T19:39:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"fixes #4","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #4.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2157456368\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hgarrereyn/SBVA/issues/4\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hgarrereyn/SBVA/issues/4/hovercard\" href=\"https://github.com/hgarrereyn/SBVA/issues/4\">#4</a>"}},{"before":"6371788b6750ff0b6283c4c2ea1f90806eeaa79d","after":"b0d16316c2182caf19c64dc9e7addb5224d6d568","ref":"refs/heads/preserve_model_count","pushedAt":"2024-02-25T23:20:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add -c to preserve model count\n\nThis is experimental and untested. (see #3)","shortMessageHtmlLink":"Add -c to preserve model count"}},{"before":"548a6f283009285dfefea2c677bd15e38b5acc55","after":"6371788b6750ff0b6283c4c2ea1f90806eeaa79d","ref":"refs/heads/preserve_model_count","pushedAt":"2024-02-25T23:18:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add -c to preserve model count\n\nThis is experimental and untested.","shortMessageHtmlLink":"Add -c to preserve model count"}},{"before":null,"after":"548a6f283009285dfefea2c677bd15e38b5acc55","ref":"refs/heads/preserve_model_count","pushedAt":"2024-02-25T21:09:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add -c to preserve model count\n\nThis is experimental and untested.","shortMessageHtmlLink":"Add -c to preserve model count"}},{"before":"898469c99f666ed06c4abfda93cd28cf85e63efe","after":"becc0e079bb3aeb77b7d2ef73f15c82667642250","ref":"refs/heads/master","pushedAt":"2024-01-26T21:04:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"add -n to readme","shortMessageHtmlLink":"add -n to readme"}},{"before":"58efcda611cf5c14d56542caea1ba7ed6d1b53d5","after":"898469c99f666ed06c4abfda93cd28cf85e63efe","ref":"refs/heads/master","pushedAt":"2024-01-26T21:02:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Add option to disable heuristic tiebreaking in sbva.cpp\n\nThis option is not currently available in any of the wrappers.","shortMessageHtmlLink":"Add option to disable heuristic tiebreaking in sbva.cpp"}},{"before":"c38325fe923d691ca52a6d6ddf5a4d53001d67e2","after":"58efcda611cf5c14d56542caea1ba7ed6d1b53d5","ref":"refs/heads/master","pushedAt":"2023-12-08T20:40:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"refactor: remove unused variables","shortMessageHtmlLink":"refactor: remove unused variables"}},{"before":"7eedc620997afe0cf8b08a282636e9653229d4fb","after":"c38325fe923d691ca52a6d6ddf5a4d53001d67e2","ref":"refs/heads/master","pushedAt":"2023-07-19T22:43:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"readme: add preprint + sat competition results","shortMessageHtmlLink":"readme: add preprint + sat competition results"}},{"before":"54ce0e4aff3aeb14ae0ff161eac078d46673211d","after":"f9f200a18e941c4f5cabce68328e1510ec2035d6","ref":"refs/heads/wrapper","pushedAt":"2023-07-10T12:59:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"add more flexible cadical-like wrapper","shortMessageHtmlLink":"add more flexible cadical-like wrapper"}},{"before":"3acafecfc96245ef99b9b940be9e1c1f19c827d7","after":"54ce0e4aff3aeb14ae0ff161eac078d46673211d","ref":"refs/heads/wrapper","pushedAt":"2023-07-10T12:10:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"add more flexible cadical-like wrapper","shortMessageHtmlLink":"add more flexible cadical-like wrapper"}},{"before":"2da45e0c4bd5eb2ebec180bb386e7a9690d14ad6","after":"3acafecfc96245ef99b9b940be9e1c1f19c827d7","ref":"refs/heads/wrapper","pushedAt":"2023-07-10T11:42:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"add more flexible cadical-like wrapper","shortMessageHtmlLink":"add more flexible cadical-like wrapper"}},{"before":"e5da35203304f3d5f5b265113203acfbe2c388c9","after":"2da45e0c4bd5eb2ebec180bb386e7a9690d14ad6","ref":"refs/heads/wrapper","pushedAt":"2023-07-10T11:24:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"add more flexible cadical-like wrapper","shortMessageHtmlLink":"add more flexible cadical-like wrapper"}},{"before":null,"after":"e5da35203304f3d5f5b265113203acfbe2c388c9","ref":"refs/heads/wrapper","pushedAt":"2023-07-10T10:57:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"add more flexible cadical-like wrapper","shortMessageHtmlLink":"add more flexible cadical-like wrapper"}},{"before":"551e4a0d4d1bebecc107d69c04b9fe6eeb47d5a9","after":"7eedc620997afe0cf8b08a282636e9653229d4fb","ref":"refs/heads/master","pushedAt":"2023-07-10T07:58:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Wrapper script uses proper temporary files for reduced formula and proofs","shortMessageHtmlLink":"Wrapper script uses proper temporary files for reduced formula and pr…"}},{"before":"4e62aef012a66d2101bc5551d9dccd24d7abc911","after":"551e4a0d4d1bebecc107d69c04b9fe6eeb47d5a9","ref":"refs/heads/master","pushedAt":"2023-07-09T11:05:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"add ability to limit new variables","shortMessageHtmlLink":"add ability to limit new variables"}},{"before":"a29d356dc41d3e0683f8de145d0af0d15da1579e","after":"4e62aef012a66d2101bc5551d9dccd24d7abc911","ref":"refs/heads/master","pushedAt":"2023-07-04T20:27:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"Initial release\n\nCo-Authored-By: Harrison Green <harrisonmichaelgreen@gmail.com>\nCo-Authored-By: Andrew Haberlandt <andrew.haberlandt@gmail.com>","shortMessageHtmlLink":"Initial release"}},{"before":"47c1bae30264368c07a806b6bdb03d9e1b60dca3","after":"a29d356dc41d3e0683f8de145d0af0d15da1579e","ref":"refs/heads/master","pushedAt":"2023-06-19T20:35:43.461Z","pushType":"push","commitsCount":1,"pusher":{"login":"ndrewh","name":"ath0","path":"/ndrewh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2116451?s=80&v=4"},"commit":{"message":"examples","shortMessageHtmlLink":"examples"}},{"before":"f374ac6e411fe7b8d44cb8c005a76cdfdbdd0a69","after":"47c1bae30264368c07a806b6bdb03d9e1b60dca3","ref":"refs/heads/master","pushedAt":"2023-06-19T19:44:29.215Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"cite murmur","shortMessageHtmlLink":"cite murmur"}},{"before":"72749dcc72ddea1421aee62bcfd8af9b29f48502","after":"f374ac6e411fe7b8d44cb8c005a76cdfdbdd0a69","ref":"refs/heads/master","pushedAt":"2023-06-19T19:25:59.138Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"Initial release","shortMessageHtmlLink":"Initial release"}},{"before":"eac047bbe57863c2c4f4a62535e9c9a44ea07f90","after":"72749dcc72ddea1421aee62bcfd8af9b29f48502","ref":"refs/heads/master","pushedAt":"2023-06-19T19:21:31.516Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"094b866a975e49cd0a498163dfec5d38b6574422","after":"eac047bbe57863c2c4f4a62535e9c9a44ea07f90","ref":"refs/heads/master","pushedAt":"2023-06-18T20:01:40.031Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"update:","shortMessageHtmlLink":"update:"}},{"before":"b64115a856997fe67e298ce8618bf92d3e3009e5","after":"094b866a975e49cd0a498163dfec5d38b6574422","ref":"refs/heads/master","pushedAt":"2023-06-18T19:27:12.727Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"090bed7ff11d0a19a772b76f11d4bc94d44a787a","after":"b64115a856997fe67e298ce8618bf92d3e3009e5","ref":"refs/heads/master","pushedAt":"2023-06-18T18:40:51.994Z","pushType":"push","commitsCount":1,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":null,"after":"090bed7ff11d0a19a772b76f11d4bc94d44a787a","ref":"refs/heads/master","pushedAt":"2023-06-18T18:11:11.820Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hgarrereyn","name":"Harrison Green","path":"/hgarrereyn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4087148?s=80&v=4"},"commit":{"message":"initial","shortMessageHtmlLink":"initial"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOr2DlgA","startCursor":null,"endCursor":null}},"title":"Activity · hgarrereyn/SBVA"}