From aab5328a9b1a066ac5812ce57ac203fe2e94adc9 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 9 Dec 2005 13:15:34 +0000 Subject: [PATCH] - Added a note. --- src/notes.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/notes.txt b/src/notes.txt index 8fe408a..0c350f1 100644 --- a/src/notes.txt +++ b/src/notes.txt @@ -1,9 +1,12 @@ +- For the TimeStamps etc, we can implement an 'auto-leak' of such local + constants. This should works also with a modifier of sorts (e.g. + 'predictable') and such constants should be leaked to the intruder at + the start of the run, possibly by prefixing a send. - best heuristic currently for -t8: ignore sendsfirst, just look at the previous event and continue at that run. - termPrint must currently be encapsulated in a math environment to work in latex output, I wil change this later to some ensure mathmode construct, probably with something like latexTermPrint. -- Repository to apache2 webdav. - The trace incremental search should start at something like 'distance of first claim + SOMECONST * runs'. SOMECONST relates to the partial-order induced trace prolonings.