add support for private function symbols
silence warnings
add unsafe pointer comparison to utils
adapt currentlyDeducible and ProbablyDeducible
to take private function symbols into account
solve message where the outermost function symbol
is private early
solve message where the outermost function symbol
is irreducible early (e.g., hashes, macs, ...)
add two examples for private function symbols
add CAV submission example
cleanup/reorganize protocols models
fix printing of function symbol arity (include [private])
solve "small" split goals before OneWay functions
add/move examples
update version number in cabal files and add
examples
add entries to changelog
fix release_tasks.txt
fix private function symbols examples
Forked renegotiation model.
Started work on TLS model with renegotiation. It is complex.
Merge branch 'develop' into feature-improved-graph-output
remove client_session_key.aes which was accidentally included in examples