Skip to content

Tags: cvc5/ethos

Tags

ethos-0.2.1

Toggle ethos-0.2.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Prepare 0.2.1 release (#179)

ethos-0.2.0

Toggle ethos-0.2.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
More improvements and fix to user manual examples, prepare release (#159

)

An example with `eo::eq` was inaccurate.

ethos-0.1.1

Toggle ethos-0.1.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Preparation for 0.1.1 release (#108)

ethos-0.1.0

Toggle ethos-0.1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #65 from hansjoergschurr/add-NEWS

Add a NEWS.md file and describe initial release