{"push_id":1486263670,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"55673419758396052e701dc36a9f7629087c70c7","before":"067581e8955e1f6babc6257514a6e890e043c0ab","commits":[{"sha":"86e7292ae2bcf97ccec62038f28c4c612d73925e","author":{"name":"Devin Conley","email":"fb128b5baa195d258aa89ab2847fc076589827e0@jhu.edu"},"message":"Added division and subtraction modifiers for symbols. Improvement to tokenizer","distinct":true,"url":"https://api.github.com/repos/devinaconley/proof-generator/commits/86e7292ae2bcf97ccec62038f28c4c612d73925e"},{"sha":"a656a6587b265cdae61644ac699e267e7b85802c","author":{"name":"Devin Conley","email":"fb128b5baa195d258aa89ab2847fc076589827e0@jhu.edu"},"message":"Merge branch 'master' of https://github.com/devinaconley/proof-generator","distinct":true,"url":"https://api.github.com/repos/devinaconley/proof-generator/commits/a656a6587b265cdae61644ac699e267e7b85802c"},{"sha":"55673419758396052e701dc36a9f7629087c70c7","author":{"name":"Devin Conley","email":"fb128b5baa195d258aa89ab2847fc076589827e0@jhu.edu"},"message":"Fixed issue with checking for solution by using distance estimation == 0 instead","distinct":true,"url":"https://api.github.com/repos/devinaconley/proof-generator/commits/55673419758396052e701dc36a9f7629087c70c7"}]}
{"actor":{"display_login":"devinaconley"}}