sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
41e797413cf0399359c7d532cb3fea1d17f35ce6
scyther/src
History
ccremers 41e797413c - Added new heuristics based on hidelevel results. 
Preliminary results:
  1. For typed matching, either heuristic 32 or 34 are best, and far
  superior to the previous best (3).
  2. For untyped matching, partial tests indicate that heuristic 1 is
  best, which is rather interesting.
2006-02-22 15:48:58 +00:00
..
arachne.c
- experimental=4 now disables some things. Weirdly enough, they don't
2006-02-22 09:53:50 +00:00
arachne.h
- Cleanup of unused structure.
2006-01-03 11:34:48 +00:00
attackminimize.c
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +00:00
attackminimize.h
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +00:00
attacktemplate.tex
- Template cleanup for latex.
2004-05-21 12:32:57 +00:00
binding.c
- Better setup for --experimental= switch using bit masks.
2006-02-22 08:55:42 +00:00
binding.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
bugs.txt
- Out of the wiki, back into the source.
2005-02-25 14:54:28 +00:00
claim.c
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
claim.h
- More refactoring to improve the code.
2006-01-02 20:18:47 +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
- Some more work on hidelevel backbone.
2006-02-22 08:24:29 +00:00
compiler.h
- Moved special terms into their own (very) special file.
2005-06-16 14:10:07 +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
copy2ecss.sh
- Added script to copy the latest Scyther version to the ecss
2005-12-30 15:54:32 +00:00
cost.c
- Huge code documentation effort.
2006-01-02 21:06:08 +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
design.txt
- Moved everything about.
2004-04-23 10:58:43 +00:00
dotout.c
- More refactoring to improve the code.
2006-01-02 20:18:47 +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
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
error.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
heuristic.c
- Added new heuristics based on hidelevel results.
2006-02-22 15:48:58 +00:00
heuristic.h
- More refactoring for Arachne. Slowly we're getting somewhere.
2006-01-02 19:19:23 +00:00
hidelevel.c
- Added new heuristics based on hidelevel results.
2006-02-22 15:48:58 +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
- Re-indented the files.
2004-11-16 12:07:55 +00:00
knowledge.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
label.c
- Re-indented the files.
2004-11-16 12:07:55 +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
latex.c
- Moved special terms into their own (very) special file.
2005-06-16 14:10:07 +00:00
latex.h
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +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
- Moved special terms into their own (very) special file.
2005-06-16 14:10:07 +00:00
main.c
- Some more work on hidelevel backbone.
2006-02-22 08:24: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
- Large rewrite of switch code. Instead of having switch parameters in
2005-06-07 15:02:27 +00:00
match_basic.h
- Moved everything about.
2004-04-23 10:58:43 +00:00
match_clp.c
- Large rewrite of switch code. Instead of having switch parameters in
2005-06-07 15:02:27 +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
- Fixed some errors. No more memory leaks.
2004-12-09 13:23:26 +00:00
mgu.c
- Improved code for new preferred order swapping of substitutions. Also
2005-10-08 20:22:24 +00:00
mgu.h
- Added Ticket basic term type. Note that this only has consequences for
2005-06-02 12:14:28 +00:00
modelchecker.c
- --max-attacks=AnyGijsNumber.
2005-08-15 12:49:32 +00:00
modelchecker.h
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +00:00
notes.txt
- Added a note.
2005-12-09 13:15:34 +00:00
output.c
- Minor stuff.
2006-01-03 11:34:27 +00:00
output.h
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +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
prune_bounds.c
- experimental=4 now disables some things. Weirdly enough, they don't
2006-02-22 09:53:50 +00:00
prune_bounds.h
- Refactoring code: splitting stuff out of arachne.c
2006-01-02 18:43:25 +00:00
prune_theorems.c
- experimental=4 now disables some things. Weirdly enough, they don't
2006-02-22 09:53:50 +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
report.c
- Large rewrite of switch code. Instead of having switch parameters in
2005-06-07 15:02:27 +00:00
report.h
- Made all references to system explicit const references.
2004-07-20 12:41:56 +00:00
role.c
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
role.h
- Some more work on hidelevel backbone.
2006-02-22 08:24:29 +00:00
scanner.l
- Added some tokens for future usage: 'function', 'hashfunction',
2006-01-09 09:38: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
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +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
- Added new heuristics based on hidelevel results.
2006-02-22 15:48:58 +00:00
switches.h
- Added --long-help and -E, --expert switches.
2006-02-22 08:41:06 +00:00
symbol.c
- Further refactoring.
2006-01-02 19:55:34 +00:00
symbol.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
system.c
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
system.h
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
tac.c
- Added more fine-grained control for the associativity of tupling:
2005-08-12 12:59:25 +00:00
tac.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
term.c
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
term.h
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
termlist.c
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
termlist.h
- Added '--concrete' switch to fill in to pick readable names for
2005-11-12 21:13:00 +00:00
termmap.c
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +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
- Added an idea.
2006-01-17 12:30:16 +00:00
tracebuf.c
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +00:00
tracebuf.h
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05: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
varbuf.c
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +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
warshall.c
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
warshall.h
- Added rank calculation and output. If the subgraphs are removed, this
2004-10-25 14:28:53 +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