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
