Commit Graph

16 Commits

Author SHA1 Message Date
ccremers
89c3a20acf - Many cleanups to make -Wall happy. Next up is pedantic... 2007-01-06 14:45:29 +00:00
ccremers
5487d3ae90 - From this version onwards, Scyther no longer supports the modelchecker
method. A big cleanup has been started, but is not finished yet, so
  minor artefacts might still remain. These are to be cleaned up later.
2006-03-08 13:58:46 +00:00
ccremers
506e42f841 - Re-indented the files. 2004-11-16 12:07:55 +00:00
ccremers
a38925c9c2 - Added some useful macros to term.h to address subparts (e.g.
TermOp1(t)). Renamed all uses.
2004-11-16 12:06:36 +00:00
ccremers
71c658051e - Reindented everything, so the layout is up to date again. 2004-08-09 10:05:58 +00:00
ccremers
4d154e8126 - Added knowledgePrintShort for knowledge displays without newlines. 2004-08-06 11:59:27 +00:00
ccremers
17c6fe5136 - Fixed some more printf usages, that should now be handled by eprintf. 2004-07-29 12:47:57 +00:00
ccremers
60b02eea0e - Renamed nearly all files. Now, we try to use singular terms.
Exception: states.h is the plural form.
2004-07-24 19:07:29 +00:00
ccremers
ace16a896f - Renamed runs.[c|h] to system.[c|h], which makes much more sense. 2004-07-24 15:08:35 +00:00
ccremers
d74d70218f - Improved candidates throughput. 2004-07-20 09:07:43 +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
7411f89976 - Fixed two Doxygen warnings. 2004-06-13 20:58:54 +00:00
ccremers
ca01a09377 - Many ansi updates. 2004-05-26 12:17:09 +00:00
ccremers
4d90395d7e - Fixed the term union issue for portability. 2004-05-26 08:40:33 +00:00
ccremers
a21e1b73e4 - More additions to the documentation. 2004-05-15 14:22:44 +00:00
ccremers
0f4e6a5aba - Moved everything about. 2004-04-23 10:58:43 +00:00