Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update badges in README to refer to IKOS 3.5 (#310).
The badges at the top of the README file refer to a specific release (tag). This commit updates the badges to point to the upcoming 3.5 release.
- Loading branch information