{"push_id":570617280,"size":46,"distinct_size":0,"ref":"refs/heads/hotfix-9","head":"3c07e2fddabd2ea2ec1d14726b6edffe7b9b39b5","before":"7bd70eb6c68738280ef6ecac659d645d47179460","commits":[{"sha":"1bc930da959e5199c0b93edc887f9997faa224c5","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"Add Sep interface","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/1bc930da959e5199c0b93edc887f9997faa224c5"},{"sha":"563094898107f96ae63bd729004c6b4e64d31782","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"geometry: add CtcSegment and SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/563094898107f96ae63bd729004c6b4e64d31782"},{"sha":"eaef198af807d69d5fc768b25426d041b3499b0c","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"Merge CtcIn with CtcFwdBwd + optim: the \"root label\" is built only once.","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/eaef198af807d69d5fc768b25426d041b3499b0c"},{"sha":"e39f24ff586e31a6d7b4daadb86b2b2ff3084e5d","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"geometry: renaming classes. CtcNotIn: adding vector/matrix argument y","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/e39f24ff586e31a6d7b4daadb86b2b2ff3084e5d"},{"sha":"ce4f50a2cf00e1c24db611c2cdcfda72d5b9a140","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"set: add SepCtcPair & SepFwdBwd","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/ce4f50a2cf00e1c24db611c2cdcfda72d5b9a140"},{"sha":"cb85a8072167f20d3b86eef30975b77993558c16","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"Replacing old Separator interface by Sep. SetNode: changing contract_set in consequence","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/cb85a8072167f20d3b86eef30975b77993558c16"},{"sha":"9223018f8c18af9f0a4d3291aab584c2c5bfe1d9","author":{"email":"c0bb2b3cdeaf28431370ea3fd2f885bf226e780d@gmail.com","name":"Ben Ensta"},"message":"Add comment on SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/9223018f8c18af9f0a4d3291aab584c2c5bfe1d9"},{"sha":"6492491144b60d37dd7dab07750a6266977adbe3","author":{"email":"c0bb2b3cdeaf28431370ea3fd2f885bf226e780d@gmail.com","name":"Ben Ensta"},"message":"add comments to SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/6492491144b60d37dd7dab07750a6266977adbe3"},{"sha":"577e0429e60450fed5031bd1a74ef8144911db28","author":{"email":"c0bb2b3cdeaf28431370ea3fd2f885bf226e780d@gmail.com","name":"Ben Ensta"},"message":"add geometry directory in compilation files","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/577e0429e60450fed5031bd1a74ef8144911db28"},{"sha":"f876da5f85706644416eb4607044557bf2a2d61f","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"SepPolygon: minor comment fix","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/f876da5f85706644416eb4607044557bf2a2d61f"},{"sha":"a238f9ed7c8ebb8c3dd86aa03c93de9624066540","author":{"email":"c0bb2b3cdeaf28431370ea3fd2f885bf226e780d@gmail.com","name":"Ben Ensta"},"message":"add comments","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/a238f9ed7c8ebb8c3dd86aa03c93de9624066540"},{"sha":"8fd3ebf09627cb079b8fa4211c4b7795890f1fcb","author":{"email":"c0bb2b3cdeaf28431370ea3fd2f885bf226e780d@gmail.com","name":"Ben Ensta"},"message":"Mod on SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/8fd3ebf09627cb079b8fa4211c4b7795890f1fcb"},{"sha":"9441aa2f4114ac27ab7b3f6d019f969a0e8b2413","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"Merge branch 'separator' of https://github.com/ibex-team/ibex-lib into separator","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/9441aa2f4114ac27ab7b3f6d019f969a0e8b2413"},{"sha":"076c3e37a348e2ca0e293aa8f754658065b3faf4","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"Add SepBoundaryCtc and PdcPointPolygon; refactoring SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/076c3e37a348e2ca0e293aa8f754658065b3faf4"},{"sha":"6f8411298fad569f477ef590e33446901feffd76","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"Refactoring SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/6f8411298fad569f477ef590e33446901feffd76"},{"sha":"cb8d1ee0ec7fd32391f059a64cf263c21f6acb54","author":{"email":"6ca7b2d8263f9e305b6ceeaa2213e2298338eaa2@gmail.com","name":"Pierrick Koch"},"message":"fix in PdcInPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/cb8d1ee0ec7fd32391f059a64cf263c21f6acb54"},{"sha":"00e247f3ea0ad957a179536c5b52c1befb7b78ff","author":{"email":"6ca7b2d8263f9e305b6ceeaa2213e2298338eaa2@gmail.com","name":"Pierrick Koch"},"message":"add unit test on segments","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/00e247f3ea0ad957a179536c5b52c1befb7b78ff"},{"sha":"f0d4e208e25331cfd6cddd627bc424a83f206913","author":{"email":"6ca7b2d8263f9e305b6ceeaa2213e2298338eaa2@gmail.com","name":"Pierrick Koch"},"message":"fix error on SepPolygon","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/f0d4e208e25331cfd6cddd627bc424a83f206913"},{"sha":"f08d554ccdf428d8c4329be490d71b48bfcba966","author":{"email":"6ca7b2d8263f9e305b6ceeaa2213e2298338eaa2@gmail.com","name":"Pierrick Koch"},"message":"change test results : inverse YES and NO Value","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/f08d554ccdf428d8c4329be490d71b48bfcba966"},{"sha":"ffca1be3d8e4ed88caae8bf49ddc481b6fe57d08","author":{"email":"95ae70eccf16be85ebe6867df9f825fcff50cca6@mines-nantes.fr","name":"Gilles Chabert"},"message":"CtcSegment: creating the two variants with either 2/6 variables. PdcPolygon: removing possibility to invert the constraint. A generic inversion is now possible with PdcNot & SepNot (addition)","distinct":false,"url":"https://api.github.com/repos/ibex-team/ibex-lib/commits/ffca1be3d8e4ed88caae8bf49ddc481b6fe57d08"}]}