ccremers 9723fff382 - Added termlistAddNew function to mimic set behaviour.		2004-07-25 18:14:21 +00:00
..
attackminimize.c	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
attackminimize.h	- Made all references to system explicit const references.	2004-07-20 12:41:56 +00:00
attacktemplate.tex	- Template cleanup for latex.	2004-05-21 12:32:57 +00:00
cetest-cm.sh	- Fixed some changed paths.	2004-04-23 12:59:25 +00:00
cetest.sh	- Fixed some changed paths.	2004-04-23 12:59:25 +00:00
claim.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
claim.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
compiler.c	- Improved some minor stuff regarding synchronisation checking and	2004-07-25 15:30:58 +00:00
compiler.h	- Made all references to system explicit const references.	2004-07-20 12:41:56 +00:00
constraint.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
constraint.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
debug.c	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
debug.h	- Made all references to system explicit const references.	2004-07-20 12:41:56 +00:00
debuglevels.txt	- Moved everything about.	2004-04-23 10:58:43 +00:00
design.txt	- Moved everything about.	2004-04-23 10:58:43 +00:00
doxyconfig	- Some modified options. Doxygen is not working currently, I don't know why.	2004-07-19 14:01:43 +00:00
error.c	- Static run symmetry detection seems to work just fine.	2004-07-14 07:31:01 +00:00
error.h	- Static run symmetry detection seems to work just fine.	2004-07-14 07:31:01 +00:00
knowledge.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
knowledge.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
language.txt	- Moved everything about.	2004-04-23 10:58:43 +00:00
latex.c	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
latex.h	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
license.txt	- Moved everything about.	2004-04-23 10:58:43 +00:00
main.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
Makefile-fallback	- Added the fallback Makefile. This works fine, and I can test with the	2004-05-21 14:18:35 +00:00
match_basic.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
match_basic.h	- Moved everything about.	2004-04-23 10:58:43 +00:00
match_clp.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
match_clp.h	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
memory.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
memory.h	- Moved everything about.	2004-04-23 10:58:43 +00:00
mgu.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
mgu.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
modelchecker.c	- Improved some minor stuff regarding synchronisation checking and	2004-07-25 15:30:58 +00:00
modelchecker.h	- Added preliminary support for state space printing using the dot	2004-07-12 13:58:41 +00:00
notes.txt	- Moved everything about.	2004-04-23 10:58:43 +00:00
output.c	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
output.h	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
parser.y	- Modified error reporting setup.	2004-06-13 21:42:29 +00:00
pheading.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
releases.txt	- Moved everything about.	2004-04-23 10:58:43 +00:00
report.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
report.h	- Made all references to system explicit const references.	2004-07-20 12:41:56 +00:00
role.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
role.h	- Amazingly, I think I implemented ni-synch partial order reduction. It	2004-07-24 20:30:00 +00:00
sbke	- Useful shortcut script for all this bke testing.	2004-07-19 09:25:40 +00:00
scanner.l	- The yywrap solution was wrong; it should return 1. Fixed now.	2004-07-17 19:52:07 +00:00
scytherat	- Added attack script.	2004-07-21 14:26:28 +00:00
scytherprof	- Added some code optimizations after using gprof.	2004-07-20 08:51:23 +00:00
scytherss	- Added state space display script.	2004-07-19 08:55:23 +00:00
speedtest	- Fixed speedtest output.	2004-06-13 21:41:52 +00:00
states.c	- Much work on the new states counter abstractions.	2004-07-21 10:35:39 +00:00
states.h	- Much work on the new states counter abstractions.	2004-07-21 10:35:39 +00:00
substitution.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
substitution.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
symbol.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
symbol.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
system.c	- Amazingly, I think I implemented ni-synch partial order reduction. It	2004-07-24 20:30:00 +00:00
system.h	- Amazingly, I think I implemented ni-synch partial order reduction. It	2004-07-24 20:30:00 +00:00
tac.c	- Made union in TAC more ANSI compliant (and thus suitable for the sun)	2004-05-26 08:26:40 +00:00
tac.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
term.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
term.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
termlist.c	- Added termlistAddNew function to mimic set behaviour.	2004-07-25 18:14:21 +00:00
termlist.h	- Added termlistAddNew function to mimic set behaviour.	2004-07-25 18:14:21 +00:00
termmap.c	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
termmap.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
todo.txt	- Added reminder of this strange behaviour to todo.txt.	2004-07-21 14:06:03 +00:00
tracebuf.c	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
tracebuf.h	- Renamed nearly all files. Now, we try to use singular terms.	2004-07-24 19:07:29 +00:00
varbuf.c	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00
varbuf.h	- Renamed runs.[c|h] to system.[c|h], which makes much more sense.	2004-07-24 15:08:35 +00:00