{"push_id":803225443,"size":2,"distinct_size":1,"ref":"refs/heads/vc-adjust2","head":"292027e967acefa78d635df2113d06dec58a2e25","before":"e2b87c0c4649643114b36f5692db0f0351dd0619","commits":[{"sha":"ff10ec732248ea0ab9719d1be7eee2e04f89e25f","author":{"email":"aac5582c9af83b0c581065480a8022570142d671@gmail.com","name":"Welchd1"},"message":"some more progress","distinct":false,"url":"https://api.github.com/repos/Welchd1/resolve-lite/commits/ff10ec732248ea0ab9719d1be7eee2e04f89e25f"},{"sha":"292027e967acefa78d635df2113d06dec58a2e25","author":{"email":"aac5582c9af83b0c581065480a8022570142d671@gmail.com","name":"Welchd1"},"message":"ok, going to try my luck again with instantiation in symbols directly (pexp specialization that is. Consider the case of Stk_Array_Impl needing the global constraint from bdd_Array_Template -- Lower_Bound <= Upper_Bound -- those substitutions need to happen yet there yet we of course have no qualifier. So we're back to square one)","distinct":true,"url":"https://api.github.com/repos/Welchd1/resolve-lite/commits/292027e967acefa78d635df2113d06dec58a2e25"}]}