switch to cmdargs 0.10.* because profiling does not
work for 0.9.*
fix profiling target
add new case studies to Makefile for regression
tests
replace OneWay heuristic with OneCase heuristic
commit newly generated intruder variants files (renaming + reordering only, it seems)
update release_tasks.txt
factor out some duplicated code in matchToGoal
fix syntax errors in last commit
fix some typos in changelog
update case-studies-regression
remove client_session_key.aes which was accidentally included in examples
update copyright notice to 2013
fix: TypeSynonymInstances required for GHC 7.0.4
Merge remote-tracking branch 'origin/develop' into feature-improved-graph-output