{"push_id":834748547,"size":8,"distinct_size":8,"ref":"refs/heads/develop","head":"189f3306a883c2015b9e518c4ab1d45812280fb9","before":"2fcc6a892aef2e20a5945b53f2f8fcf89603cce9","commits":[{"sha":"705f39eed2a604958c615183f0a9d9f5b2dc4a97","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Fix Coverity reported issues\n\nInitialization of a pointer to nullptr\nand presumably copy-paste error.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/705f39eed2a604958c615183f0a9d9f5b2dc4a97"},{"sha":"1ca60f2bc1826d552392f17e689626d60255494c","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Fix some CMake messages to print STATUS","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/1ca60f2bc1826d552392f17e689626d60255494c"},{"sha":"4d373bd2b46f3a493a6eed92d2669be2c33e3fe4","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Fix Boolean equations in docs\n\nFormatting is tricky with the equations.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/4d373bd2b46f3a493a6eed92d2669be2c33e3fe4"},{"sha":"950f31bdd09d89962c8d812c64f874b0289add89","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Fix indentation in the coding standards doc","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/950f31bdd09d89962c8d812c64f874b0289add89"},{"sha":"7f81bbddc156c39354ab637e65c3d4163d29be2c","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Refactor gate fail/success state determination\n\nThis refactoring is in Boolean optimization to lower its CCN.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/7f81bbddc156c39354ab637e65c3d4163d29be2c"},{"sha":"c5ada6cfafb0e9a5b7a16ee8a7fd9b20d1f8f205","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Put destination filtering back in Boolean optim\n\nIf there is a collision\nbetween redundant parents and destination parents,\nboth containers loose the parent.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/c5ada6cfafb0e9a5b7a16ee8a7fd9b20d1f8f205"},{"sha":"870a962d22f7d8ac7213ed652e2277407715ea40","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Add short-circuit combined order check in MOCUS\n\nCombining two sets may exceed the order.\nThe short-circuit version is an early test.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/870a962d22f7d8ac7213ed652e2277407715ea40"},{"sha":"189f3306a883c2015b9e518c4ab1d45812280fb9","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Update the Lizard CCN report","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/189f3306a883c2015b9e518c4ab1d45812280fb9"}]}