{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":801931983,"defaultBranch":"main","name":"dimacs","ownerLogin":"rhartert","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-17T07:43:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/91352809?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716085634.0","currentOid":""},"activityList":{"items":[{"before":"bb0195b41d1c92f5b63e9a2227d7a1a4a2ea005b","after":"94d11b39d7423530d51154573c94d992a2ace4a5","ref":"refs/heads/main","pushedAt":"2024-05-19T02:27:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Treat '%' as an end of file marker\n\nChar '%' indicates the end of the clause list. Though, some file might still contain semantically valid clause lines after '%'. For example, instances of the \"uf20-91\" family have an empty clause after '%'.\n\nTreating '%' as the end of file (rather than ignoring it) prevents incorrectly adding empty clauses to the builder. This is consistent with the behavior of other DIMACS parsers such as the one in MiniSat.","shortMessageHtmlLink":"Treat '%' as an end of file marker"}},{"before":"89e5934862854ff1c8928d5d85929bb26aa8397b","after":"bb0195b41d1c92f5b63e9a2227d7a1a4a2ea005b","ref":"refs/heads/main","pushedAt":"2024-05-19T01:52:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Fix custom builder example","shortMessageHtmlLink":"Fix custom builder example"}},{"before":"f11ea5e6c2968a19f3d9a6a81059684204be5161","after":"89e5934862854ff1c8928d5d85929bb26aa8397b","ref":"refs/heads/main","pushedAt":"2024-05-19T01:51:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Ignore the \"end of clause list\" line.","shortMessageHtmlLink":"Ignore the \"end of clause list\" line."}},{"before":"11792aa0092ed0b1236ca58e2ddb65cbe7ab0984","after":"f11ea5e6c2968a19f3d9a6a81059684204be5161","ref":"refs/heads/main","pushedAt":"2024-05-19T01:35:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Add reference and go report badges","shortMessageHtmlLink":"Add reference and go report badges"}},{"before":"621caf105d2da558f8b2890da1d096978c7990a9","after":"11792aa0092ed0b1236ca58e2ddb65cbe7ab0984","ref":"refs/heads/main","pushedAt":"2024-05-19T01:20:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"89eb90cb235486ed788167ce83b52f1a8895156b","after":"621caf105d2da558f8b2890da1d096978c7990a9","ref":"refs/heads/main","pushedAt":"2024-05-19T01:14:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Rename `Read` to `ReadCNF`\n\nFunction `Read` only accepts DIMACS CNF files. The new name emphasizes this better.","shortMessageHtmlLink":"Rename <code>Read</code> to <code>ReadCNF</code>"}},{"before":"b07369917d5518a32a1b2572656d50623f516697","after":"89eb90cb235486ed788167ce83b52f1a8895156b","ref":"refs/heads/main","pushedAt":"2024-05-18T06:10:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Move semantic validation from ReadBuilder to Read\n\nThis commit moves most of the semantic validation previously done in `dimacs.ReadBuilder` into `cnfBuilder`. This makes `dimacs.ReadBuilder` simpler as it now focuses solely on verifying that each line is semantically correct rather than verifying that the whole file is. For example, `dimacs.ReadBuilder` doesn't take care of verifying that the file contains exactly one problem line anymore. Rather, it is the responsibility of the Builder to decide whether this is OK or not.","shortMessageHtmlLink":"Move semantic validation from ReadBuilder to Read"}},{"before":"bfcb6638decc45348a09055afbb48b0b5c03358b","after":"b07369917d5518a32a1b2572656d50623f516697","ref":"refs/heads/main","pushedAt":"2024-05-18T03:23:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Add MIT license","shortMessageHtmlLink":"Add MIT license"}},{"before":"202a7cc2139edc2c3c9630a880307d7a510b418a","after":"bfcb6638decc45348a09055afbb48b0b5c03358b","ref":"refs/heads/main","pushedAt":"2024-05-18T03:21:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Adds initial `dimacs` module + test\n\nFirst commit actually adding the `dimacs` package.\n\nMost clients are expected to use the read function and get an already parsed and validated CNFFormula. Clients who want more control can implement the Builder interface and use ReadBuilder instead.","shortMessageHtmlLink":"Adds initial <code>dimacs</code> module + test"}},{"before":null,"after":"202a7cc2139edc2c3c9630a880307d7a510b418a","ref":"refs/heads/main","pushedAt":"2024-05-17T07:43:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rhartert","name":"Ren Hartert","path":"/rhartert","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91352809?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETd_DgAA","startCursor":null,"endCursor":null}},"title":"Activity · rhartert/dimacs"}