Commit Graph

1715 Commits

Author SHA1 Message Date
ccremers
ac4efcd63a - Added todos. 2004-07-12 09:26:25 +00:00
ccremers
ab72755bf5 - Function considerations.
- M_0 considerations.
2004-07-09 14:54:14 +00:00
ccremers
aa564d7ccc - State counter issue should be fixed. 2004-07-09 09:30:32 +00:00
ccremers
35c7ff1877 - Fixed some sanity checks in the computation of the preceding label
sets. This prevents a potential crash.
2004-07-05 09:37:31 +00:00
ccremers
a8130f10ee - Some todo stuff. 2004-06-16 21:03:12 +00:00
ccremers
e2da17f198 - First files with ni-synch claims. 2004-06-16 15:43:55 +00:00
ccremers
f71bed06a1 - Present from Cas for Cas' birthday: Not thoroughly tested, but ni-synch seems to be working. Be careful to use the -t1 switch, or attacks will be missed. 2004-06-16 15:28:20 +00:00
ccremers
12bc0bf2f9 - Check in claims files. 2004-06-16 10:40:13 +00:00
ccremers
1900f7d4fb - Preceding label sets are now correctly computed. 2004-06-16 10:39:13 +00:00
ccremers
9634034ebb - First broken steps towards prec() computation for each claim label. 2004-06-14 22:08:47 +00:00
ccremers
0e0f52c6aa - Initial work to facilitate agreement and synchronisation claims. Isn't
incorporated in the real code yet, I'm just writing the base code.
2004-06-14 09:15:42 +00:00
ccremers
1c345c4955 - Modified error reporting setup.
- Updated some of the error reporting code, but not all.
2004-06-13 21:42:29 +00:00
ccremers
19724dd086 - Fixed speedtest output. 2004-06-13 21:41:52 +00:00
ccremers
5a99deb52d - Re-enabled timing. 2004-06-13 21:15:26 +00:00
ccremers
8e1c3685d4 - Moved some redundant checks for knowledge tuple adding, making it slightly
faster.
- Fixed some error reporting to go to stderr.
2004-06-13 21:15:14 +00:00
ccremers
bd76b63a37 - Added error.c and error.h to the Makefile template. 2004-06-13 20:59:28 +00:00
ccremers
7411f89976 - Fixed two Doxygen warnings. 2004-06-13 20:58:54 +00:00
ccremers
72e3eb6292 - Added error procedure. 2004-06-12 14:20:07 +00:00
ccremers
7346247f62 - Fixed 2 protocols. 2004-06-12 13:10:17 +00:00
ccremers
bd4530de77 - Note about invisible errors. 2004-06-02 13:06:45 +00:00
ccremers
f96e05d260 - Made note about memory leak suspicion. 2004-06-02 12:33:13 +00:00
ccremers
d14d5ce06b - Added exit codes and use these in testl script. 2004-05-26 19:40:40 +00:00
ccremers
ca01a09377 - Many ansi updates. 2004-05-26 12:17:09 +00:00
ccremers
b5ddd75d95 - Rewrote mindwipe to ansi variant. 2004-05-26 09:34:08 +00:00
ccremers
112e3799ab - grmbl fix previous commit. 2004-05-26 08:54:18 +00:00
ccremers
06f2978dbe - More ansi fixes. 2004-05-26 08:52:15 +00:00
ccremers
ada4033fbe - Fixed some non-ANSI initial assignment. 2004-05-26 08:49:36 +00:00
ccremers
db0c34c1e5 - Removed an optionally required include. 2004-05-26 08:46:44 +00:00
ccremers
b0aba1cdc0 - Removed obsolete knowledge union. 2004-05-26 08:42:34 +00:00
ccremers
4d90395d7e - Fixed the term union issue for portability. 2004-05-26 08:40:33 +00:00
ccremers
2cae2d2a08 - Made union in TAC more ANSI compliant (and thus suitable for the sun) 2004-05-26 08:26:40 +00:00
ccremers
2106aadb23 - Incremental searches now also output to stderr. 2004-05-25 09:28:40 +00:00
ccremers
448520d38a - Fix todo list. 2004-05-24 17:44:30 +00:00
ccremers
e88f5b858b - Make the package name scyther lowercase. 2004-05-24 17:42:41 +00:00
ccremers
832ce9aea2 - Make dist should work now. 2004-05-24 16:20:06 +00:00
ccremers
a2004ec4a9 - Debugging mode can now be enabled. 2004-05-24 09:23:08 +00:00
ccremers
ba27e43018 - Added --enable-debug to configure script. This yields the option in
the help, but does not have the desired result yet.
2004-05-23 14:59:55 +00:00
ccremers
0a4bccedc2 - Fixed install/readme files. 2004-05-22 14:32:57 +00:00
ccremers
d2b4a140e5 - Added and modified Fluxbox INSTALL & README. 2004-05-22 14:04:43 +00:00
ccremers
988ede4f3a - Added test for argtable2.h 2004-05-22 13:48:43 +00:00
ccremers
e0abfe16d8 - Added Galious compilation script. 2004-05-22 12:58:38 +00:00
ccremers
803013485e - Fixed bug. 2004-05-22 12:36:15 +00:00
ccremers
a501986669 - More extensive explanation of unfound libs. 2004-05-22 12:35:14 +00:00
ccremers
abd8ad3998 - Still two flags missing for complete scanner/parser support.
BUILT_SOURCES was necessary to have the dependencies right.
2004-05-21 19:31:42 +00:00
ccremers
6c69baeeb9 - Fixed the lex/yacc problems. 2004-05-21 19:18:47 +00:00
ccremers
894372e9af - Added the top-level Makefile.am as well. 2004-05-21 18:25:35 +00:00
ccremers
1356a4e466 - Stupid bug in previous version. 2004-05-21 18:23:52 +00:00
ccremers
512c11435e - Repaired the aux config dir & install-sh issue. This makes the main
directory more crowded, but it couldn't get it to work otherwise.
2004-05-21 18:21:50 +00:00
ccremers
ef32b1e0e5 - This version seems to compile. 2004-05-21 17:52:06 +00:00
ccremers
4c3450697a - Added the fallback Makefile. This works fine, and I can test with the
other directory's automake tools in the meantime.
2004-05-21 14:18:35 +00:00