{"push_id":670500438,"size":21,"distinct_size":21,"ref":"refs/heads/master","head":"2a7216091066991ba158a725872a3adfdbcc9838","before":"5eab8e8cb0491188ad9e55e0a620eaaa3dd9c878","commits":[{"sha":"3096f65189b574bccb4c3ddd65c2c10efd5aef90","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Add Leaf Validator","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/3096f65189b574bccb4c3ddd65c2c10efd5aef90"},{"sha":"d340570eb1ce31310a9467f19a10df222b1bd89d","author":{"email":"6193803e7dc7e744b6bac5495cd4c6658cbf5815@Wiedera.de","name":"Tilo"},"message":"Full LP Error Message","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/d340570eb1ce31310a9467f19a10df222b1bd89d"},{"sha":"8f2d43e0d1679b8b178f7c881b911e836d24bc23","author":{"email":"6193803e7dc7e744b6bac5495cd4c6658cbf5815@Wiedera.de","name":"Tilo"},"message":"Integer Coefficients","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/8f2d43e0d1679b8b178f7c881b911e836d24bc23"},{"sha":"6d2f5204dcd07220886632edc172466449daf401","author":{"email":"6193803e7dc7e744b6bac5495cd4c6658cbf5815@Wiedera.de","name":"Tilo"},"message":"Ordering Constraints","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/6d2f5204dcd07220886632edc172466449daf401"},{"sha":"1ec010084ae0bab81258f915a51558750736e24f","author":{"email":"6193803e7dc7e744b6bac5495cd4c6658cbf5815@Wiedera.de","name":"Tilo"},"message":"Lower Bounds by Euler, Pach&Todt","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/1ec010084ae0bab81258f915a51558750736e24f"},{"sha":"6e58bb0b4169f40010b4ed36f679e74bd0913663","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"LP File Format\n\nGurobi requires coefficients to be separated from the variables.\nCreate a single constant on the right hand side of the inequation.\nStart each line with a non-whitespace character.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/6e58bb0b4169f40010b4ed36f679e74bd0913663"},{"sha":"8306cf61ac2fcb5108b523816e2e8e789dab9563","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"First Segment Crossings Never Conflict","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/8306cf61ac2fcb5108b523816e2e8e789dab9563"},{"sha":"e5a057b7828cd2db4c1c9b8e29aae1e08e642f22","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Ignore Branching Variables\n\n..when validating constraints.\nEach constraint must declare all required variables.\nHence, we do not need to rely on the current branching varibales.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/e5a057b7828cd2db4c1c9b8e29aae1e08e642f22"},{"sha":"4b4e8691f13a8989104f46935f1367743627bb92","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Imrpove Error Mesasges","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/4b4e8691f13a8989104f46935f1367743627bb92"},{"sha":"8c98be97e241f6d86f0a9cbcce107e28e202fdb9","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"LeafValidator: Use Config","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/8c98be97e241f6d86f0a9cbcce107e28e202fdb9"},{"sha":"4b94f7cbec4de3d9c011f0418ba690ead453d99a","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"More Exceptions","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/4b94f7cbec4de3d9c011f0418ba690ead453d99a"},{"sha":"77c6c98d90f5078bcf9f40754a1cbac3b7079e43","author":{"email":"6193803e7dc7e744b6bac5495cd4c6658cbf5815@Wiedera.de","name":"Tilo Wiedera"},"message":"Enhance Logger","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/77c6c98d90f5078bcf9f40754a1cbac3b7079e43"},{"sha":"6d646975a8aba9fa581bbde9e2d4582e68f2a5ad","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Skip Logging during Tests","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/6d646975a8aba9fa581bbde9e2d4582e68f2a5ad"},{"sha":"96a1c386840a6db60d68ad75ddb5bd9270999464","author":{"email":"6193803e7dc7e744b6bac5495cd4c6658cbf5815@Wiedera.de","name":"Tilo"},"message":"Print LP Information","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/96a1c386840a6db60d68ad75ddb5bd9270999464"},{"sha":"3a5d226067a6fb70e22715d146f3bed2dae5a176","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Swap Test Proofs\n\nAdded newly generated proof files.\nAll files were generated with the *fixed* OptimalCrossingMinimizer respecting multiple crossings on the first segments when computing the applicability of a crossing for some Kuratowski constraint.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/3a5d226067a6fb70e22715d146f3bed2dae5a176"},{"sha":"b570f43233a21a99fd6b324f504bba55ee3cf3ae","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Explicit First Segment Ordering Constraints\n\nOnly create first segment constraints when required (i.e. the edge is fully expanded).\nThis might ignore some constraints which would be applicable since some edges might never\nbe fully extended because of too many incident edges.\n\nIn extreme cases this might lead to proofs being refused even though they are valid.\nIf this ever happens, the proof extraction shoud be adapted to generate a constant maximum of variables for all edges.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/b570f43233a21a99fd6b324f504bba55ee3cf3ae"},{"sha":"dc9bb1bd929e8947200e1c0f74e59d7f654e7637","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Fix Duplicate Variables in Same Kuratowski\n\nIf the same segment is part of multiple Kuratowski Paths (which might happen to the fist non-simplicial segment), duplicate crossing variables could be generated. This would relax the Kuratowski constraint such that the bound was lowered.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/dc9bb1bd929e8947200e1c0f74e59d7f654e7637"},{"sha":"16b216fa6c5bc0e6c4dac3700739540f4bd81219","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Refactoring","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/16b216fa6c5bc0e6c4dac3700739540f4bd81219"},{"sha":"24fdbf90715be3b724a27245a270bdf954cd47a5","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Validate Source and Target of each Path\n\nIf a path was not ending / beginning on a crossing the node at the end of the last / first segment would be chosen.\nWe now require the segment to be the first / last one to chose a node instead of a crossing.\nWhile the former implementation wasn't wrong the new one is clearly more restrictive.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/24fdbf90715be3b724a27245a270bdf954cd47a5"},{"sha":"89f432104bc2ca51345347c4ccfe0feb5b57cc11","author":{"email":"dc6ed14deb0f685af7040d7bf84e9cb6f6bfccc7@wiedera.de","name":"Tilo Wiedera"},"message":"Invalidity Tests\n\nBasic tests cases for invalid proofs.","distinct":true,"url":"https://api.github.com/repos/TiloW/ocm-validator/commits/89f432104bc2ca51345347c4ccfe0feb5b57cc11"}]}