6 Commits

Author	SHA1	Message	Date
ccremers	89c3a20acf	- Many cleanups to make -Wall happy. Next up is pedantic...	2007-01-06 14:45: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	bceaca28f0	- Improved some type of warnings for e.g. empty prec sets andsoforth.	2005-12-28 14:25:06 +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	76666404b0	- Added '--concrete' switch to fill in to pick readable names for ... variables.	2005-11-12 21:13:00 +00:00
ccremers	b6e9841c0f	- Moved special terms into their own (very) special file.	2005-06-16 14:10:07 +00:00