Giters
ucsd-progsys
/
liquidhaskell
Liquid Types For Haskell
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1156
Watchers:
28
Issues:
1105
Forks:
130
ucsd-progsys/liquidhaskell Issues
Encapsulate the GHC API
Closed
3 months ago
Comments count
4
Failure to install with ghc-9.2.7, cabal 3.6
Closed
4 months ago
Comments count
3
Resolve names only once
Updated
4 days ago
Comments count
3
SMT solvers cause compilation errors
Closed
a year ago
Comments count
6
Reflecting function with multiple cases needs an otherwise case even if checked complete
Closed
10 months ago
Comments count
2
higherorder flag and inference
Closed
a year ago
Comments count
3
Wrong pinned commit liquid-fixpoint in liquidhaskell v9.0.2-final
Closed
a year ago
Comments count
1
Revive the synthesis tests
Updated
a year ago
Hole `_` causes proof of a contradiction
Closed
a year ago
Comments count
2
measure cannot tran
Closed
a year ago
Comments count
3
Assuming anything with implicit arguments leads to malformed constraints
Closed
6 days ago
Comments count
18
Specs not exported from preprocessed source code
Updated
4 days ago
Comments count
3
Unhelpful error when not using liquid-base
Closed
4 days ago
Comments count
1
Publish liquid-base 4.14.3 to Hackage
Closed
2 months ago
Comments count
2
`liquid-base` 4.15.0.0 on Hackage, but Git has 4.14.3.0
Closed
4 days ago
Comments count
1
Introduce assumptions for PLE
Updated
6 months ago
Comments count
4
Panic when inlining a recursive function
Closed
9 months ago
Comments count
3
Panic due to malformed specification partially commented out
Updated
a year ago
Comments count
1
Consider only supporting a single GHC version
Closed
a year ago
Comments count
2
Nixpkgs version is not pinned
Closed
a year ago
Elaborate solver attempted to unify int with (Tuple int int) when "using" applied to a pair
Updated
a year ago
Comments count
3
Can't inline a function that deconstructs a pair
Closed
4 days ago
Comments count
1
PLE doesn't handle inline functions
Updated
2 years ago
Comments count
1
Proposal: get rid of wrapper packages
Closed
7 months ago
Comments count
13
implicit arguments crash
Updated
2 years ago
Fancy Termination Checker can miss recursive subterms
Updated
2 years ago
LH loses refinements on @-patterns, fails to establish refinement in branch
Closed
2 years ago
Comments count
2
Sort error message refers to inscrutable internals
Updated
2 years ago
Comments count
3
Termination checker tripped up by ($)
Closed
2 years ago
Comments count
1
LH plugin prevents other TC plugins from firing?
Updated
6 days ago
Comments count
1
unknown parameter 'model_partial'
Closed
2 years ago
Comments count
2
"The sort Natural is not numeric" when using a newtype over Natural
Closed
2 years ago
Comments count
5
Name qualifications get lost
Updated
2 years ago
Element refinement is not inferred for indexed container
Updated
2 years ago
Comments count
6
[GADTs] Small example of a forgotten refinement
Updated
4 days ago
Comments count
1
--no-adt breaks some data definitions
Closed
2 years ago
Comments count
9
Scrutinizing with Let and Case are different
Updated
4 days ago
Comments count
3
'withProof' causing code to hang endlessly
Closed
4 days ago
Comments count
4
Nat type index misinterpreted
Updated
2 years ago
Comments count
6
Measures without Free Type Variables
Updated
4 days ago
Unable to Use Measure for Cons List Length
Closed
2 years ago
Comments count
1
Why are abstract refinements attached to data types
Closed
2 years ago
Comments count
4
Inline records
Updated
a year ago
Comments count
5
Support PLE under lambdas
Updated
2 years ago
Comments count
4
`map (f . g) == map f . map g` incorrectly considered safe
Closed
2 years ago
Comments count
5
`reflect` disabling termination checker?
Closed
2 years ago
Comments count
2
NEVER depend on ANY module inside the tree.
Closed
4 days ago
Comments count
5
Hints suggested by HLint.
Updated
2 years ago
Comments count
1
Error: cabal: can't find source for Local00 in app, names/neg
Closed
2 years ago
Comments count
2
Have stack builds honor LIQUID_DEV_MODE=true
Closed
2 years ago
Comments count
3
Previous
Next