{"push_id":1284634607,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5d7e0d22a3dc4b65de2d14525970cb1fe0eb5c8f","before":"09d68f69c6b301762dfb2ad01a416b20aeb79321","commits":[{"sha":"a12f0570a70547580d1dcd8f7780c3c1fccdcf71","author":{"name":"Sercan Altun","email":"a901e51c8087887857edaecf0e66d95f03722551@gmail.com"},"message":"Fix unification between interface and implementations\n\nWhen an Bindable<T> is created where T is an subclass of W, you could not\nuse it in axioms that use Bindable<W>. That is because generics do not inherit\nsuper class like arrays. This commit changes ApplySubstitution method to create\nnew Bindable<W> when Bindable<T> is passed to the new axiom if T implements W.\n\nAlso moved Test files to Example folder since they were tightly coupled with Test data.","distinct":true,"url":"https://api.github.com/repos/altunsercan/FlatStates/commits/a12f0570a70547580d1dcd8f7780c3c1fccdcf71"},{"sha":"5d7e0d22a3dc4b65de2d14525970cb1fe0eb5c8f","author":{"name":"Sercan Altun","email":"a901e51c8087887857edaecf0e66d95f03722551@gmail.com"},"message":"Merge branch 'master' of github.com:altunsercan/FlatStates","distinct":true,"url":"https://api.github.com/repos/altunsercan/FlatStates/commits/5d7e0d22a3dc4b65de2d14525970cb1fe0eb5c8f"}]}
{"actor":{"display_login":"altunsercan"}}