Changelog
- a7921e5 Bellmar/paraconsistency (#91)
- 6804a0a Bellmar/redeclaring variables closes #88 (#89)
- c3666cb Fix
--output=smtproducing empty output in model mode (#85) - e0e114d Fix
assert when P then Qnever marking violations in results (#87) - 8e8de5c Fix
assert when...thenclauses silently dropped for spec-level constants in static specs (#79) - 64e710a Fix double-negation in
assert when...thenviolation 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