Age | Commit message (Expand) | Author |
---|---|---|
2024-04-20 | Fix minor bugs in Liveness computation | bd-912 |
2024-04-20 | Implement liveness tracking in CFG | bd-912 |
2024-04-20 | Incorporate function parameters in Reachability | bd-912 |
2024-04-20 | Implement partial reachable tracking in CFG | bd-912 |
2024-04-20 | CFG generate edges correct edge generation for VGoto | bd-912 |
2024-04-20 | Fix many more issues with goto/branch found with GraphViz | bd-912 |
2024-04-20 | CFG fix create edges only if nodes != (found by graphviz) | bd-912 |
2024-04-20 | Fun with GraphViz | bd-912 |
2024-04-19 | CFG captures VGoto path | bd-912 |
2024-04-19 | CFG captures both VBranch paths | bd-912 |
2024-04-19 | Vaporize.CFG Add incomplete edge creation | bd-912 |
2024-04-19 | Use one global logger | bd-912 |
2024-04-19 | Switched to use of Logger Module | bd-912 |
2024-04-17 | Allow CFG to compile by removing generic types | bd-912 |
2024-04-17 | Rename Node->NodeCFG to avoid namespace collision | bd-912 |
2024-04-17 | CFG Skeleton Files | bd-912 |