Giters
ucsd-progsys
/
liquidhaskell
Liquid Types For Haskell
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1182
Watchers:
28
Issues:
1121
Forks:
134
ucsd-progsys/liquidhaskell Issues
Docs are too optimistic about building from Hackage
Closed
24 days ago
Comments count
7
Failing to use liquidhaskell v9.8.2
Closed
a month ago
Comments count
2
Falsity introduced by shadowing symbols of the logic
Updated
a month ago
Support building with GHC 9.10
Closed
a month ago
Comments count
10
Confusing interaction with boot files and --exact-data-cons
Updated
a month ago
Mismatch in number of type variables
Updated
a month ago
PLE crashes when using Set theory symbols
Closed
2 months ago
Annotations are not checked for reflected functions that are marked as non-terminating
Updated
3 months ago
Comments count
1
Could not find module ‘LiquidHaskell’
Updated
3 months ago
Comments count
6
Fix crashes and obscure errors in tests when enabling --exact-data-cons
Updated
4 months ago
Comments count
1
Debug NewTypes0.hs in CI
Updated
4 months ago
"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?
Updated
4 months ago
Comments count
1
Uninformative WARNING when verifying modules
Updated
4 months ago
No decreasing parameter even though constructor is unwrapped
Updated
4 months ago
Comments count
5
Are we maintaining the packages that are not included in the project?
Closed
4 months ago
Comments count
6
"addC: malformed constraint: cconsE" in closed-world class
Updated
4 months ago
Comments count
2
GADT without refinement throws "specified type does not refine Haskell type" error
Updated
4 months ago
Comments count
10
Termination check on local recursive function
Updated
4 months ago
Comments count
5
put hidden `.liquid` directories in `dist`
Updated
4 months ago
Comments count
5
Length of infinite lists
Closed
4 months ago
Comments count
16
Empty data causes totality error
Updated
4 months ago
Comments count
6
cabal install => Error: cabal: Driver_stack.hsDriver_cabal.hs doesn't exist
Closed
4 months ago
Comments count
4
More/less binders expected when using --typeclass
Updated
4 months ago
Comments count
2
LiquidHaskell plugin does not find/load base annotations/assumptions (but modules are accessible to GHC)
Updated
4 months ago
Comments count
1
Specification of div seems to be incorrect
Updated
4 months ago
Comments count
3
Can't figure out how to build a project with GHC 9.6.3
Closed
4 months ago
Comments count
8
Set measures generate erroneous constraints when applied to non-polymorphic datatypes
Closed
4 months ago
Comments count
14
Map measures also generate erroneous constraints when applied to non-polymorphic datatypes
Updated
4 months ago
--max-case-expand does not work if type has a parameter
Closed
4 months ago
Comments count
4
Liquid haskell packages at Hackage out of sync?
Closed
6 months ago
Comments count
5
Dependent Pairs Syntax unsoundly ignores refinements
Updated
6 months ago
[question] how to see the formula that gets sent to the solver?
Closed
7 months ago
Comments count
4
Could not find module ‘LiquidHaskellBoot’
Closed
7 months ago
Comments count
12
Retire liquid-platform
Closed
7 months ago
Embed CoreToLogic.lg into liquidhaskell-boot
Closed
8 months ago
Innocent edit causes tests/pos/Map0.hs to fail
Updated
8 months ago
Comments count
9
error when running ghc with the plugin directly: Illegal type specification for `Even.notEven`, tests/pos/Even.hs:5:16:
Closed
8 months ago
Comments count
2
error when running ghc with the plugin directly: Unknown type constructor `Nat`, tests/pos/GCD.hs
Closed
8 months ago
Comments count
1
Too many constraints generated
Closed
8 months ago
Comments count
8
Swap Aeson for JSON
Updated
9 months ago
Comments count
6
Errors combining dependent pairs and functions
Updated
10 months ago
Reflection of functions with wired-in names leads to errors
Updated
10 months ago
Comments count
2
Build LH with GHC 9.4.7
Closed
10 months ago
Comments count
9
LH inference is sensitive to literals
Closed
10 months ago
Comments count
1
HasCallStack interferes with termination checking
Closed
10 months ago
Comments count
1
Equational reasoning on higher order expressions
Updated
a year ago
Comments count
3
Simplify inferred types to improve error messages?
Updated
a year ago
Prove two functions are equal by extensionality
Closed
a year ago
Comments count
5
Error when hiding certain functions
Updated
a year ago
Reasoning steps with inequality
Closed
a year ago
Comments count
4
Previous
Next