horn-concurrency version 2.2.1

Update Eldarica version to 2.2.1.

Full Changelog: v2.2...v2.2.1

horn-concurrency version 2.2

Update Eldarica version to 2.2.

Full Changelog: v2.1.1...v2.2

horn-concurrency version 2.1.1

• Clauses were not printed with -logSimplified and -logSimplifiedSMT options, this is now fixed.
• Add option to dump simplified clauses after Eldarica's default preprocessing.

Full Changelog: v2.1...v2.1.1

horn-concurrency version 2.1

horn-concurrency largely depends on Eldarica and will follow its releases with the same version numbers. This release follows Eldarica v2.1.