remove uneeded plans to support souffle 2.4

nevillegrech · Jan 10, 2024 · 6abddb6 · 6abddb6
1 parent 53d7cfb
commit 6abddb6
Showing 1 changed file with 9 additions and 4 deletions.
diff --git a/logic/global.dl b/logic/global.dl
@@ -294,30 +294,35 @@ PreMask_Length(cat(mask, "ff"), bytes+1) :-
   .decl ImprecisionIntroducedAtEdge(fromCtx: sens.Context, fromBlock: Block, toCtx: sens.Context, to: Block, index: StackIndex)
   DEBUG_OUTPUT(ImprecisionIntroducedAtEdge)
 
+
+  /**
+    __Note__: Plans are commented out, they were needed at some point so I added them.
+    Right now adding them breaks souffle 2.4 so I removed them. Didn't make a difference
+  */
   ImpreciseBlockInputContentsIndex(ctx, block, index):-
     BlockInputContents(ctx, block, index, var1),
     BlockInputContents(ctx, block, index, var2),
     var1 != var2.
-   .plan 1:(2,1)
+  //  .plan 1:(2,1)
 
   ImpreciseBlockOutputContentsIndex(ctx, block, index):-
     BlockOutputContents(ctx, block, index, var1),
     BlockOutputContents(ctx, block, index, var2),
     var1 != var2.
-   .plan 1:(2,1)
+  //  .plan 1:(2,1)
 
   ImpreciseBlockInputContentsIndexFromPrev(ctx, block, index):-
     ImpreciseBlockInputContentsIndex(ctx, block, index),
     BlockEdge(prevCtx, prevBlock, ctx, block),
     ImpreciseBlockOutputContentsIndex(prevCtx, prevBlock, index).
-    .plan 1:(2,1,3), 2:(3,2,1)
+    // .plan 1:(2,1,3), 2:(3,2,1)
 
   ImprecisionIntroducedAtEdge(fromCtx, fromBlock, toCtx, to, index):-
     BlockEdge(fromCtx, fromBlock, toCtx, to),
     ImpreciseBlockInputContentsIndex(toCtx, to, index),
     !ImpreciseBlockInputContentsIndexFromPrev(toCtx, to, index),
     !ImpreciseBlockOutputContentsIndex(fromCtx, fromBlock, index).
-   .plan 1:(2,1)
+  //  .plan 1:(2,1)
 
   .decl NeedToAddCtxAtEdge(fromBlock: Block, toBlock: Block)
   DEBUG_OUTPUT(NeedToAddCtxAtEdge)