Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• ac4efcd63a - Added todos. ccremers 2004-07-12 09:26:25 +00:00
• ab72755bf5 - Function considerations. - M_0 considerations. ccremers 2004-07-09 14:54:14 +00:00
• aa564d7ccc - State counter issue should be fixed. ccremers 2004-07-09 09:30:32 +00:00
• 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 +00:00
• a8130f10ee - Some todo stuff. ccremers 2004-06-16 21:03:12 +00:00
• e2da17f198 - First files with ni-synch claims. ccremers 2004-06-16 15:43:55 +00:00
• 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 +00:00
• 12bc0bf2f9 - Check in claims files. ccremers 2004-06-16 10:40:13 +00:00
• 1900f7d4fb - Preceding label sets are now correctly computed. ccremers 2004-06-16 10:39:13 +00:00
• 9634034ebb - First broken steps towards prec() computation for each claim label. ccremers 2004-06-14 22:08:47 +00:00
• 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 +00:00
• 1c345c4955 - Modified error reporting setup. - Updated some of the error reporting code, but not all. ccremers 2004-06-13 21:42:29 +00:00
• 19724dd086 - Fixed speedtest output. ccremers 2004-06-13 21:41:52 +00:00
• 5a99deb52d - Re-enabled timing. ccremers 2004-06-13 21:15:26 +00:00
• 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 +00:00
• bd76b63a37 - Added error.c and error.h to the Makefile template. ccremers 2004-06-13 20:59:28 +00:00
• 7411f89976 - Fixed two Doxygen warnings. ccremers 2004-06-13 20:58:54 +00:00
• 72e3eb6292 - Added error procedure. ccremers 2004-06-12 14:20:07 +00:00
• 7346247f62 - Fixed 2 protocols. ccremers 2004-06-12 13:10:17 +00:00
• bd4530de77 - Note about invisible errors. ccremers 2004-06-02 13:06:45 +00:00
• f96e05d260 - Made note about memory leak suspicion. ccremers 2004-06-02 12:33:13 +00:00
• d14d5ce06b - Added exit codes and use these in testl script. ccremers 2004-05-26 19:40:40 +00:00
• ca01a09377 - Many ansi updates. ccremers 2004-05-26 12:17:09 +00:00
• b5ddd75d95 - Rewrote mindwipe to ansi variant. ccremers 2004-05-26 09:34:08 +00:00
• 112e3799ab - grmbl fix previous commit. ccremers 2004-05-26 08:54:18 +00:00
• 06f2978dbe - More ansi fixes. ccremers 2004-05-26 08:52:15 +00:00
• ada4033fbe - Fixed some non-ANSI initial assignment. ccremers 2004-05-26 08:49:36 +00:00
• db0c34c1e5 - Removed an optionally required include. ccremers 2004-05-26 08:46:44 +00:00
• b0aba1cdc0 - Removed obsolete knowledge union. ccremers 2004-05-26 08:42:34 +00:00
• 4d90395d7e - Fixed the term union issue for portability. ccremers 2004-05-26 08:40:33 +00:00
• 2cae2d2a08 - Made union in TAC more ANSI compliant (and thus suitable for the sun) ccremers 2004-05-26 08:26:40 +00:00
• 2106aadb23 - Incremental searches now also output to stderr. ccremers 2004-05-25 09:28:40 +00:00
• 448520d38a - Fix todo list. ccremers 2004-05-24 17:44:30 +00:00
• e88f5b858b - Make the package name scyther lowercase. ccremers 2004-05-24 17:42:41 +00:00
• 832ce9aea2 - Make dist should work now. ccremers 2004-05-24 16:20:06 +00:00
• a2004ec4a9 - Debugging mode can now be enabled. ccremers 2004-05-24 09:23:08 +00:00
• 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 +00:00
• 0a4bccedc2 - Fixed install/readme files. ccremers 2004-05-22 14:32:57 +00:00
• d2b4a140e5 - Added and modified Fluxbox INSTALL & README. ccremers 2004-05-22 14:04:43 +00:00
• 988ede4f3a - Added test for argtable2.h ccremers 2004-05-22 13:48:43 +00:00
• e0abfe16d8 - Added Galious compilation script. ccremers 2004-05-22 12:58:38 +00:00
• 803013485e - Fixed bug. ccremers 2004-05-22 12:36:15 +00:00
• a501986669 - More extensive explanation of unfound libs. ccremers 2004-05-22 12:35:14 +00:00
• 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 +00:00
• 6c69baeeb9 - Fixed the lex/yacc problems. ccremers 2004-05-21 19:18:47 +00:00
• 894372e9af - Added the top-level Makefile.am as well. ccremers 2004-05-21 18:25:35 +00:00
• 1356a4e466 - Stupid bug in previous version. ccremers 2004-05-21 18:23:52 +00:00
• 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 +00:00
• ef32b1e0e5 - This version seems to compile. ccremers 2004-05-21 17:52:06 +00:00
• 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 +00:00
• 29e996252b - More changes. ccremers 2004-05-21 14:01:00 +00:00
• da1637c4bd - Added subdir for conf. ccremers 2004-05-21 13:56:54 +00:00
• db23dd12ed - Moving stuff to the right spot. ccremers 2004-05-21 13:53:01 +00:00
• 6608a376cc - Intermediate. ccremers 2004-05-21 13:52:49 +00:00
• f71f4e7ce8 - Added a bootstrap file, more testing. ccremers 2004-05-21 13:48:59 +00:00
• fd9f83cd2c - Better stuf for automake. ccremers 2004-05-21 13:27:38 +00:00
• 5ed86facf3 - Added some required files. - Extended error for missing library. ccremers 2004-05-21 13:24:37 +00:00
• b976611458 - First setup for autoconf tools. ccremers 2004-05-21 13:19:43 +00:00
• 0254565db4 - The testl script now also generates eps output in attack.eps. This requires ps2eps. ccremers 2004-05-21 12:34:33 +00:00
• 10f95a55a6 - Template cleanup for latex. - Timers output now to stderr. Previously this was stdout/latex. ccremers 2004-05-21 12:32:57 +00:00
• 8b41f5806d - Some cleanup in the header code. ccremers 2004-05-19 08:44:27 +00:00
• 1868a2b6fa - Modified brace printing behaviour. ccremers 2004-05-19 08:39:39 +00:00
• 0590accb86 - Pre and postamble are now obsolete. ccremers 2004-05-19 07:58:32 +00:00
• 1768b4abea - Remove {( )} inner brackets in LaTeX output. ccremers 2004-05-18 20:41:51 +00:00
• 080d19a840 - Even more documentation. ccremers 2004-05-15 16:43:20 +00:00
• eecab1bbda - Fixed the symbols. ccremers 2004-05-15 15:45:08 +00:00
• 5ca4adbd86 - Start of intro. ccremers 2004-05-15 15:26:21 +00:00
• 47ba33ebbf - More additional documentation. ccremers 2004-05-15 14:47:19 +00:00
• a21e1b73e4 - More additions to the documentation. ccremers 2004-05-15 14:22:44 +00:00
• 4e5d28e45c - Configured doxygen for C specifically. ccremers 2004-05-15 12:51:10 +00:00
• 85a470abe2 - Added first file descriptions. ccremers 2004-05-15 12:39:49 +00:00
• e26d97bf2b - Huge documentation effort. ccremers 2004-05-15 12:33:01 +00:00
• 89e83b1661 - Added 'make refman' to automate doxygen refman creation. ccremers 2004-05-14 17:34:34 +00:00
• 6c4b8fbc9a - Added already quite some documentation. ccremers 2004-05-14 17:29:26 +00:00
• b51db7ac34 - Enabled Doxygen reference manual construction, config file for doxygen in src directory. ccremers 2004-05-14 16:22:36 +00:00
• 8930a69048 - Idea for M_0 knowledge. ccremers 2004-05-13 14:59:03 +00:00
• fc0272acfb - It's working so nicely now that we can remove the manually set constants altogether. ccremers 2004-05-13 14:52:38 +00:00
• c53bff4f39 - Huge modification, now allowing for parbox constructions. Nearly all overlap is gone now. ccremers 2004-05-13 14:49:04 +00:00
• 47a96937ac - Layout improvements accross the board of the MSCs. ccremers 2004-05-13 10:06:21 +00:00
• e93a6cd462 - Todo. ccremers 2004-05-12 20:27:27 +00:00
• 5bcd5d01ac - Reran GNU indent. ccremers 2004-05-12 15:19:40 +00:00
• 06105d8d63 - Fixed the latex knowledge printer, which was a strange omission. ccremers 2004-05-12 15:18:35 +00:00
• 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 +00:00
• 102ed11c66 - Fixed the 'learns' order issue. ccremers 2004-05-12 15:13:21 +00:00
• 11624b6903 - Initial knowledge of the intruder is now integrated as well. ccremers 2004-05-12 15:07:33 +00:00
• 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 +00:00
• fb803473ab - Added a huge amount of comments in Lutger's code to make it more readable. ccremers 2004-05-12 14:45:50 +00:00
• 93dfcf6370 - Redirected some stuff to stderr. ccremers 2004-05-12 14:07:56 +00:00
• 97f178aee5 - By default, a state progress counter is displayed on stderr. ccremers 2004-04-23 15:02:24 +00:00
• ec459dcbde - Added the names of the involved protocols to the attack output. ccremers 2004-04-23 14:11:51 +00:00
• 4cefc16543 - Removed the weird pre/postamble stuff that Sjouke asked for. - Introduced an 'attacktemplate' file. ccremers 2004-04-23 13:23:33 +00:00
• 8fda9c6d2b - Fixed some changed paths. ccremers 2004-04-23 12:59:25 +00:00
• 89300320fe - Improved default behaviour, added '-' input signifier. ccremers 2004-04-23 12:55:10 +00:00
• c33df721a6 - Created input/output file arguments. - Moved explanations from the command-line help to the documentation. ccremers 2004-04-23 12:43:50 +00:00
• 2e2ccc32b8 - Moved the README. Now almost everything is where it belongs. ccremers 2004-04-23 11:59:19 +00:00
• 8e8a465b21 - The lutger-todo file seems to have served no purpose, remove. ccremers 2004-04-23 11:06:32 +00:00
• 6efcbdea62 - Re-indented the output and latex files. ccremers 2004-04-23 11:03:07 +00:00
• 0f4e6a5aba - Moved everything about. ccremers 2004-04-23 10:58:43 +00:00
• ca5202dc0c - Better names. ccremers 2004-04-01 10:05:00 +00:00
• 0de515fd7d - Broken protocol for article. ccremers 2004-03-21 16:26:31 +00:00