r3.3.4a (2011-12-30):

Bugs Fixed: an LTL spec with costraints and a goal as attack state gave an error.
Other changes: added a bash script to run SATMC called "satmc" that restart SATMC if the parameter --enc=ltl-gp is forgotten.

r3.3.4 (2011-12-28):
New feature:
- Added support for ACM channels (see http://www.avantssar.eu/pdf/deliverables/avantssar-d2-3_update.pdf
  page 101)

Bugs Fixed:
- Predicate of fresh terms modified, wrong behaviour in case of fresh value whose sort was sub sub type of message (Thanks to Giancarlo Pellegrino).

Other changes:
- Added some optimizations to improve the performances of SATMC e.g. optimization for the redirect, the instance are generated analyzing what the final receiver is attending.

r3.3.3 (2011-12-01):
Bugs Fixed:
- SATMC gave a wrong INCONCLUSIVE result in some specifications with option --enc=ltl-gp (Thanks to Prof. Marius Minea).
- Using the option "of=aslan" SATMC printed a wrong attack trace (Thanks to Prof. Marius Minea).

r3.3.2 (2011-09-29):
Other Changes:
- Improved the output format of the nonces
 i.e. instead of fnat(IID,_,_) is shown a n(IID).

r3.3.1 (2011-09-26):
Bugs Fixed:
- using the option "of=aslan" SATMC printed predicates, e.g. "decrypt", that did not appear in aslan specification (Thanks to Dr. Johan Oudinet).
  These predicates are not printed anymore.

r3.3 (2011-09-26)
New feature:
- Upgraded the SICStus Prolog engine to 4.2.0.

Other changes:
- restored the backward compatibility to support IF files (see AVISPA http://avispa-project.org).