ucsd-progsys liquidhaskell issues

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

BSD 3-Clause "New" or "Revised" License

1.18k stars 135 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Support building with GHC 9.10

#2307 facundominguez closed 1 month ago
10
Bump socket.io from 0.9.6 to 2.5.0 in /docs/slides/flops14/_support/reveal

#2306 dependabot[bot] opened 3 months ago
0
Improve caching in the cabal job of CI

#2305 facundominguez closed 3 months ago
0
Remove redundant flags and dependencies from name-resolution-neg

#2304 facundominguez closed 3 months ago
0
Add a minimal failing test case of redundant transitive imports

#2303 archbung closed 3 months ago
1
WIP update to latest liquid-fixpoint

#2302 clayrat closed 2 months ago
8
Annotations are not checked for reflected functions that are marked as non-terminating

#2301 hetzenmat opened 3 months ago
1
Could not find module ‘LiquidHaskell’

#2300 nikivazou opened 3 months ago
6
Update ProofCombinators.hs

#2299 nikivazou closed 3 months ago
0
Debug NewTypes0.hs in CI

#2298 facundominguez opened 3 months ago
0
fix for coercion

#2297 nikivazou closed 4 months ago
3
Remove some redundant imports

#2296 archbung closed 4 months ago
1
Fix some warnings and link tests-by-syntax in the documentation

#2295 facundominguez closed 4 months ago
0
Uninformative WARNING when verifying modules

#2294 facundominguez opened 4 months ago
0
Bump express from 4.17.3 to 4.19.2 in /docs/slides/plpv14/_support/reveal

#2293 dependabot[bot] opened 4 months ago
0
Fix crashes and obscure errors in tests when enabling --exact-data-cons

#2292 facundominguez opened 4 months ago
2
Avoid useless cabal reconfigurations when testing

#2291 facundominguez closed 4 months ago
0
Make --exact-data-cons the default

#2290 facundominguez closed 4 months ago
3
Remove unused plotting code: plot-benchmarks

#2289 facundominguez closed 4 months ago
1
PLE crashes when using Set theory symbols

#2288 clayrat closed 2 months ago
0
GADT without refinement throws "specified type does not refine Haskell type" error

#2287 jvanbruegge opened 4 months ago
10
Fix failures with 'cabal install'

#2286 facundominguez closed 4 months ago
0
Specification of div seems to be incorrect

#2285 facundominguez closed 1 week ago
4
update GHC version to 9.8.2

#2284 clayrat closed 4 months ago
1
Map measures also generate erroneous constraints when applied to non-polymorphic datatypes

#2283 clayrat closed 1 week ago
0
update to latest liquid-fixpoint

#2282 clayrat closed 4 months ago
6
No decreasing parameter even though constructor is unwrapped

#2281 jvanbruegge opened 4 months ago
5
Deemphasize LIQUID_DEV_MODE in the README

#2280 facundominguez closed 5 months ago
1
Termination check on local recursive function

#2279 amigalemming opened 6 months ago
5
put hidden `.liquid` directories in `dist`

#2278 amigalemming opened 6 months ago
5
"addC: malformed constraint: cconsE" in closed-world class

#2277 amigalemming opened 6 months ago
2
Liquid haskell packages at Hackage out of sync?

#2276 amigalemming closed 6 months ago
5
--max-case-expand does not work if type has a parameter

#2275 jvanbruegge closed 4 months ago
4
Dependent Pairs Syntax unsoundly ignores refinements

#2274 nikivazou opened 6 months ago
0
Merge changes for release 0.9.6.3.1

#2273 facundominguez closed 6 months ago
0
Set measures generate erroneous constraints when applied to non-polymorphic datatypes

#2272 clayrat closed 4 months ago
14
Can't figure out how to build a project with GHC 9.6.3

#2271 lylek closed 4 months ago
8
LiquidHaskell plugin does not find/load base annotations/assumptions (but modules are accessible to GHC)

#2270 jekor opened 7 months ago
1
More/less binders expected when using --typeclass

#2269 nmeum opened 7 months ago
2
Add test files of liquidhaskell-boot as extra-source-files

#2268 facundominguez closed 8 months ago
0
Remove liquid-patform

#2267 facundominguez closed 8 months ago
0
Retire liquid-platform

#2266 facundominguez closed 8 months ago
0
Embed CoreToLogic.lg into liquidhaskell-boot

#2265 facundominguez closed 8 months ago
0
error when running ghc with the plugin directly: Unknown type constructor `Nat`, tests/pos/GCD.hs

#2264 jwaldmann closed 8 months ago
1
error when running ghc with the plugin directly: Illegal type specification for `Even.notEven`, tests/pos/Even.hs:5:16:

#2263 jwaldmann closed 8 months ago
2
Bump version of LH to 9.6.3

#2262 facundominguez closed 8 months ago
0
Could not find module ‘LiquidHaskellBoot’

#2261 jwaldmann closed 8 months ago
12
Correct else indentation in tests.cabal

#2260 facundominguez closed 8 months ago
0
[question] how to see the formula that gets sent to the solver?

#2259 jwaldmann closed 7 months ago
4
cabal install => Error: cabal: Driver_stack.hsDriver_cabal.hs doesn't exist

#2258 jwaldmann closed 4 months ago
4

Previous Next