{"shas":[["b5fa111adfcdfaf2e65985d54ff5da45175805b0","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","src/timbuk.y: change parser to enable states named as numbers","Ondra Lengal"],["30aa1b0e733258068981e9a80044d74be1568d87","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","src/bdd_tree_aut.cc: make BDDTreeAut loader recognize final states","Ondra Lengal"],["8a02618d2220c7d6291cb24bc6fd160e4cf15872","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/bdd_tree_aut_test.cc: improve BDDTreeAut test","Ondra Lengal"],["fade5142042c9e54329e0aaaa93ad5326f5be9ef","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","unit_tests/timbuk_parser_test.cc: cosmetic changes","Ondra Lengal"]],"ref":"refs/heads/bdd_tree_aut","size":4,"head":"fade5142042c9e54329e0aaaa93ad5326f5be9ef","push_id":38053451}