Cas Cremers
8a2ae84f35
Added incompleteness marker for the untyped variables and MGDU set problem.
2007-09-17 16:54:17 +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
Cas Cremers
1542d65def
- Big catchup commit to make sure we are up to beta7.
...
This includes a number of single patches, ranging from the vista fix with the buffers, to the start of many new minor features.
2007-05-18 14:06:29 +02:00
ccremers
9882651f4a
- Fixed role comparison bug.
2007-02-01 12:18:38 +00:00
ccremers
9ca722e3cc
- Added automatic checking of label correspondence. This will break [BREAK ALERT] some protocol files, e.g. those with weird roles. Fix them by prefixing the bang 'make' for ignoring labels.
2007-01-29 13:15:35 +00:00
ccremers
0fddd9f566
- Some fixes after pedantic tests. What remains: (a) C++ style comments (//) and (b) nested functions.
2007-01-06 18:01:36 +00:00
ccremers
82869fb583
- Some misc fixes.
2006-08-02 09:46:57 +00:00
ccremers
881eccd6be
- Fixed --disable-intruder: it now also uses no tupling shortcuts.
2006-03-19 12:59:26 +00:00
ccremers
2b9246bb64
- Bug report: this should be fixed.
2006-03-15 08:33:09 +00:00
ccremers
5487d3ae90
- From this version onwards, Scyther no longer supports the modelchecker
...
method. A big cleanup has been started, but is not finished yet, so
minor artefacts might still remain. These are to be cleaned up later.
2006-03-08 13:58:46 +00:00
ccremers
b49d13b6ee
- [[[ Broken commit. ]]]
...
Stuff seems to be working again, slightly less efficient though (count
states).
2006-02-27 16:08:17 +00:00
ccremers
c22173e5ee
- [[[ Broken commit ]]]
...
More work on the arachne multiple-decryptor. Horrific.
2006-02-26 20:01:22 +00:00
ccremers
95df010a54
- [[[ Broken commit ]]]
...
More intermediate work.
2006-02-26 17:18:59 +00:00
ccremers
0ce88af6ac
- [[[ Broken commit ]]]
...
Committing partial new Warshall work because it is getting too big.
2006-02-26 15:00:58 +00:00
ccremers
2ead7ab2ff
- Improved code for new preferred order swapping of substitutions. Also
...
included more comments.
2005-10-08 20:22:24 +00:00
ccremers
ea5bc6893f
- Slightly smarter substitution in the symmetric case, when we make Var1
...
equivalent to Var2.
2005-10-07 20:38:41 +00:00
ccremers
b6e9841c0f
- Moved special terms into their own (very) special file.
2005-06-16 14:10:07 +00:00
ccremers
1bdaf7b5d9
- Large rewrite of switch code. Instead of having switch parameters in
...
the (monstrously large) system structure, there is now a global
'switchdata' structure originating in switches.c. This makes it much
easier to see what's happening.
* Note: although this code has been tested, there might be some
hiccups, because doing multiple search&replace actions over all
files is bound to cause some problems.
2005-06-07 15:02:27 +00:00
ccremers
4a42604cb6
- Added Ticket basic term type. Note that this only has consequences for
...
the Arachne type checking. The net result is that a variable of type
'Ticket' can always contain any term, even with -m0 or -m1 matching.
2005-06-02 12:14:28 +00:00
ccremers
f22ce0dcb9
- Big change in the Arachne algorithm: decryptor sequences now get
...
expanded explicitly. This solves a long-standing issue with {k}k
decryption to yield k. Needs some testing to ensure that it did not
introduce any new errors.
2005-05-17 18:45:01 +00:00
ccremers
820c2caed8
- Revisited type matching conditions.
...
- Introduced tuple unfolding stuff for Arachne. -m2 should work now.
2005-01-14 18:18:40 +00:00
ccremers
506e42f841
- Re-indented the files.
2004-11-16 12:07:55 +00:00
ccremers
a38925c9c2
- Added some useful macros to term.h to address subparts (e.g.
...
TermOp1(t)). Renamed all uses.
2004-11-16 12:06:36 +00:00
ccremers
b04bc86185
- Some minor cleanups.
2004-08-30 21:49:51 +00:00
ccremers
98bff1e5e2
- Solved the TERM_Hidden issue for the keys in termMguSubTerm. Yields
...
cleaner behaviour for MguSubterm.
2004-08-20 15:09:49 +00:00
ccremers
35c55c9483
- Fixed a bug for NULL case in interm/subterm.
...
- Fixed a bug where the mgu termlist was never deleted in
interm/subterm.
2004-08-19 13:55:16 +00:00
ccremers
bb78c71c90
- Introduced termInTerm (bigterm, smallterm)
2004-08-17 14:11:25 +00:00
ccremers
05ee3f7f0a
- Added a new warshall. Compare with previous version at home.
...
- Rewrote the bind_to_*_run functions.
2004-08-16 09:50:37 +00:00
ccremers
ca2eeb7235
- Implemented better matching.
...
- Pruning for untrusted agent lists in the claim run as well.
- Sloppy M_0 implementation; needs to be fixed.
2004-08-15 16:44:54 +00:00
ccremers
c3d5123ab0
- Matching is now typed.
2004-08-15 16:08:53 +00:00
ccremers
18415c95a2
- Fixed bug in run forcing.
2004-08-14 18:38:43 +00:00
ccremers
b6598ea8f4
- Fixed a bug in subst reporting, when substitutions are compund terms.
2004-08-14 18:08:59 +00:00
ccremers
e3d16947ee
- Output cleanup.
2004-08-14 13:17:37 +00:00
ccremers
fe16785982
- Fixed error in error reporting :-\
...
- Added intruder construction nodes.
- Several cleanups.
2004-08-13 20:09:12 +00:00
ccremers
a3828a028f
- Fixed the very annoying bug! The problem was in roleInstance for
...
Arachne. When a subst was carried out by an Rolename->compoundTerm
substitution, the compound term was not duplicated, and this caused
problems at roledef destruction.
2004-08-13 14:35:22 +00:00
ccremers
ff224fee8a
- Some cleanup.
...
- Added iteration limit, just enough to show the error.
2004-08-13 13:25:25 +00:00
ccremers
eb55dbe35d
- Fixed another '&' error.
2004-08-13 12:14:58 +00:00
ccremers
54d857ca3c
- Fixed a bug in mgu.c (& instead of &&)
...
- scons shared=yes is now okay for Valgrind.
2004-08-13 10:50:56 +00:00
ccremers
2191d80885
- Lots of stuff starts to take shape. Nice.
2004-08-11 14:09:12 +00:00
ccremers
028c3a03f2
- Bugfix.
2004-08-10 11:26:14 +00:00
ccremers
246c0c1c23
- Added termMguSubTerm and termMguInTerm
2004-08-09 21:22:24 +00:00
ccremers
60b02eea0e
- Renamed nearly all files. Now, we try to use singular terms.
...
Exception: states.h is the plural form.
2004-07-24 19:07:29 +00:00
ccremers
4d90395d7e
- Fixed the term union issue for portability.
2004-05-26 08:40:33 +00:00
ccremers
080d19a840
- Even more documentation.
2004-05-15 16:43:20 +00:00
ccremers
0f4e6a5aba
- Moved everything about.
2004-04-23 10:58:43 +00:00