{"push_id":758026423,"size":1,"distinct_size":1,"ref":"refs/heads/AbstractAnalyzer","head":"91695a37d0063f320d2b7528d8c7f128d1ded0f3","before":"ecf2c29627c1343b500158cf63c570a5e01d287c","commits":[{"sha":"91695a37d0063f320d2b7528d8c7f128d1ded0f3","author":{"email":"1a3d80317f2eceab82b71faafb4ac148d8a2107d@gmail.com","name":"Min-Hsien Weng"},"message":"Use the abstract analyzer to build up CFG and add byte-code to block.\n\nThe abstract analyzer takes a list of byte-code to build up CFG and put\nthe byte-code into blocks, so that each block has its own list of\nbyte-code. Then alias/bound analyzer can iterate each block and perform\nthe analysis on each byte-code of the block.","distinct":true,"url":"https://api.github.com/repos/samminweng/WhileyOpenCL/commits/91695a37d0063f320d2b7528d8c7f128d1ded0f3"}]}