{"push_id":2567268158,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"24ab1738abd764a253329b88a6d7047376c08a44","before":"54e7e2da94f34e7c5e8933b8976f1d44832d8fb0","commits":[{"sha":"24ab1738abd764a253329b88a6d7047376c08a44","author":{"name":"Margus Veanes","email":"7a8c39cd25a2f4741991e05bf57b0f515072cd72@microsoft.com"},"message":"Work on derivatives, BV-algebra, symbolic regexes operations\n\nDerivative support for symbolic regexes,\nspecialized regex automaton for matching,\nBV algebra where single bits represent characters,\nBV algebra is created from BDD algebar through minterm partitioning\nand are specialzed for a given regex,\nmisc unit tests","distinct":true,"url":"https://api.github.com/repos/AutomataDotNet/Automata/commits/24ab1738abd764a253329b88a6d7047376c08a44"}]}
{"actor":{"display_login":"veanes"}}