{"shas":[["83d0cf8cf734c9ef6d8bfd865962e9ed9df4ffc9","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","NDSymbolicBUTreeAutomaton: add start of GetTopDownAutomaton() method","Ondra Lengal"]],"repo":"ondrik/libsfta","actor":"ondrik","ref":"refs/heads/simulation","size":1,"head":"83d0cf8cf734c9ef6d8bfd865962e9ed9df4ffc9","actor_gravatar":"80a0d3345a4fd510aef1d3260f0e3545","push_id":23505740}