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
|
506e42f841
|
- Re-indented the files.
|
2004-11-16 12:07:55 +00:00 |
|
ccremers
|
3b4b367a4a
|
- Minor correction. Probably redundant for a good compiler ;)
|
2004-09-20 17:41:53 +00:00 |
|
ccremers
|
8f441ac913
|
- Fixed some minor issues.
- Fixed type flaw in labellist type.
|
2004-08-30 20:08:11 +00:00 |
|
ccremers
|
d8e0e93bcf
|
- Fixed a condition check in termlistAddNew.
- Roles are now computed from prec for each claim.
|
2004-08-27 12:36:23 +00:00 |
|
ccremers
|
542044e36f
|
- Added preliminary labellist support to the system.
|
2004-08-27 11:52:43 +00:00 |
|