0.0.2 version
Changelog:
- fixed bug in computing control dependencies (so now we really compute them, instead of adding control dependence to every predecessor - which is correct, but not precise)
- BBlock successors have label now
- slice away and reconnect basic blocks first, before slicing the nodes in the left blocks
- remove unused stuff from sliced module
- simple tutorial and building instructino in README
- lot of bugfixes
- continuing generalization of the code (making llvm-specific code more general)
- allow self-loops on bblocks