{"push_id":720240190,"size":2,"distinct_size":2,"ref":"refs/heads/CachedBoundAnalysis","head":"4c67e7d28ca648f6ab330361b300a589994664d9","before":"3268536f96a99dc824ba9582c1dc2d02b7a674eb","commits":[{"sha":"51e05c4a448d7ebc998402a89b2ab695fb0316e6","author":{"email":"1a3d80317f2eceab82b71faafb4ac148d8a2107d@gmail.com","name":"samminweng"},"message":"Rename BoundInference and CFGraph to separate the logics of bound\nanalysis.","distinct":true,"url":"https://api.github.com/repos/samminweng/WhileyOpenCL/commits/51e05c4a448d7ebc998402a89b2ab695fb0316e6"},{"sha":"4c67e7d28ca648f6ab330361b300a589994664d9","author":{"email":"1a3d80317f2eceab82b71faafb4ac148d8a2107d@gmail.com","name":"samminweng"},"message":"Build the CFGraph for a function and cache it in the hashmap. If the\ncaller invokes the same function, the analyzer gets the cached CFGraph,\nclears out all the bounds in each block and adds input bounds to the\nentry block in the form of new constraint. Then proceed the bound\ninference and get the output bounds in the context of new input bounds.","distinct":true,"url":"https://api.github.com/repos/samminweng/WhileyOpenCL/commits/4c67e7d28ca648f6ab330361b300a589994664d9"}]}