ucsd-progsys/lh-plugin-demo issues and pull requests

#27 - Build with all the supported ghc's

Pull Request - State: closed - Opened by facundominguez 9 months ago - 5 comments

#26 - UPDATED: stack.yaml for GHC 9.4.7

Pull Request - State: closed - Opened by Genlight 9 months ago - 4 comments

#25 - GHC 9.4.7 - stack / cabal configuration

Issue - State: open - Opened by Genlight 9 months ago

#24 - Project doesn't seem to compile with ghc 9.2.5 and stackage lts-20.1

Issue - State: open - Opened by OlaoluwaM 9 months ago

#23 - Bump stack.yaml to work with latest LH

Pull Request - State: closed - Opened by ranjitjhala 11 months ago - 2 comments

#22 - How to compile this with GHC 9.6.4?

Issue - State: open - Opened by lylek 12 months ago

#21 - Problem in interplay between Liquid Haskell, the haskell-language-server, and Stack.

Issue - State: open - Opened by igormoreno over 1 year ago

#20 - Fix link label in README

Pull Request - State: closed - Opened by facundominguez over 1 year ago

#19 - Update liquidhaskell that now uses automatic assumptions

Pull Request - State: closed - Opened by facundominguez almost 2 years ago - 3 comments

#18 - Update to ghc-9.0.2

Pull Request - State: closed - Opened by zlonast almost 2 years ago - 2 comments

#17 - Update liquid-fixpoint commit hash

Pull Request - State: closed - Opened by facundominguez over 2 years ago - 2 comments

#16 - Not working with latest Z3 version and this is not documented

Issue - State: closed - Opened by varosi-chaosgroup over 2 years ago

#15 - Cabal does not work (conflicts on liquid-base vs base), but Stack does.

Issue - State: closed - Opened by alcides over 2 years ago - 1 comment

#14 - Update LH dependencies

Pull Request - State: closed - Opened by facundominguez over 2 years ago - 1 comment

#13 - Warning: LH can't be run with Haddock.

Issue - State: closed - Opened by philderbeast over 2 years ago - 1 comment

#12 - Add gh-action hlint

Pull Request - State: closed - Opened by philderbeast over 2 years ago

#11 - Add gh-action for building with stack.

Pull Request - State: closed - Opened by philderbeast over 2 years ago

#10 - Add gh-action for cabal.

Pull Request - State: closed - Opened by philderbeast over 2 years ago - 1 comment

#9 - Remove missing Demo.Test module.

Pull Request - State: closed - Opened by philderbeast over 2 years ago - 1 comment

#8 - Missing module Demo.Test.

Issue - State: closed - Opened by philderbeast over 2 years ago

#7 - Use GitHub Actions to test build

Issue - State: open - Opened by FranklinChen over 2 years ago

#6 - Stack information out of date?

Issue - State: open - Opened by FranklinChen over 2 years ago - 10 comments

#5 - Fix wrong link in README.md

Pull Request - State: closed - Opened by FranklinChen over 2 years ago

#4 - Sets and `liquid-containers`

Pull Request - State: closed - Opened by ranjitjhala over 2 years ago

#3 - Doesn't compile

Issue - State: closed - Opened by k4rtik almost 3 years ago - 11 comments

#2 - Added information about Haddock and LH with VSCode extension

Pull Request - State: closed - Opened by alcides about 3 years ago - 4 comments

#1 - LH can't be run with Haddock

Issue - State: closed - Opened by alcides about 3 years ago - 2 comments

Ecosyste.ms: Issues

GitHub / ucsd-progsys/lh-plugin-demo issues and pull requests