Adding cycle counter
New sample: for-loop
Block-setfields + Commentaries and whitespaces in tlambda_analysis.ml
Getting the previous commit to type. (Block.set_field + typo)
adding cp_env function
Good widening for integers
Space to get good help text
This one is undoable without widening
Update the union to support widening.
Yeah, I used references. Because I'm such a bad boy, baby.
Adding the widening function to the manager module argument, just needs to do it in Hgraph now
Split Hgraph in smaller files and add mli
.gitignore: *.orig
Fixpoint rewriten to have a Stack parameter

Some tests are failing
returns bottom if no value is assigned to a vertex (rather than failing...)
Fix tests: recorver the real output vertices
Call abstract_init with the original vertex
Don't forget nodes from function graphs

Test_data is passing again
fix test_hgraph
Merge pull request #1 from chambart/master

Fixpoint with a stack
This allows widening, plus it has a flexible handling of the callstack.
Removing useless .mli's