{"push_id":953024247,"size":7,"distinct_size":7,"ref":"refs/heads/develop","head":"4492ffd4b52eddcc7cab63e777b071884124c1d5","before":"65c9d35501dc480bf8d739ee1e2783334a17ed35","commits":[{"sha":"6071d707c28e0a10c8a14026173598550508175b","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Fix upper case test names and update test comments\n\nMixed and camel case styles are preferred.\nSome comments of performance tests are clarified.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/6071d707c28e0a10c8a14026173598550508175b"},{"sha":"3e4feaf4372bd4f5786437f52db2370c13de2a16","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Improve logging of ZBDD-for-BDD\n\nThe improvement helps somewhat\nwith the nested structure of the analysis.\nThe main missing thing is identifiers for nested ZBDDs.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/3e4feaf4372bd4f5786437f52db2370c13de2a16"},{"sha":"b15e26344bc3b19f9a031215f5fda1967e344ed5","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Implement lazy modules with adjusted cutoffs\n\nThe feature is implemented for qualitative analysis with BDD.\nZBDD class takes care of the requested behavior.\nUnfortunately, this performance optimization is hard to test\ndue to the need for white box testing.\nCurrently, only verification inputs are provided for testing.\nThe logging information can be used to verify the lazy behavior.\n\nMOCUS and ZBDD based analyses do not have the implementation\ndue to currently unfixed (messy) logging of nested analysis,\nwhich makes verification of the behavior hard (unintelligible).","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/b15e26344bc3b19f9a031215f5fda1967e344ed5"},{"sha":"2d5ffb4f8a75ebf881d9eb7b9b4616308bc456f1","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Add a list of technical issues to the to-do list","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/2d5ffb4f8a75ebf881d9eb7b9b4616308bc456f1"},{"sha":"40f6062ce51e32ce160b46b4b66b1303d7d6b122","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Improve logging of ZBDD-for-PDAG\n\nIndices of modules are inherited as much as possible for reporting.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/40f6062ce51e32ce160b46b4b66b1303d7d6b122"},{"sha":"d29e1e16fa47a40ea037917fd7fe119bcf8df26d","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Implement lazy modules in ZBDD-for-PDAG\n\nThis implementation also fixes a bug in adjusted cutoff calculation.\nZbdd::Apply functions seem not be able to effectively apply cut-offs.\nThe cut-off adjusting for modules compensates the deficiency;\nhowever, the Apply functions should be fixed to get strict cut-offs.\nAlternatively, pruning functions can be introduced for ZBDD.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/d29e1e16fa47a40ea037917fd7fe119bcf8df26d"},{"sha":"4492ffd4b52eddcc7cab63e777b071884124c1d5","author":{"email":"49f286f948417fff7b3fb5e9475c023778fb9383@gmail.com","name":"rakhimov"},"message":"Implement lazy modules in MOCUS\n\nThanks to the facilities of ZBDD,\nMOCUS can get lazy modules for free.\nLogging is fixed for MOCUS.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/4492ffd4b52eddcc7cab63e777b071884124c1d5"}]}