ccremers
4d7b744e1b
- Discovered ugly bit in de-class code, which causes what seem to be
...
errors with --extravert: even if Alice is already occurring in the
system, the name can be used.
- Added explicit level 2 encryption bound. This is technically
incorrect, but for now it should work.
2006-03-31 10:12:58 +00:00
ccremers
cb440700e3
- Added --unique responder/initiator switches, which are both implied by
...
--extravert.
2006-03-31 08:24:41 +00:00
ccremers
5fe55d35cf
- Code refactoring.
2006-03-28 14:45:02 +00:00
ccremers
b224344b59
- Bugfixed --extravert.
2006-03-28 14:24:46 +00:00
ccremers
1ce03104c5
Major:
...
- Added rho/sigma/constants fields to the runs, on which the new code is
based. Over time, .locals should be deprecated in favour of these
better variants.
- Untyped variant is out of grace for the time being (cf. Athena interm
problems)
- Improved graph output further.
Minor:
- Added TERMLISTADD and APPEND macros for more concise code.
2006-03-15 21:30:19 +00:00
ccremers
2b9246bb64
- Bug report: this should be fixed.
2006-03-15 08:33:09 +00:00
ccremers
2830c8e8ff
- Fixed some Doxygen documentation errors.
2006-03-08 12:38:39 +00:00
ccremers
527bf8baa5
- Better error reporting for local order constraints.
2006-02-28 15:33:12 +00:00
ccremers
a4429d548f
- Turned 'hidden' term lemma back on by default.
2006-02-28 13:57:38 +00:00
ccremers
00616e45ed
- Bit masking was incorrect: & binds less strong than == !
...
This caused many of the --experimental switches not to work.
2006-02-28 13:41:36 +00:00
ccremers
cf832ca1b1
- Seems to work again, but further testing is needed.
2006-02-27 22:27:09 +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
921c82876d
- experimental=4 now disables some things. Weirdly enough, they don't
...
seem to make much difference.
2006-02-22 09:53:50 +00:00
ccremers
dbc0a3583d
- Better setup for --experimental= switch using bit masks.
2006-02-22 08:55:42 +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
bb7259a1ad
- Removed some too interesting pruning methods that really need theorems
...
first. Revealed by the certified e-mail protocol by Abadi and
Blanchet.
2006-01-17 16:18:26 +00:00
ccremers
6676266f4a
- More refactoring to improve the code.
2006-01-02 20:18:47 +00:00
ccremers
e592a0a432
- Refactoring code: splitting stuff out of arachne.c
2006-01-02 18:43:25 +00:00
