Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ucsd-progsys/liquidhaskell issues and pull requests

#2484 - Split testsuites and stop linking during tests

Pull Request - State: closed - Opened by facundominguez 4 days ago - 1 comment

#2483 - [WIP] Update to use conditional elaboration

Pull Request - State: open - Opened by clayrat 5 days ago - 6 comments

#2482 - Update LH to optimized elaboration in FP

Pull Request - State: closed - Opened by ranjitjhala 6 days ago

#2480 - Allow reflecting functions with local definitions

Issue - State: open - Opened by facundominguez 15 days ago - 1 comment

#2479 - Remove the unneeded old symbol resolution

Pull Request - State: closed - Opened by facundominguez 15 days ago

#2478 - undefined causes a program to be accepted when it shouldn't

Issue - State: closed - Opened by facundominguez 17 days ago - 8 comments

#2477 - Proof with foldr and map is rejected

Issue - State: open - Opened by facundominguez 17 days ago - 5 comments

#2476 - Handle empty alts when lifting core to logic

Pull Request - State: closed - Opened by matheussbernardo 20 days ago - 1 comment

#2475 - Wrong type expected by foldl'

Issue - State: closed - Opened by yourcomrade 21 days ago - 10 comments

#2474 - Upgrade Liquid Haskell to run with ghc 9.12

Pull Request - State: open - Opened by facundominguez 25 days ago - 1 comment
Labels: WIP: Don't Merge Yet

#2472 - Resolve type constructors in qualifiers via LHNames

Pull Request - State: open - Opened by facundominguez 29 days ago - 1 comment

#2472 - Resolve type constructors in qualifiers via LHNames

Pull Request - State: closed - Opened by facundominguez 29 days ago - 1 comment

#2472 - Resolve type constructors in qualifiers via LHNames

Pull Request - State: open - Opened by facundominguez 29 days ago - 1 comment

#2472 - Resolve type constructors in qualifiers via LHNames

Pull Request - State: open - Opened by facundominguez 29 days ago - 1 comment

#2472 - Resolve type constructors in qualifiers via LHNames

Pull Request - State: open - Opened by facundominguez 29 days ago - 1 comment

#2472 - Resolve type constructors in qualifiers via LHNames

Pull Request - State: open - Opened by facundominguez 29 days ago - 1 comment

#2471 - Strange behaviour with reflected primitives

Issue - State: open - Opened by AlecsFerra 30 days ago - 9 comments

#2471 - Strange behaviour with reflected primitives

Issue - State: open - Opened by AlecsFerra 30 days ago - 9 comments

#2471 - Strange behaviour with reflected primitives

Issue - State: open - Opened by AlecsFerra 30 days ago - 10 comments

#2471 - Strange behaviour with reflected primitives

Issue - State: open - Opened by AlecsFerra 30 days ago - 9 comments

#2471 - Strange behaviour with reflected primitives

Issue - State: open - Opened by AlecsFerra 30 days ago - 9 comments

#2471 - Strange behaviour with reflected primitives

Issue - State: open - Opened by AlecsFerra 30 days ago - 9 comments

#2470 - Fix unsafe data constructor refinements

Pull Request - State: closed - Opened by AlecsFerra about 1 month ago - 5 comments

#2469 - Initialize the logic map in resolveLHNames

Pull Request - State: closed - Opened by facundominguez about 1 month ago - 1 comment

#2469 - Initialize the logic map in resolveLHNames

Pull Request - State: closed - Opened by facundominguez about 1 month ago - 1 comment

#2469 - Initialize the logic map in resolveLHNames

Pull Request - State: closed - Opened by facundominguez about 1 month ago - 1 comment

#2468 - Test issue728 branch of fixpoint

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

#2467 - Update GHC 9.8 backport to latest `develop`

Pull Request - State: closed - Opened by gergoerdi about 2 months ago - 1 comment

#2466 - Persist name resolution for field names

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

#2465 - Support for lambdas :)

Pull Request - State: closed - Opened by AlecsFerra 2 months ago - 5 comments

#2464 - Simplify representation of measure names

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

#2463 - Allow local logical aliases (defines)

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

#2462 - Bless wired-in names as handled

Pull Request - State: closed - Opened by facundominguez 2 months ago

#2461 - Persist name resolution for class measures

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

#2460 - Weekly build for GHC HEAD failed

Issue - State: open - Opened by github-actions[bot] 2 months ago - 9 comments
Labels: build failed

#2459 - Deriving false is possible with termination checking enabled

Issue - State: closed - Opened by hetzenmat 2 months ago - 5 comments

#2458 - Give precedence to export local measures over imported measures

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

#2457 - Type level nat parameter causes LH to check less

Issue - State: open - Opened by kleinreact 2 months ago - 10 comments

#2456 - Persist name resolution for measure names

Pull Request - State: closed - Opened by facundominguez 2 months ago

#2454 - Persist name resolution for reflected names

Pull Request - State: closed - Opened by facundominguez 2 months ago

#2453 - Unable to use proofcombinators library

Issue - State: closed - Opened by iirekm 2 months ago - 4 comments

#2452 - Unable to use liquidhaskell with Cabal

Issue - State: closed - Opened by iirekm 2 months ago - 2 comments

#2451 - Get rid of wiredin reflections

Pull Request - State: closed - Opened by facundominguez 2 months ago

#2450 - Revive type class elaboration

Issue - State: open - Opened by facundominguez 3 months ago

#2449 - Update LF after preserving location of operators

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2448 - Scaffolding for persisting resolution of logic names

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2447 - Empty data types depending on type literals don't behave as expected

Issue - State: open - Opened by kleinreact 3 months ago - 2 comments

#2446 - LH does not like data types that are named `TT`

Issue - State: open - Opened by kleinreact 3 months ago - 2 comments

#2445 - Expand type aliases in dependent pairs

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2445 - Expand type aliases in dependent pairs

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2444 - Z3 in infinite loop when using `mod` with variable divisor

Issue - State: open - Opened by amigalemming 3 months ago - 4 comments

#2442 - Document that specs can depend on arguments of enclosing functions

Issue - State: open - Opened by facundominguez 3 months ago - 1 comment
Labels: documentation

#2442 - Document that specs can depend on arguments of enclosing functions

Issue - State: open - Opened by facundominguez 3 months ago - 2 comments
Labels: documentation

#2441 - Various small refactorings

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2440 - Incompleteness with a top-level higher-order function

Issue - State: open - Opened by octalsrc 3 months ago - 4 comments

#2439 - add test for polymorphic array apply generation

Pull Request - State: closed - Opened by clayrat 3 months ago - 1 comment

#2438 - PLE generates polymorphic applys for Sets

Issue - State: open - Opened by clayrat 3 months ago - 1 comment

#2437 - Could not resolve dependencies

Issue - State: open - Opened by Archaversine 3 months ago - 3 comments

#2436 - LH/LF is not aware that Strings are Lists

Issue - State: open - Opened by AlecsFerra 3 months ago - 1 comment

#2435 - Get default methods from the GHC API instead of using maybeResolveSym

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2435 - Get default methods from the GHC API instead of using maybeResolveSym

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2434 - Remove untested typeclass elaboration

Pull Request - State: open - Opened by facundominguez 3 months ago - 6 comments
Labels: WIP: Don't Merge Yet

#2433 - Handle type alias + refinements

Pull Request - State: closed - Opened by AlecsFerra 3 months ago - 4 comments

#2433 - Handle type alias + refinements

Pull Request - State: closed - Opened by AlecsFerra 3 months ago - 4 comments

#2432 - Deriving `Data` turns UNSAFE code to be SAFE

Issue - State: open - Opened by kleinreact 3 months ago - 6 comments

#2431 - Props ignore refinements

Issue - State: closed - Opened by AlecsFerra 3 months ago

#2431 - Props ignore refinements

Issue - State: closed - Opened by AlecsFerra 3 months ago

#2430 - Eliminate explicit dependency on ghc-internal

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2430 - Eliminate explicit dependency on ghc-internal

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2428 - Sort mismatch error with liquidhaskell-0.9.10.1

Issue - State: closed - Opened by octalsrc 3 months ago - 9 comments

#2428 - Sort mismatch error with liquidhaskell-0.9.10.1

Issue - State: closed - Opened by octalsrc 3 months ago - 12 comments

#2427 - Use GHC Name to resolve several annotations

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2427 - Use GHC Name to resolve several annotations

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2426 - Document lazyvar

Issue - State: open - Opened by facundominguez 3 months ago
Labels: documentation, good first issue

#2426 - Document lazyvar

Issue - State: open - Opened by facundominguez 3 months ago
Labels: documentation, good first issue

#2425 - Remove dead code for class and instance laws

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2425 - Remove dead code for class and instance laws

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2424 - Use GHC names for instance methods and dictionaries

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2424 - Use GHC names for instance methods and dictionaries

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2423 - Use LHName for fail annotations and methods in class specs

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2422 - Eliminate unused fields from specs

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2421 - Use GHC Name after resolving asserted specs

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2421 - Use GHC Name after resolving asserted specs

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2420 - Handle assume on local names when resolving to LHName

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2420 - Handle assume on local names when resolving to LHName

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2419 - Assumptions on local definitions are rejected

Issue - State: closed - Opened by facundominguez 3 months ago

#2419 - Assumptions on local definitions are rejected

Issue - State: closed - Opened by facundominguez 3 months ago

#2418 - Use GHC Name for assumptions

Pull Request - State: closed - Opened by facundominguez 3 months ago

#2417 - define nums

Pull Request - State: closed - Opened by nikivazou 3 months ago

#2417 - define nums

Pull Request - State: closed - Opened by nikivazou 3 months ago

#2417 - define nums

Pull Request - State: closed - Opened by nikivazou 3 months ago

#2416 - Simplify TyThing lookups

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2416 - Simplify TyThing lookups

Pull Request - State: closed - Opened by facundominguez 3 months ago - 1 comment

#2415 - fix for #2404

Pull Request - State: closed - Opened by nikivazou 4 months ago