{"push_id":935566325,"size":5,"distinct_size":5,"ref":"refs/heads/gaston","head":"933992f41c4e254cd21be9393e152c1e8b15a019","before":"be0dc7e1fa5f02db20d2280f1988749abdc85b47","commits":[{"sha":"72e908800d54bffd50306248a50ad6d590e699a5","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Minor refactoring.\n\nTerm: Extracted FixpointType.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/72e908800d54bffd50306248a50ad6d590e699a5"},{"sha":"8d9153883b3e73d5f693956dbbc94b2f4ac45da2","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Change fixpoints to pair (term, valid).\n\nTerm: TermFixpoint's lists are now pairs of term + validity flag.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/8d9153883b3e73d5f693956dbbc94b2f4ac45da2"},{"sha":"5af6fe337149102cf54bf663c94cca9932e75ddc","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Invalidation of fixpoint members.\n\nTerm: TermFixpoint now partially prunes the stuff, without screwing the iterators.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/5af6fe337149102cf54bf663c94cca9932e75ddc"},{"sha":"817acf366ae4f1933d1e8a38cf44f7ce14a37b63","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"BaseAutomataMerger.\n\nVisitors: Implementation of BaseAutomataMerger for merging some of the base automata.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/817acf366ae4f1933d1e8a38cf44f7ce14a37b63"},{"sha":"933992f41c4e254cd21be9393e152c1e8b15a019","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Minor change of Automata To Dot.\n\nSymbolicAutomata: Now writes the crap about membership.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/933992f41c4e254cd21be9393e152c1e8b15a019"}]}