v1.1.0

Changelog

• a7921e5 Bellmar/paraconsistency (#91)
• 6804a0a Bellmar/redeclaring variables closes #88 (#89)
• c3666cb Fix --output=smt producing empty output in model mode (#85)
• e0e114d Fix assert when P then Q never marking violations in results (#87)
• 8e8de5c Fix assert when...then clauses silently dropped for spec-level constants in static specs (#79)
• 64e710a Fix double-negation in assert when...then violation checks (#83)
• 93d273b Results re-architecture (closes #80) (#81)
• 65e8b86 feat: allow importing specs via HTTP/HTTPS URLs with local caching (#76)
• a1ed693 tweaky the default result template for boolean logic models
• ead0e24 update CHANGELOG
• 9d38eec update agent changelog