Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2015-07-20 | Work with break statement in same way like with continue. | Andrei Karas | 1 | -0/+5 | |
2015-07-10 | Add analysis for CONTINUE_STMT node. | Andrei Karas | 1 | -0/+5 | |
2015-07-08 | Add WHILE_STMT node analysis. | Andrei Karas | 1 | -0/+5 | |
This add basic support for while(exprt) {code} | |||||
2015-06-26 | Fix program name in copyright headers. | Andrei Karas | 1 | -1/+1 | |
2015-06-23 | Combine analysis code for IF_STMT and COND_EXPR into same function. | Andrei Karas | 1 | -1/+11 | |
2015-06-11 | Change how node analysers getting information about current tasks. | Andrei Karas | 1 | -1/+1 | |
Now two variables one const for input data, and second for output data. | |||||
2015-06-10 | Add basic analysis for IF_STMT. | Andrei Karas | 1 | -0/+33 | |