[r16812]

[r16811]

[r16810]

[r16808]

[r16806]

[r16805]

[r16804]

[r16803]

[r16801]

[r16800]

[r16799]

- replaced all backedge info by raw bitsets

[r16785]

[r16782]

[r16781]

[r16775]

[r16774]

[r16768]

[r16767]

[r16756]

[r16573]

[r16572]

[r16571]

[r16570]

[r16569]

- some cleanup

[r16567]

[r16564]

[r16560]

[r16559]

[r16558]

[r16554]

[r16553]

Added name of translation unit to be environment

[r16552]

Needed when you want to put multiple experiments in one database.

[r16551]

[r16543]

[r16542]

[r16540]

- restructured code

[r16532]

- speed up some functions
- more comments added

[r16531]

- more test cases added

[r16528]

[r16526]