Skip to content

Releases: ucsd-progsys/liquidhaskell

First version built with GHC 9.8.1

05 Feb 12:01
@facundominguez facundominguez
v0.9.8.1
b7d0407
This commit was signed with the committer’s verified signature.
facundominguez Facundo Domínguez
SSH Key Fingerprint: apPzG3rZfoRrXg3Fn39CSpN1x3PTbDATIoDeI60R/IU Learn about vigilant mode.
Compare
Choose a tag to compare
First version built with GHC 9.8.1 Latest
Latest
  • Set support for GHC 9.8.1 #2248
  • Embedded files include/CoreToLogic.lg and syntax/liquid.css in the source code #2265
Assets 2

Final version built with GHC 9.6.3

29 Jan 17:50
@facundominguez facundominguez
v0.9.6.3
6aeb737
This commit was signed with the committer’s verified signature.
facundominguez Facundo Domínguez
SSH Key Fingerprint: apPzG3rZfoRrXg3Fn39CSpN1x3PTbDATIoDeI60R/IU Learn about vigilant mode.
Compare
Choose a tag to compare
Final version built with GHC 9.6.3

Sets support to build and run with GHC 9.6.3

Assets 2

Final version built with GHC 9.4.7

06 Dec 20:31
@facundominguez facundominguez
v0.9.4.7
b3a5ac9
This commit was signed with the committer’s verified signature.
facundominguez Facundo Domínguez
SSH Key Fingerprint: apPzG3rZfoRrXg3Fn39CSpN1x3PTbDATIoDeI60R/IU Learn about vigilant mode.
Compare
Choose a tag to compare
Final version built with GHC 9.4.7 
v0.9.4.7

Update CHANGES.md
Assets 2

Final version built with GHC 9.2.8

19 Nov 12:55
@facundominguez facundominguez
v9.2.8
215a9d7
Compare
Choose a tag to compare
Final version built with GHC 9.2.8 
v9.2.8

Move CHANGES and README to extra-doc-files
Assets 2

Final version built with GHC 9.2.5

18 Oct 22:08
@facundominguez facundominguez
v9.2.5
fd5b5be
Compare
Choose a tag to compare
Final version built with GHC 9.2.5 
v9.2.5

Update installation documentation for version 0.9.5.2
Assets 2

Final version built with GHC 9.0.2

04 Feb 22:03
@facundominguez facundominguez
v9.0.2
7daeb7c
Compare
Choose a tag to compare
Final version built with GHC 9.0.2 
v9.0.2

Bump bounds of liquid-* packages for ghc-9.0.2
Assets 2

Final version built with GHC 8.10.2

03 Nov 12:21
@nikivazou nikivazou
v8.10.2-final
275e914
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
Final version built with GHC 8.10.2

Final version built with GHC 8.10.2

Assets 2

Version 0.8.10.1 LiquidHaskell as a GHC-Plugin

06 Aug 03:30
@ranjitjhala ranjitjhala
v0.8.10.1
5e89cd0
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
Version 0.8.10.1 LiquidHaskell as a GHC-Plugin

This is the first release of LiquidHaskell as a GHC Plugin, compatible with GHC 8.10.

Assets 2

Final version built with GHC 8.6.5 (also 8.10)

03 Jun 13:44
@ranjitjhala ranjitjhala
v8.6.5-final
fa5270b
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
Final version built with GHC 8.6.5 (also 8.10)

This is the last version before_ moving to the plugin architecture + GHC 8.10 as described here

#1683

Assets 2

Final version built with GHC 8.4.3

19 Mar 03:56
@ranjitjhala ranjitjhala
v8.4.3-final
8c121ce
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
Final version built with GHC 8.4.3

Final version built with GHC 8.4.3

Assets 2