1 files changed, 9 insertions, 0 deletions
diff --git a/abstract/abs_interp_dynpart.ml b/abstract/abs_interp_dynpart.ml
index 5beffda..23df612 100644
--- a/abstract/abs_interp_dynpart.ml
+++ b/abstract/abs_interp_dynpart.ml
@@ -19,6 +19,15 @@ end = struct
 
     type abs_v = ED.t * ND.t
 
+    (*
+      Abstract analysis based on dynamic partitionning of the state space.
+      Idea : use somme conditions appearing in the text of the program as
+      disjunctions. We don't want to consider them all at once  in the first
+      place because it would be way too costly ; instead we try to dynamically
+      partition tye system. But we haven't got a very good heuristic for that,
+      so it doesn't work very well.
+    *)
+
     type location = {
         id              : int;
         depth           : int;