Release v6.10.0: Merge pull request #2222 from bruntib/fix_z3 · gocarlos/codechecker · GitHub

v6.10.0
28cb139
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

v6.10.0: Merge pull request #2222 from bruntib/fix_z3

v6.10.0
28cb139
Compare

Choose a tag to compare

Loading

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode

tagged this 11 Jul 18:00

Switching z3 refutation on by default.

Assets 2