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

#2284 - update GHC version to 9.8.2

Pull Request - State: open - Opened by clayrat 9 months ago

#2284 - update GHC version to 9.8.2

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

#2282 - update to latest liquid-fixpoint

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

#2281 - No decreasing parameter even though constructor is unwrapped

Issue - State: open - Opened by jvanbruegge 9 months ago - 5 comments

#2280 - Deemphasize LIQUID_DEV_MODE in the README

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

#2279 - Termination check on local recursive function

Issue - State: open - Opened by amigalemming 10 months ago - 5 comments

#2278 - put hidden `.liquid` directories in `dist`

Issue - State: open - Opened by amigalemming 10 months ago - 5 comments

#2277 - "addC: malformed constraint: cconsE" in closed-world class

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

#2276 - Liquid haskell packages at Hackage out of sync?

Issue - State: closed - Opened by amigalemming 10 months ago - 5 comments

#2275 - --max-case-expand does not work if type has a parameter

Issue - State: closed - Opened by jvanbruegge 10 months ago - 4 comments

#2273 - Merge changes for release 0.9.6.3.1

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

#2273 - Merge changes for release 0.9.6.3.1

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

#2271 - Can't figure out how to build a project with GHC 9.6.3

Issue - State: closed - Opened by lylek 12 months ago - 8 comments

#2269 - More/less binders expected when using --typeclass

Issue - State: open - Opened by nmeum 12 months ago - 2 comments

#2268 - Add test files of liquidhaskell-boot as extra-source-files

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

#2267 - Remove liquid-patform

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

#2266 - Retire liquid-platform

Issue - State: closed - Opened by facundominguez about 1 year ago

#2265 - Embed CoreToLogic.lg into liquidhaskell-boot

Issue - State: closed - Opened by facundominguez about 1 year ago

#2262 - Bump version of LH to 9.6.3

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

#2261 - Could not find module ‘LiquidHaskellBoot’

Issue - State: open - Opened by jwaldmann about 1 year ago - 1 comment

#2261 - Could not find module ‘LiquidHaskellBoot’

Issue - State: open - Opened by jwaldmann about 1 year ago - 1 comment

#2261 - Could not find module ‘LiquidHaskellBoot’

Issue - State: closed - Opened by jwaldmann about 1 year ago - 12 comments

#2260 - Correct else indentation in tests.cabal

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

#2260 - Correct else indentation in tests.cabal

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

#2259 - [question] how to see the formula that gets sent to the solver?

Issue - State: closed - Opened by jwaldmann about 1 year ago - 4 comments

#2258 - cabal install => Error: cabal: Driver_stack.hsDriver_cabal.hs doesn't exist

Issue - State: closed - Opened by jwaldmann about 1 year ago - 4 comments

#2257 - Innocent edit causes tests/pos/Map0.hs to fail

Issue - State: open - Opened by facundominguez about 1 year ago - 11 comments

#2256 - Recommend Z3 when the user doesn't have an opinion

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

#2255 - Too many constraints generated

Issue - State: closed - Opened by oxarbitrage about 1 year ago - 8 comments

#2254 - Bump express from 2.5.9 to 4.17.3 in /docs/slides/plpv14/_support/reveal

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#2253 - Bump underscore from 1.3.3 to 1.12.1 in /docs/slides/plpv14/_support/reveal

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#2252 - Bump mustache from 0.4.0 to 2.2.1 in /docs/slides/plpv14/_support/reveal

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#2251 - Bump socket.io from 0.9.6 to 2.4.0 in /docs/slides/plpv14/_support/reveal

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#2250 - Remove more unused code

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

#2249 - Swap Aeson for JSON

Issue - State: open - Opened by tbidne about 1 year ago - 6 comments

#2248 - Build Liquid Haskell with ghc-9.8.1

Pull Request - State: closed - Opened by facundominguez about 1 year ago - 4 comments
Labels: Major GHC upgrade

#2247 - Update liquidhaskell to build with GHC 9.6.3

Pull Request - State: closed - Opened by facundominguez about 1 year ago
Labels: Major GHC upgrade

#2246 - Errors combining dependent pairs and functions

Issue - State: open - Opened by josedusol about 1 year ago

#2245 - Are we maintaining the packages that are not included in the project?

Issue - State: closed - Opened by philderbeast about 1 year ago - 6 comments

#2244 - Remove strip-ansi-escape-0.1.0.0@rev:2

Pull Request - State: closed - Opened by philderbeast about 1 year ago - 3 comments

#2243 - Empty data causes totality error

Issue - State: open - Opened by josedusol about 1 year ago - 6 comments

#2242 - Reflection of functions with wired-in names leads to errors

Issue - State: open - Opened by nikivazou about 1 year ago - 2 comments

#2241 - Bump version of liquid-vector to 0.13.1.0

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

#2240 - Update Liquid Haskell to build with ghc 9.4.7

Pull Request - State: closed - Opened by facundominguez about 1 year ago - 1 comment
Labels: Major GHC upgrade

#2239 - Simplify the liquid-platform:liquidhaskell executable

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

#2238 - Allow LH to understand integer literals using GHC.Num.Integer.IS

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

#2237 - LH inference is sensitive to literals

Issue - State: closed - Opened by facundominguez about 1 year ago - 1 comment

#2235 - HasCallStack interferes with termination checking

Issue - State: closed - Opened by facundominguez about 1 year ago - 1 comment

#2234 - Build LH with GHC 9.4.7

Issue - State: closed - Opened by facundominguez about 1 year ago - 9 comments

#2233 - Remove some ByteString Assumptions

Pull Request - State: closed - Opened by nikivazou over 1 year ago - 2 comments

#2232 - Equational reasoning on higher order expressions

Issue - State: open - Opened by josedusol over 1 year ago - 3 comments

#2231 - Update liquid-fixpoint

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

#2230 - update to GHC 9.2.8

Pull Request - State: closed - Opened by clayrat over 1 year ago - 2 comments

#2229 - "Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

Issue - State: open - Opened by ramirez7 over 1 year ago - 1 comment
Labels: good first issue

#2228 - Simplify inferred types to improve error messages?

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

#2227 - Add a GHC API test for case desugaring

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

#2226 - Add a GHC API test and move more things to GHC.API.Extra

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

#2225 - Add more explicit import lists to Liquid.GHC.API

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

#2224 - Build the profiling driver with cabal

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

#2223 - Remove appveyor jobs from CI

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

#2222 - Isolate files describing the GHC API features in use

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

#2221 - Error when hiding certain functions

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

#2221 - Error when hiding certain functions

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

#2220 - Reasoning steps with inequality

Issue - State: closed - Opened by josedusol over 1 year ago - 4 comments

#2220 - Reasoning steps with inequality

Issue - State: closed - Opened by josedusol over 1 year ago - 4 comments

#2219 - Prove two functions are equal by extensionality

Issue - State: closed - Opened by josedusol over 1 year ago - 5 comments

#2219 - Prove two functions are equal by extensionality

Issue - State: closed - Opened by josedusol over 1 year ago - 5 comments

#2219 - Prove two functions are equal by extensionality

Issue - State: closed - Opened by josedusol over 1 year ago - 5 comments

#2218 - Length of infinite lists

Issue - State: closed - Opened by noughtmare over 1 year ago - 16 comments

#2218 - Length of infinite lists

Issue - State: closed - Opened by noughtmare over 1 year ago - 16 comments

#2218 - Length of infinite lists

Issue - State: closed - Opened by noughtmare over 1 year ago - 16 comments

#2217 - Different behaviour when working across different modules

Issue - State: open - Opened by josedusol over 1 year ago - 4 comments

#2217 - Different behaviour when working across different modules

Issue - State: open - Opened by josedusol over 1 year ago - 4 comments
Labels: good first issue

#2217 - Different behaviour when working across different modules

Issue - State: open - Opened by josedusol over 1 year ago - 4 comments
Labels: good first issue

#2217 - Different behaviour when working across different modules

Issue - State: open - Opened by josedusol over 1 year ago - 4 comments
Labels: good first issue

#2216 - Error when trying to lift a function invoking another function

Issue - State: closed - Opened by josedusol over 1 year ago - 2 comments

#2216 - Error when trying to lift a function invoking another function

Issue - State: closed - Opened by josedusol over 1 year ago - 2 comments

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2215 - Let LH know that Bags only store non-negative numbers

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

#2214 - Has project changed its structure recently?

Issue - State: open - Opened by avanov over 1 year ago - 2 comments

#2214 - Has project changed its structure recently?

Issue - State: open - Opened by avanov over 1 year ago - 2 comments

#2214 - Has project changed its structure recently?

Issue - State: open - Opened by avanov over 1 year ago - 2 comments