{"push_id":627559492,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"bfdc1ec749aa491b985657cfa14f41ad3d53a315","before":"bf956ad2e0c2979122cdfd55e5e12eb3aee0ae79","commits":[{"sha":"d274aa6a4c6c30b24132c13e26c52b33a324b88a","author":{"email":"03f30fe4aeb7ce5ecdafe3d994505471cafaf690@tutteli.ch","name":"Robert Stoll"},"message":"TINS-359 inference procedural - constraint solving 0.2.6\n\nRewrote ConstraintSolver, using a unification approach now instead of a control flow approach","distinct":true,"url":"https://api.github.com/repos/TinsPHP/tins-inference-engine/commits/d274aa6a4c6c30b24132c13e26c52b33a324b88a"},{"sha":"bfdc1ec749aa491b985657cfa14f41ad3d53a315","author":{"email":"03f30fe4aeb7ce5ecdafe3d994505471cafaf690@tutteli.ch","name":"Robert Stoll"},"message":"TINS-358 inference procedural - collecting constraints\n\n- removed createRefVariable for now, can be added later on when dealing with control flow again\n- removed union types from unresolved types\n\nTINS-359 inference procedural - constraint solving 0.2.6\n\n- using TypeVariableConstraint as indirection of bindings in order that renaming is possible.\n- removed OperatorTest for now, need to fix ConstraintSolver first, does not take overload preceding into account","distinct":true,"url":"https://api.github.com/repos/TinsPHP/tins-inference-engine/commits/bfdc1ec749aa491b985657cfa14f41ad3d53a315"}]}