From 7e80d048d738d2c2cc7ca700fcde14ad7ae68c0d Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 21 Jul 2004 14:06:03 +0000 Subject: [PATCH] - Added reminder of this strange behaviour to todo.txt. --- src/todo.txt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/todo.txt b/src/todo.txt index b42d5ec..7d2b542 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,7 +1,7 @@ -- HIGH PRIORITY: Fix -t11 to be left-oriented. This is more consistent with - ensuring that the other symmetry reductions work as advertised. -- Figure out how static building works. Might even involve switching to - automake alternative (Cons, SCons,..) +- I have no good explanation for it, but any of -O2, -O3, + -finline-functions causes ni-synch claims of nsl-nisynch to fail, + which is incorrect. This must be investigated later, but for now I + disabled it. - Constraint logic now also has no checks for when a run is done by the intruder (which should be excluded). - Fix constants in intruder knowledge. Auto add single one of each type,