Merge branch 'release-0.8.2.0' into develop
Merge branch 'hotfix-0.8.2.1' into develop
Merge remote-tracking branch 'origin/develop' into develop
fix typos
cleanups in Guarded
remove support for sort MSet
comment out rules and function symbol for
empty multiset
add parser support for multi sets
add support for intruder reasoning about multisets
add support for irreducible function symbols in
guarded formulas and equalities as guards.
wibble
add support for bilinear pairing
add examples
merge
do not solve actions that contain AC symbols eagerly
because these often lead to case splits because
there are multiple unifiers
fix typo
smaller fixes to README.md
add examples from my thesis
disable variant caching for now
added Yubikey example that makes use of a multiset to model the counter