ab72755bf5- Function considerations. - M_0 considerations.
ccremers
2004-07-09 14:54:14 +0000
aa564d7ccc- State counter issue should be fixed.
ccremers
2004-07-09 09:30:32 +0000
35c7ff1877- Fixed some sanity checks in the computation of the preceding label sets. This prevents a potential crash.
ccremers
2004-07-05 09:37:31 +0000
a8130f10ee- Some todo stuff.
ccremers
2004-06-16 21:03:12 +0000
e2da17f198- First files with ni-synch claims.
ccremers
2004-06-16 15:43:55 +0000
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.
ccremers
2004-06-16 15:28:20 +0000
12bc0bf2f9- Check in claims files.
ccremers
2004-06-16 10:40:13 +0000
1900f7d4fb- Preceding label sets are now correctly computed.
ccremers
2004-06-16 10:39:13 +0000
9634034ebb- First broken steps towards prec() computation for each claim label.
ccremers
2004-06-14 22:08:47 +0000
0e0f52c6aa- Initial work to facilitate agreement and synchronisation claims. Isn't incorporated in the real code yet, I'm just writing the base code.
ccremers
2004-06-14 09:15:42 +0000
1c345c4955- Modified error reporting setup. - Updated some of the error reporting code, but not all.
ccremers
2004-06-13 21:42:29 +0000
8e1c3685d4- Moved some redundant checks for knowledge tuple adding, making it slightly faster. - Fixed some error reporting to go to stderr.
ccremers
2004-06-13 21:15:14 +0000
bd76b63a37- Added error.c and error.h to the Makefile template.
ccremers
2004-06-13 20:59:28 +0000
7411f89976- Fixed two Doxygen warnings.
ccremers
2004-06-13 20:58:54 +0000
4d90395d7e- Fixed the term union issue for portability.
ccremers
2004-05-26 08:40:33 +0000
2cae2d2a08- Made union in TAC more ANSI compliant (and thus suitable for the sun)
ccremers
2004-05-26 08:26:40 +0000
2106aadb23- Incremental searches now also output to stderr.
ccremers
2004-05-25 09:28:40 +0000
448520d38a- Fix todo list.
ccremers
2004-05-24 17:44:30 +0000
e88f5b858b- Make the package name scyther lowercase.
ccremers
2004-05-24 17:42:41 +0000
832ce9aea2- Make dist should work now.
ccremers
2004-05-24 16:20:06 +0000
a2004ec4a9- Debugging mode can now be enabled.
ccremers
2004-05-24 09:23:08 +0000
ba27e43018- Added --enable-debug to configure script. This yields the option in the help, but does not have the desired result yet.
ccremers
2004-05-23 14:59:55 +0000
a501986669- More extensive explanation of unfound libs.
ccremers
2004-05-22 12:35:14 +0000
abd8ad3998- Still two flags missing for complete scanner/parser support. BUILT_SOURCES was necessary to have the dependencies right.
ccremers
2004-05-21 19:31:42 +0000
6c69baeeb9- Fixed the lex/yacc problems.
ccremers
2004-05-21 19:18:47 +0000
894372e9af- Added the top-level Makefile.am as well.
ccremers
2004-05-21 18:25:35 +0000
1356a4e466- Stupid bug in previous version.
ccremers
2004-05-21 18:23:52 +0000
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.
ccremers
2004-05-21 18:21:50 +0000
ef32b1e0e5- This version seems to compile.
ccremers
2004-05-21 17:52:06 +0000
4c3450697a- Added the fallback Makefile. This works fine, and I can test with the other directory's automake tools in the meantime.
ccremers
2004-05-21 14:18:35 +0000
29e996252b- More changes.
ccremers
2004-05-21 14:01:00 +0000
da1637c4bd- Added subdir for conf.
ccremers
2004-05-21 13:56:54 +0000
db23dd12ed- Moving stuff to the right spot.
ccremers
2004-05-21 13:53:01 +0000
5bcd5d01ac- Reran GNU indent.
ccremers
2004-05-12 15:19:40 +0000
06105d8d63- Fixed the latex knowledge printer, which was a strange omission.
ccremers
2004-05-12 15:18:35 +0000
b865fa8f46- Removed square brackets from latex termlist printing. This is however still an issue for the knowledge print.
ccremers
2004-05-12 15:16:11 +0000
102ed11c66- Fixed the 'learns' order issue.
ccremers
2004-05-12 15:13:21 +0000
11624b6903- Initial knowledge of the intruder is now integrated as well.
ccremers
2004-05-12 15:07:33 +0000
bcbaff93dd- Removed some redundant code. - Sends and reads now to intruder run. - Intruder learn event on intruder run branch.
ccremers
2004-05-12 14:56:45 +0000
fb803473ab- Added a huge amount of comments in Lutger's code to make it more readable.
ccremers
2004-05-12 14:45:50 +0000
93dfcf6370- Redirected some stuff to stderr.
ccremers
2004-05-12 14:07:56 +0000
97f178aee5- By default, a state progress counter is displayed on stderr.
ccremers
2004-04-23 15:02:24 +0000
ec459dcbde- Added the names of the involved protocols to the attack output.
ccremers
2004-04-23 14:11:51 +0000
4cefc16543- Removed the weird pre/postamble stuff that Sjouke asked for. - Introduced an 'attacktemplate' file.
ccremers
2004-04-23 13:23:33 +0000
8fda9c6d2b- Fixed some changed paths.
ccremers
2004-04-23 12:59:25 +0000
c33df721a6- Created input/output file arguments. - Moved explanations from the command-line help to the documentation.
ccremers
2004-04-23 12:43:50 +0000
2e2ccc32b8- Moved the README. Now almost everything is where it belongs.
ccremers
2004-04-23 11:59:19 +0000
8e8a465b21- The lutger-todo file seems to have served no purpose, remove.
ccremers
2004-04-23 11:06:32 +0000
6efcbdea62- Re-indented the output and latex files.
ccremers
2004-04-23 11:03:07 +0000
0f4e6a5aba- Moved everything about.
ccremers
2004-04-23 10:58:43 +0000
ccremers