Cas Cremers
|
2fb0ecde97
|
NEW: Added Aliveness and Weak Agreement claims.
|
2011-01-04 15:50:25 +01:00 |
|
Cas Cremers
|
6afcfe1d10
|
NEW: Added SID & SKR dummy claims.
This allows for input file reuse among branches (i.e. compromise).
|
2011-01-04 15:50:25 +01: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
|
eaa6ef1345
|
- Added feature for multi-party protocols (weaker precondition on Reachable)
|
2007-01-16 17:22:51 +00:00 |
|
ccremers
|
89c3a20acf
|
- Many cleanups to make -Wall happy. Next up is pedantic...
|
2007-01-06 14:45:29 +00:00 |
|
ccremers
|
b5470aa894
|
- Fixed some stupid maxAttacks handling. Note that it still needs to
improve (todo list).
|
2006-08-15 08:16:02 +00:00 |
|
ccremers
|
5e10206df1
|
- Added encapsulated dot output and claim reporting to the XML output.
|
2006-08-01 07:31:40 +00:00 |
|
ccremers
|
9a98e66671
|
- Claim status is now reported after each claim.
|
2006-08-01 06:10:12 +00:00 |
|
ccremers
|
ff87bf180f
|
- Claim reporting moved into claim.c
|
2006-08-01 05:58:02 +00:00 |
|
ccremers
|
6dff931dbc
|
- Term identifiers can now contain primes (SM)
- If labels start with a bang (!), they are ignored in synch/agree
claims.
|
2006-04-25 13:58:14 +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
|
0ce88af6ac
|
- [[[ Broken commit ]]]
Committing partial new Warshall work because it is getting too big.
|
2006-02-26 15:00:58 +00:00 |
|
ccremers
|
da75862d82
|
- Huge code documentation effort.
|
2006-01-02 21:06:08 +00:00 |
|
ccremers
|
6676266f4a
|
- More refactoring to improve the code.
|
2006-01-02 20:18:47 +00:00 |
|
ccremers
|
e6505a72a3
|
- Further refactoring.
- Some cleanup.
|
2006-01-02 19:55:34 +00:00 |
|
ccremers
|
cee11bc0af
|
- Extra checks:
* For incomplete protocols, better handling of dangling labels.
* For termSubTerm better handling of NULL cases.
|
2005-08-11 12:56:36 +00:00 |
|
ccremers
|
cd2ef14e4e
|
- [Syntactical changes only]
Fixed the indentation of some files.
|
2005-06-02 09:40:05 +00:00 |
|
ccremers
|
38f6f42351
|
- Fail increases of claims moved to violateClaim; thus, other references
were in fact redundant.
|
2005-04-27 13:48:00 +00:00 |
|
ccremers
|
8e1041b567
|
- Minor output fixes.
|
2005-04-21 12:04:45 +00:00 |
|
ccremers
|
4f534410bd
|
- Implemented ordering checks. Need some test to validate this though.
|
2004-08-27 19:06:15 +00:00 |
|
ccremers
|
21b2c27320
|
- Niagree claim seems to be working fine now.
|
2004-08-27 17:25:38 +00:00 |
|
ccremers
|
68bbdc2794
|
- Added interfaces for the more interesting Arachne claim checks.
|
2004-08-27 14:48:58 +00:00 |
|
ccremers
|
fd3769d683
|
- Agreement test for Archne implemented (untested).
|
2004-08-27 14:41:06 +00:00 |
|
ccremers
|
4009ca86ed
|
- Added some sanity checks for read/send/claim role parameters.
- The cl->roles are now distance-ordered. This, the first role is at
distance 0, etc. This is useful for checking e.g. synchronisation.
|
2004-08-27 13:40:46 +00:00 |
|
ccremers
|
542044e36f
|
- Added preliminary labellist support to the system.
|
2004-08-27 11:52:43 +00:00 |
|
ccremers
|
71c658051e
|
- Reindented everything, so the layout is up to date again.
|
2004-08-09 10:05:58 +00:00 |
|
ccremers
|
17c6fe5136
|
- Fixed some more printf usages, that should now be handled by eprintf.
|
2004-07-29 12:47:57 +00:00 |
|
ccremers
|
289f71846b
|
- Improved graph output for printing purposes.
|
2004-07-26 12:43:19 +00:00 |
|
ccremers
|
3ddedb6f7f
|
- Totally untested. Otherwise, niagree should work ;)
|
2004-07-25 18:24:50 +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 |
|