{"shas":[["8f24e22a8261d62d57749e9fca43ea478ce968de","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","CUDDSharedMTBDD: introduce GetMaxSize() method\n\nThe new method GetMaxSize() was needed to be introduced in order to make\nvariable renaming and projection methods work again after making\nCompactVariableAssignment having a dynamic size.","Ondra Lengal"],["07a9a14499bd0c153b97d931572b5ad86ad0c099","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","CompactVariableAssignment: remove problem with allocation of zero-size asgn\n\nThis patch removes the bug which occured when a CompactVariableAssignment with\nzero variables (i.e.. denoting the universe) was to be allocated. This was\ncaused by bad computing of number of characters necessary to store such an\nassignment, which underflowed to 2^64 which was a requirement that could not\nbe satisfied by my machine... :-).","Ondra Lengal"]],"ref":"refs/heads/bdd_size_parameter","size":2,"head":"07a9a14499bd0c153b97d931572b5ad86ad0c099","push_id":34217234}