ccremers
eb7f14c891
- Fixed scanner problem (I forgot the interaction between flex and bison)
2007-01-09 15:22:34 +00:00
ccremers
89c3a20acf
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
ccremers
f00392ac3e
- Added functional 'knows' keyword.
2006-07-27 10:44:12 +00:00
ccremers
6a74883adf
- Restricted the syntax somewhat, to avoid people typing crap.
...
(Cf. Golsteijn)
2006-05-16 15:00:21 +00:00
ccremers
baf1856943
- Added some tokens for future usage: 'function', 'hashfunction',
...
'knows', 'trusted'.
2006-01-09 09:38:17 +00:00
ccremers
e21627442a
- Added 'singular' directive for roles. Syntax:
...
protocol ns3 (I,R)
{
singular role I:
{
}
}
2006-01-02 16:05:53 +00:00
ccremers
0505aaacd6
- New claim: CLAIM_Reachable
...
- Added new switches:
-G,--generate-statespace
-C,--generate-claims
- Claims are now allowed to have no label (they will be generated
automatically)
- Output summary shows parameter of claims
- Internally, new symbols can now be generated by
symbolNextFree(prefixsymbol)
2005-12-28 11:50:17 +00:00
ccremers
f206d4258f
- Events now always require a label.
2005-04-29 13:25:43 +00:00
ccremers
1c345c4955
- Modified error reporting setup.
...
- Updated some of the error reporting code, but not all.
2004-06-13 21:42:29 +00:00
ccremers
2cae2d2a08
- Made union in TAC more ANSI compliant (and thus suitable for the sun)
2004-05-26 08:26:40 +00:00
ccremers
ef32b1e0e5
- This version seems to compile.
2004-05-21 17:52:06 +00:00
ccremers
0f4e6a5aba
- Moved everything about.
2004-04-23 10:58:43 +00:00
