Cas Cremers
d06247fcfe
Updating time stamps for next release.
2013-10-05 23:56:12 +01:00
Cas Cremers
1cbe9826ac
Updated dates.
2012-04-24 13:56:51 +02:00
Cas Cremers
739f59174f
Removed unused functions.
2008-08-21 16:58:12 +02:00
Cas Cremers
7d584cca1e
Added GPL 2 License to the C sources.
...
A first step towards releasing Scyther completely to the public.
2007-06-11 14:01:04 +02:00
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
ccremers
b2e40e07f3
- Some more work on hidelevel backbone.
...
- Added '--count-states' switch for the Arachne engine.
2006-02-22 08:24:29 +00:00
ccremers
d3f2971181
- Reindent script was improved (and consequences added)
2006-02-21 21:35:14 +00:00
ccremers
5d2d836d07
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
