scyther/src
2006-08-11 08:55:17 +00:00
..
arachne.c - Minor refactoring. 2006-08-08 14:50:28 +00:00
arachne.h - Cleanup of unused structure. 2006-01-03 11:34:48 +00:00
attacktemplate.tex - Template cleanup for latex. 2004-05-21 12:32:57 +00:00
binding.c - Term identifiers can now contain primes (SM) 2006-04-25 13:58:14 +00:00
binding.h - Revised cost heuristic. Trace length is no longer the real 2006-04-02 12:29:02 +00:00
bugs.txt - Out of the wiki, back into the source. 2005-02-25 14:54:28 +00:00
claim.c - Added encapsulated dot output and claim reporting to the XML output. 2006-08-01 07:31:40 +00:00
claim.h - Claim reporting moved into claim.c 2006-08-01 05:58:02 +00:00
color.c - Huge code documentation effort. 2006-01-02 21:06:08 +00:00
color.h - Added color output but forgot to add the sources files, fixed. 2005-12-29 11:03:18 +00:00
compiler.c - Better filter. 2006-08-08 13:00:16 +00:00
compiler.h - Moved special terms into their own (very) special file. 2005-06-16 14:10:07 +00:00
copy2ecss.sh - Added script to copy the latest Scyther version to the ecss 2005-12-30 15:54:32 +00:00
cost.c - Changed my mind. 2006-07-06 15:54:14 +00:00
cost.h - Some reindentation. Nothing interesting, just syntax. 2006-01-02 16:07:56 +00:00
debug.c - Some work towards moving stderror output for non-linux things out of 2006-08-02 10:29:40 +00:00
debug.h - Made all references to system explicit const references. 2004-07-20 12:41:56 +00:00
depend.c - "--clusters" output is quite advanced, but still dot makes a bit of a 2006-05-26 11:27:05 +00:00
depend.h - Improved dot class output. 2006-03-08 15:12:58 +00:00
design.txt - Moved everything about. 2004-04-23 10:58:43 +00:00
dotout.c - Removed font settings from dot output, let somebody else worry about that 2006-08-10 12:36:11 +00:00
dotout.h - Moved dot output (finally) into a separate file, and made some minor 2005-12-27 11:50:46 +00:00
error.c - Using stderr or not is now a macro in error.h 2006-08-06 18:01:23 +00:00
error.h - Using stderr or not is now a macro in error.h 2006-08-06 18:01:23 +00:00
heuristic.c - Improved heuristics. Default is now 162 (but 99 performs equally well) 2006-06-29 07:49:23 +00:00
heuristic.h - More refactoring for Arachne. Slowly we're getting somewhere. 2006-01-02 19:19:23 +00:00
hidelevel.c - Added well-formedness checks. This will only be enabled if a role uses 2006-07-31 11:08:51 +00:00
hidelevel.h - Added new heuristics based on hidelevel results. 2006-02-22 15:48:58 +00:00
hidelevel.txt - Much work for the skeleton of the Hidelevel lemma. 2006-02-21 20:29:05 +00:00
intruderknowledge.c - Additional --check output should go to stderror. 2006-07-31 11:31:52 +00:00
intruderknowledge.h - Added well-formedness checks. This will only be enabled if a role uses 2006-07-31 11:08:51 +00:00
knowledge.c - From this version onwards, Scyther no longer supports the modelchecker 2006-03-08 13:58:46 +00:00
knowledge.h - Huge code documentation effort. 2006-01-02 21:06:08 +00:00
label.c - Term identifiers can now contain primes (SM) 2006-04-25 13:58:14 +00:00
label.h - Term identifiers can now contain primes (SM) 2006-04-25 13:58:14 +00:00
language.txt - Moved everything about. 2004-04-23 10:58:43 +00:00
license.txt - Some consistency fixes after removing argtable2 dependency. 2005-04-10 15:36:41 +00:00
list.c - Some fixes to compile under Cygwin 2006-08-01 09:13:55 +00:00
list.h - Huge code documentation effort. 2006-01-02 21:06:08 +00:00
main.c - Some work towards moving stderror output for non-linux things out of 2006-08-02 10:29:40 +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
mgu.c - Some misc fixes. 2006-08-02 09:46:57 +00:00
mgu.h - Fully removed substitutions.h artefacts. 2006-08-02 09:50:21 +00:00
notes.txt - Discovered ugly bit in de-class code, which causes what seem to be 2006-03-31 10:12:58 +00:00
obsolete-switches.txt - Moved switches old definitions to text file (to avoid confusion with 2006-08-02 09:41:39 +00:00
parser.c - Added scanner/parser stuff (for windows) 2006-08-02 09:38:28 +00:00
parser.h - Added scanner/parser stuff (for windows) 2006-08-02 09:38:28 +00:00
parser.y - Added functional 'knows' keyword. 2006-07-27 10:44:12 +00:00
pheading.h - Renamed nearly all files. Now, we try to use singular terms. 2004-07-24 19:07:29 +00:00
problem.spdl - Bug report: this should be fixed. 2006-03-15 08:33:09 +00:00
prune_bounds.c - Added support for different attack heuristics. Disable with --prune=2. 2006-07-06 15:52:13 +00:00
prune_bounds.h - Refactoring code: splitting stuff out of arachne.c 2006-01-02 18:43:25 +00:00
prune_theorems.c - Fixed some comments. 2006-06-12 14:48:57 +00:00
prune_theorems.h - Refactoring code: splitting stuff out of arachne.c 2006-01-02 18:43:25 +00:00
reindent.sh - Reindent script was improved (and consequences added) 2006-02-21 21:35:14 +00:00
releases.txt - Moved everything about. 2004-04-23 10:58:43 +00:00
role.c - Misc fixes, some reporting with --check. 2006-07-31 11:30:08 +00:00
role.h - Added well-formedness checks. This will only be enabled if a role uses 2006-07-31 11:08:51 +00:00
scanner.c - Some work towards moving stderror output for non-linux things out of 2006-08-02 10:29:40 +00:00
scanner.l - Some work towards moving stderror output for non-linux things out of 2006-08-02 10:29:40 +00:00
Scyther.dev - Moving files means the dev file needs updating. 2006-08-11 08:55:17 +00:00
scytherprof - Added some code optimizations after using gprof. 2004-07-20 08:51:23 +00:00
specialterm.c - Removed some too interesting pruning methods that really need theorems 2006-01-17 16:18:26 +00:00
specialterm.h - Removed some too interesting pruning methods that really need theorems 2006-01-17 16:18:26 +00:00
states.c - Print states in a more countable format. 2006-02-27 15:20:37 +00:00
states.h - Reindented everything, so the layout is up to date again. 2004-08-09 10:05:58 +00:00
switches.c - Better filter. 2006-08-08 13:00:16 +00:00
switches.h - Implemented --claim=ns3,I switch to filter certain claims. 2006-08-08 12:30:29 +00:00
symbol.c - Fixed bug in stderror enable/disable code. 2006-08-07 10:52:17 +00:00
symbol.h - Huge code documentation effort. 2006-01-02 21:06:08 +00:00
system.c - Added well-formedness checks. This will only be enabled if a role uses 2006-07-31 11:08:51 +00:00
system.h - Added well-formedness checks. This will only be enabled if a role uses 2006-07-31 11:08:51 +00:00
tac.c Major: 2006-03-15 21:30:19 +00:00
tac.h - Added functional 'knows' keyword. 2006-07-27 10:44:12 +00:00
term.c - Restricted the syntax somewhat, to avoid people typing crap. 2006-05-16 15:00:21 +00:00
term.h Major: 2006-03-15 21:30:19 +00:00
termlist.c - Fixed a bug in output overwrite for de-class code. 2006-03-31 12:24:32 +00:00
termlist.h Major: 2006-03-15 21:30:19 +00:00
termmap.c - From this version onwards, Scyther no longer supports the modelchecker 2006-03-08 13:58:46 +00:00
termmap.h - Renamed nearly all files. Now, we try to use singular terms. 2004-07-24 19:07:29 +00:00
timer.c - More non-linux compatibility stuff. 2006-08-02 09:32:29 +00:00
timer.h - Added a --timer=x switch to abort Arachne proofs after x seconds. 2005-01-05 15:29:27 +00:00
todo.txt - Better filter. 2006-08-08 13:00:16 +00:00
type.c - More refactoring to improve the code. 2006-01-02 20:18:47 +00:00
type.h - More refactoring to improve the code. 2006-01-02 20:18:47 +00:00
warshall.c - [[[ Broken commit ]]] 2006-02-26 15:00:58 +00:00
warshall.h - [[[ Broken commit ]]] 2006-02-26 15:00:58 +00:00
xmlout.c - Updated syntax for claim xml output. 2006-08-01 11:20:53 +00:00
xmlout.h - Added encapsulated dot output and claim reporting to the XML output. 2006-08-01 07:31:40 +00:00