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

#2412 - Scope and meaning of fields in data specs

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

#2412 - Scope and meaning of fields in data specs

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

#2411 - Use LHNames for names of data cons and adts

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

#2410 - Inferred types cause unsoundness in the importing module (leaking `False`)?

Issue - State: open - Opened by julbinb 4 months ago - 4 comments
Labels: bug, unsoundness

#2410 - Inferred types cause unsoundness in the importing module (leaking `False`)?

Issue - State: open - Opened by julbinb 4 months ago - 4 comments
Labels: bug, unsoundness

#2408 - Parse error in measure definition

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

#2408 - Parse error in measure definition

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

#2408 - Parse error in measure definition

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

#2407 - Use GHC Name to represent resolved type constructors

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

#2407 - Use GHC Name to represent resolved type constructors

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

#2406 - Update tuple names to match what GHC uses

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

#2406 - Update tuple names to match what GHC uses

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

#2406 - Update tuple names to match what GHC uses

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

#2406 - Update tuple names to match what GHC uses

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

#2405 - Broken reflection over lists

Issue - State: closed - Opened by clayrat 4 months ago - 8 comments

#2403 - Name resolution error in abstract refinements

Issue - State: open - Opened by pacastega 4 months ago

#2403 - Name resolution error in abstract refinements

Issue - State: open - Opened by pacastega 4 months ago

#2403 - Name resolution error in abstract refinements

Issue - State: open - Opened by pacastega 4 months ago

#2403 - Name resolution error in abstract refinements

Issue - State: open - Opened by pacastega 4 months ago

#2400 - Rename Plugin.Util to Plugin.Serialisation

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

#2400 - Rename Plugin.Util to Plugin.Serialisation

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

#2400 - Rename Plugin.Util to Plugin.Serialisation

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

#2400 - Rename Plugin.Util to Plugin.Serialisation

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

#2400 - Rename Plugin.Util to Plugin.Serialisation

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

#2400 - Rename Plugin.Util to Plugin.Serialisation

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

#2399 - Remove redundant miscellaneous functions

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

#2399 - Remove redundant miscellaneous functions

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

#2399 - Remove redundant miscellaneous functions

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

#2399 - Remove redundant miscellaneous functions

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

#2399 - Remove redundant miscellaneous functions

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

#2398 - Prove all the map fusion rewrite rules in test FuseMap.hs

Pull Request - State: closed - Opened by AlecsFerra 4 months ago - 1 comment

#2398 - Prove all the map fusion rewrite rules in test FuseMap.hs

Pull Request - State: closed - Opened by AlecsFerra 4 months ago - 1 comment

#2398 - Prove all the map fusion rewrite rules in test FuseMap.hs

Pull Request - State: closed - Opened by AlecsFerra 4 months ago - 1 comment

#2398 - Prove all the map fusion rewrite rules in test FuseMap.hs

Pull Request - State: closed - Opened by AlecsFerra 4 months ago - 1 comment

#2398 - Prove all the map fusion rewrite rules in test FuseMap.hs

Pull Request - State: closed - Opened by AlecsFerra 4 months ago - 1 comment

#2397 - Clear out some cruft from `withWiredIn`

Pull Request - State: open - Opened by gergoerdi 4 months ago

#2397 - Clear out some cruft from `withWiredIn`

Pull Request - State: open - Opened by gergoerdi 4 months ago

#2397 - Clear out some cruft from `withWiredIn`

Pull Request - State: open - Opened by gergoerdi 4 months ago

#2397 - Clear out some cruft from `withWiredIn`

Pull Request - State: open - Opened by gergoerdi 4 months ago

#2397 - Clear out some cruft from `withWiredIn`

Pull Request - State: open - Opened by gergoerdi 4 months ago

#2396 - More GHC 9.8 compatibility prepration

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

#2396 - More GHC 9.8 compatibility prepration

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

#2395 - Implement a Minimal verbosity

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

#2395 - Implement a Minimal verbosity

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

#2395 - Implement a Minimal verbosity

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

#2395 - Implement a Minimal verbosity

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

#2394 - Adapt to GHC 9.8

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

#2394 - Adapt to GHC 9.8

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

#2392 - Question: how are specs communicated between modules?

Issue - State: closed - Opened by gergoerdi 4 months ago - 3 comments

#2392 - Question: how are specs communicated between modules?

Issue - State: closed - Opened by gergoerdi 4 months ago - 3 comments

#2392 - Question: how are specs communicated between modules?

Issue - State: closed - Opened by gergoerdi 4 months ago - 3 comments

#2392 - Question: how are specs communicated between modules?

Issue - State: closed - Opened by gergoerdi 4 months ago - 3 comments

#2392 - Question: how are specs communicated between modules?

Issue - State: closed - Opened by gergoerdi 4 months ago - 3 comments

#2391 - Don't print `LIQUID` banner in `--quiet` mode #1956

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

#2391 - Don't print `LIQUID` banner in `--quiet` mode #1956

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

#2391 - Don't print `LIQUID` banner in `--quiet` mode #1956

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

#2391 - Don't print `LIQUID` banner in `--quiet` mode #1956

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

#2391 - Don't print `LIQUID` banner in `--quiet` mode #1956

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

#2391 - Don't print `LIQUID` banner in `--quiet` mode #1956

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

#2390 - Only save result files when `diffcheck` flag is set #2357

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

#2390 - Only save result files when `diffcheck` flag is set #2357

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

#2390 - Only save result files when `diffcheck` flag is set #2357

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

#2390 - Only save result files when `diffcheck` flag is set #2357

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

#2389 - Avoid re-typechecking 🚀╰(*°▽°*)╯

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

#2388 - Towards a direct (non plugin-based) API

Pull Request - State: closed - Opened by gergoerdi 4 months ago - 6 comments

#2387 - Improve GHC API usage

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

#2386 - Remove unneeded custom DynFlags

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

#2384 - Local rewrites

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

#2383 - In GHC parlance, `Var` means type variable

Issue - State: open - Opened by gergoerdi 4 months ago

#2382 - Positivity checking runs on reexports?

Issue - State: open - Opened by gergoerdi 4 months ago - 2 comments

#2381 - "RefType.refAppTyToFun" error

Issue - State: open - Opened by gergoerdi 4 months ago - 1 comment

#2380 - GHC 9.8 backwards compatibility (WIP)

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

#2379 - GHC-9.8 backwards compatibility?

Issue - State: open - Opened by gergoerdi 4 months ago - 12 comments

#2378 - Remove umbrella Types modules

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

#2377 - DuplicateRecordFields breaks LH

Issue - State: open - Opened by gergoerdi 4 months ago - 2 comments

#2376 - Move Reftable class to liquidhaskell-boot

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

#2375 - fix for #2369

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

#2374 - Remove unused type synonym PrType

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

#2372 - No need to freak out when a module has no imports

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

#2371 - Proposal: Local Rewrites

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