Thomas Rubiano (34ccf53b) at 24 Nov 16:22
Make the DataFlow analysis a functor
Thomas Rubiano (0e37e734) at 27 Aug 15:47
More comments
Thomas Rubiano (204ceec2) at 27 Aug 12:51
Auto check infinity in samples
Thomas Rubiano (5dbe8833) at 24 Aug 21:31
Testing new relations for phi functions
... and 1 more commit
Thomas Rubiano (2d5134ea) at 19 Aug 23:01
Debugging and testing
Thomas Rubiano (74148d6e) at 12 Aug 15:52
Making tests over DeltaGraph (fixing bugs)
Thomas Rubiano (7545f5e8) at 04 Aug 17:32
Fixing DeltaGraph
Thomas Rubiano (9e834caa) at 02 Aug 17:50
Deltagraph fusion
Thomas Rubiano (d2f5694c) at 21 Jul 15:45
implement add_edge and fix mono_diff
... and 1 more commit
Thomas Rubiano (fa7dbbc2) at 20 Jul 23:48
Merge branch 'master' of depot.lipn.univ-paris13.fr:rubiano/compcer...
... and 1 more commit
Thomas Rubiano (e683b98e) at 19 Jul 22:37
Enabling phi relations
Thomas Rubiano (f3879c4d) at 16 Jul 00:19
Fixing poly_sum and start fixing fixp
Thomas Rubiano (bd4811b5) at 14 Jul 22:17
Reimplem poly sum
Thomas Rubiano (5cc1afc5) at 13 Jul 21:36
fixing loop fixpoint
Thomas Rubiano (cd1c0e3e) at 11 Jul 12:01
Implementing loop analysis (to debug…)