Tags · GaloisInc/what4

v1.7

Bump version number to 1.7 for release.

Add the 1.7 release and release date to the changelog.

Merge pull request #289 from GaloisInc/1.6-backport-T288-timeout-fix

Backport #288 changes to new minor release (1.6.3)

Bump what4 release version to 1.6.2

Bump what4 release version to 1.6.1

Bump what4 release version to 1.6

Bump what4 release version to 1.5.1

Bump what4 release version to 1.5

Bump what4 version to 1.4

What4 Release 1.3

What4 Release 1.2.1

PreviousNext