{"shas":[["d6d5fad5cdb76d4db975a7f9fe6832d5cdebd1fd","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/ondriks_mtbdd.hh: add assertions checking for MTBDD conditions\n\nAssertions that check during Apply that one of the reduced MTBDD conditions is\nmet (namely the one that states: for all nodes n, n.low != n.high) added.","Ondra Lengal"],["914f5d2ea19fb5ad4b41e911902b6a6260459343","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/ondriks_mtbdd_tests.hh: make the test MTBDD height a constant","Ondra Lengal"],["aae369369637a88a51f78797304099fa6ca9cbf5","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/ondriks_mtbdd.hh: rename AbstractApplyFunctor::DataOperation\n\nAbstractApplyFunctor::DataOperation was renamed to\nAbstractApplyFunctor::ApplyOperation.","Ondra Lengal"],["7a5460ad4f16ae271ce93e124c04dff123c2e853","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/ondriks_mtbdd_c_test.cc: add test of formula with no variables","Ondra Lengal"],["0841ad5356db08dd38179fb2e228cb445258acc1","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/ondriks_mtbdd_c_test.cc: add test of apply functor","Ondra Lengal"],["57a0853ff284a7702e9a3280fb6ec132eaabe0e1","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/ondriks_mtbdd.hh: add a monadic apply functor","Ondra Lengal"],["0bb7156ec23e1c173cf3070bbb1ef681dd1528ad","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/ondriks_mtbdd.hh: change the name of a binary hasher","Ondra Lengal"],["dd6e6648dfffde1ddf9ccd599daa917537e78ab4","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/ondriks_mtbdd_c_test.cc: add a test of monadic apply","Ondra Lengal"],["a33dec12f88a688e93f2636081307bbf75b738ee","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/CMakeLists.txt: FORMATING","Ondra Lengal"],["271b35a8d61431bc713b4ca0716adab3b153c44d","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/ondriks_mtbdd_c_test.cc: add test of multiple independent MTBDDs","Ondra Lengal"],["e05c2fbab2a2156f9294de22b3829a7d1952ceb3","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/ondriks_mtbdd_c_test.cc: change included headers","Ondra Lengal"],["3d027b9d566c5f11aa2fa920300df00579cd1f9e","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/ondriks_mtbdd.hh: move to include/vata/mtbdd/ondriks_mtbdd.hh\n\nMoved:\n\n  * include/vata/ondriks_mtbdd.hh    -> include/vata/mtbdd/ondriks_mtbdd.hh\n  * inludee/vata/variable_assignment -> include/vata/mtbdd/var_asgn.hh","Ondra Lengal"],["0dd2770eeae57eb51f83fd819f54a9ede1eb8083","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/apply1func.hh: move unary apply to a new file","Ondra Lengal"],["aa1e87386394f72921b1805fe4f6fcc6ee07cd03","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/apply2func.hh: move binary apply to a new fil","Ondra Lengal"],["b2163e8831dcd6ebcbb4bf57f888ea2ce14067ac","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/apply2func.hh: refine classifying of recDescend cases","Ondra Lengal"],["317166fc8235d472ad4bc05dae57b35cf6732881","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/: messing with namespaces","Ondra Lengal"],["0df1d2cae1ae3dbe6e03d69b74498fda258be429","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/mtbdd_node.hh: move MTBDDNode to a separate file","Ondra Lengal"],["2e1c5bc14fe2645bd34b287580ed2f80cafd0809","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/apply1func.hh: simplify some type naming","Ondra Lengal"],["ff61417d98a100e167f7115b0e94a8c722f0a304","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/apply3func.hh: add ternary apply (not working properly now)","Ondra Lengal"],["b10f761bb96eee1772e7078b0c277911d1ae785e","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/apply3func.hh: make ternary apply work","Ondra Lengal"]],"ref":"refs/heads/master","size":21,"head":"cb76b05660cc443fe29a5175bb347002c7e5a318","push_id":36873524}