ccremers ac87af60c1 - More improvements. Current drawbacks: Intruder choice still not clear.

2006-03-20 09:54:45 +00:00

..

arachne.c

- Fixed --disable-intruder: it now also uses no tupling shortcuts.

2006-03-19 12:59:26 +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

- Fixed --disable-intruder: it now also uses no tupling shortcuts.

2006-03-19 12:59:26 +00:00

binding.h

- Added iterators.

2006-03-10 14:48:40 +00:00

bugs.txt

- Out of the wiki, back into the source.

2005-02-25 14:54:28 +00:00

claim.c

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +00:00

claim.h

- [[[ Broken commit. ]]]

2006-02-27 16:08:17 +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

- Bug report: this should be fixed.

2006-03-15 08:33:09 +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

Major:

2006-03-15 21:30:19 +00:00

cost.h

- Some reindentation. Nothing interesting, just syntax.

2006-01-02 16:07:56 +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

depend.c

- Improved dot class output.

2006-03-08 15:12:58 +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

- More improvements. Current drawbacks: Intruder choice still not clear.

2006-03-20 09:54:45 +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

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +00:00

error.h

- Huge code documentation effort.

2006-01-02 21:06:08 +00:00

heuristic.c

- [[[ Broken commit ]]]

2006-02-26 15:00:58 +00:00

heuristic.h

- More refactoring for Arachne. Slowly we're getting somewhere.

2006-01-02 19:19:23 +00:00

hidelevel.c

- Bug report: this should be fixed.

2006-03-15 08:33:09 +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

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

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +00:00

label.h

- Re-indented the files.

2004-11-16 12:07:55 +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

- Added a new warshall. Compare with previous version at home.

2004-08-16 09:50:37 +00:00

list.h

- Huge code documentation effort.

2006-01-02 21:06:08 +00:00

main-switches.c

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +00:00

main.c

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +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

- Fixed --disable-intruder: it now also uses no tupling shortcuts.

2006-03-19 12:59:26 +00:00

mgu.h

- [[[ Broken commit. ]]]

2006-02-27 16:08:17 +00:00

notes.txt

- Revised dot output.

2006-03-14 11:37:28 +00:00

parser.y

- Added some tokens for future usage: 'function', 'hashfunction',

2006-01-09 09:38:17 +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

- Code cleanup for intruder count.

2006-03-10 14:52:45 +00:00

prune_bounds.h

- Refactoring code: splitting stuff out of arachne.c

2006-01-02 18:43:25 +00:00

prune_theorems.c

Major:

2006-03-15 21:30:19 +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

- Improved dot class output.

2006-03-08 15:12:58 +00:00

role.h

- Improved dot class output.

2006-03-08 15:12:58 +00:00

scanner.l

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +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

substitution.c

- Re-indented the files.

2004-11-16 12:07:55 +00:00

substitution.h

- Huge code documentation effort.

2006-01-02 21:06:08 +00:00

switches.c

- In the light of recent discoveries on Athena method, I reinstated the

2006-03-20 08:47:12 +00:00

switches.h

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +00:00

symbol.c

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +00:00

symbol.h

- Huge code documentation effort.

2006-01-02 21:06:08 +00:00

system.c

Major:

2006-03-15 21:30:19 +00:00

system.h

Major:

2006-03-15 21:30:19 +00:00

tac.c

Major:

2006-03-15 21:30:19 +00:00

tac.h

- Huge code documentation effort.

2006-01-02 21:06:08 +00:00

term.c

Major:

2006-03-15 21:30:19 +00:00

term.h

Major:

2006-03-15 21:30:19 +00:00

termlist.c

- From this version onwards, Scyther no longer supports the modelchecker

2006-03-08 13:58:46 +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

- [Syntactical changes only]

2005-06-02 09:40:05 +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

- [[[ Broken commit ]]]

2006-02-26 15:00:58 +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

- In xml output, renamed 'attack' tag to 'state', which in general

2005-12-30 12:17:25 +00:00

xmlout.h

- Added xml output switch (-x, check scyther --help). It's not complete

2005-05-01 13:32:50 +00:00