Ecosyste.ms: Issues

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

GitHub / clash-lang/ghc-typelits-extra issues and pull requests

#57 - Add CLog with well-defined zero case

Pull Request - State: open - Opened by kleinreact 6 months ago

#56 - Can not infer `Max 1 n ~ n` when given `1 <= n`

Issue - State: open - Opened by lmbollen 7 months ago - 1 comment

#55 - Add support for GHC 9.11.20240522

Pull Request - State: open - Opened by christiaanb 9 months ago - 1 comment

#55 - Add support for GHC 9.11.20240522

Pull Request - State: open - Opened by christiaanb 9 months ago - 1 comment

#54 - Add support for GHC 9.10.1

Pull Request - State: closed - Opened by christiaanb 9 months ago

#54 - Add support for GHC 9.10.1

Pull Request - State: closed - Opened by christiaanb 9 months ago

#53 - Use TemplateHaskellQuotes for Name lookup

Pull Request - State: closed - Opened by bgamari 10 months ago

#53 - Use TemplateHaskellQuotes for Name lookup

Pull Request - State: closed - Opened by bgamari 10 months ago

#52 - Fix lookup `Div` and `Mod` GHC >= 9.2

Pull Request - State: closed - Opened by rowanG077 10 months ago - 3 comments

#51 - Parse `Assert`-based constraints in GHC 9.4+

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

#51 - Parse `Assert`-based constraints in GHC 9.4+

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

#49 - Test GHC-9.8.1 in CI

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

#49 - Test GHC-9.8.1 in CI

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

#48 - Add support for GHC 9.8.1-alpha1

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

#47 - Add support for GHC 9.6

Pull Request - State: closed - Opened by christiaanb almost 2 years ago

#47 - Add support for GHC 9.6

Pull Request - State: closed - Opened by christiaanb almost 2 years ago

#46 - Namify 'FLog', 'Log', 'CLog' arguments

Pull Request - State: closed - Opened by martijnbastiaan over 2 years ago

#46 - Namify 'FLog', 'Log', 'CLog' arguments

Pull Request - State: closed - Opened by martijnbastiaan over 2 years ago

#45 - Add support for GHC 9.4.1

Pull Request - State: closed - Opened by christiaanb over 2 years ago

#45 - Add support for GHC 9.4.1

Pull Request - State: closed - Opened by christiaanb over 2 years ago

#44 - `*Log b (b^n)` is wrongly reduced to `n` if `b` is not a literal

Issue - State: open - Opened by rowanG077 over 2 years ago - 1 comment

#43 - Reduce `*Log b (n * b^f)` to `*Log b n + f`

Pull Request - State: open - Opened by rowanG077 over 2 years ago - 1 comment

#43 - Reduce `*Log b (n * b^f)` to `*Log b n + f`

Pull Request - State: open - Opened by rowanG077 over 2 years ago - 1 comment

#42 - Could not deduce: `CLog 2 (n * 2)` ~ `CLog 2 n + 1`

Issue - State: open - Opened by martijnbastiaan over 2 years ago - 3 comments

#41 - Derive 1 <= Max a b when (1 <= a ) or (1 <= b)

Issue - State: open - Opened by lmbollen over 2 years ago - 1 comment

#40 - Improved Log inference

Pull Request - State: open - Opened by rowanG077 about 3 years ago - 3 comments

#39 - Update CI to use GHC 9.0.2 / 9.2.1

Pull Request - State: closed - Opened by alex-mckenna about 3 years ago

#38 - Allow ghc-bignum 1.1

Pull Request - State: open - Opened by felixonmars about 3 years ago

#37 - Derive `a <= Max x (Max a y)`

Issue - State: open - Opened by isovector over 3 years ago - 2 comments

#36 - Distribute add, mul, and sub through Max and Min

Pull Request - State: closed - Opened by isovector over 3 years ago - 6 comments

#35 - Derive `Max (a + n) (b + n) = Max a b + n`

Issue - State: open - Opened by isovector over 3 years ago - 10 comments

#35 - Derive `Max (a + n) (b + n) = Max a b + n`

Issue - State: open - Opened by isovector over 3 years ago - 10 comments

#34 - Add GHA status to readme

Pull Request - State: closed - Opened by christiaanb over 3 years ago

#34 - Add GHA status to readme

Pull Request - State: closed - Opened by christiaanb over 3 years ago

#33 - Add support for GHC 9.2.0.20210422

Pull Request - State: closed - Opened by christiaanb over 3 years ago

#33 - Add support for GHC 9.2.0.20210422

Pull Request - State: closed - Opened by christiaanb over 3 years ago

#32 - Add support for GHC-9.0.1-rc1

Pull Request - State: closed - Opened by christiaanb about 4 years ago

#31 - `CLog n k` gets stuck even if `n` and `k` are known

Issue - State: closed - Opened by gergoerdi over 4 years ago - 4 comments

#31 - `CLog n k` gets stuck even if `n` and `k` are known

Issue - State: closed - Opened by gergoerdi over 4 years ago - 4 comments

#30 - Make 0.4.1 release

Pull Request - State: closed - Opened by christiaanb over 4 years ago

#30 - Make 0.4.1 release

Pull Request - State: closed - Opened by christiaanb over 4 years ago

#29 - Solve `n <= Max (n + p) p` constraints.

Pull Request - State: closed - Opened by rowanG077 over 4 years ago - 21 comments

#29 - Solve `n <= Max (n + p) p` constraints.

Pull Request - State: closed - Opened by rowanG077 over 4 years ago - 21 comments

#28 - 1 <= Max (n + 1) 1 constraint isn't solved

Issue - State: closed - Opened by rowanG077 almost 5 years ago - 8 comments

#27 - Max is stuckness preserving

Pull Request - State: closed - Opened by christiaanb almost 5 years ago

#27 - Max is stuckness preserving

Pull Request - State: closed - Opened by christiaanb almost 5 years ago

#26 - Add `GHC.Magic.noinline` to `gcd` and `lcm`

Pull Request - State: closed - Opened by christiaanb about 5 years ago

#25 - Add support for GHC 8.10

Pull Request - State: closed - Opened by christiaanb about 5 years ago

#24 - auto-derive `Div (a * x) a ~ x`

Issue - State: open - Opened by tscholak over 5 years ago - 1 comment

#24 - auto-derive `Div (a * x) a ~ x`

Issue - State: open - Opened by tscholak over 5 years ago - 1 comment

#22 - Release new version including 63e0e88

Issue - State: closed - Opened by martijnbastiaan over 5 years ago - 1 comment

#22 - Release new version including 63e0e88

Issue - State: closed - Opened by martijnbastiaan over 5 years ago - 1 comment

#21 - Fix fallout from `isNatural` changes in `ghc-typelits-natnormalise`

Pull Request - State: closed - Opened by christiaanb over 5 years ago

#21 - Fix fallout from `isNatural` changes in `ghc-typelits-natnormalise`

Pull Request - State: closed - Opened by christiaanb over 5 years ago

#20 - Tell GHC that a <= Max a b (rebased + fixed)

Pull Request - State: closed - Opened by martijnbastiaan almost 6 years ago

#20 - Tell GHC that a <= Max a b (rebased + fixed)

Pull Request - State: closed - Opened by martijnbastiaan almost 6 years ago

#19 - Update Travis script

Pull Request - State: closed - Opened by leonschoorl almost 6 years ago

#19 - Update Travis script

Pull Request - State: closed - Opened by leonschoorl almost 6 years ago

#18 - Fix type error after `isNatural` change

Pull Request - State: closed - Opened by jonfowler almost 6 years ago - 2 comments

#18 - Fix type error after `isNatural` change

Pull Request - State: closed - Opened by jonfowler almost 6 years ago - 2 comments

#17 - Build failure due to change in ghc-typelits-natnormalise

Issue - State: closed - Opened by Taneb about 6 years ago - 1 comment

#17 - Build failure due to change in ghc-typelits-natnormalise

Issue - State: closed - Opened by Taneb about 6 years ago - 1 comment

#16 - [RFC] Drop equality cases from Min/Max

Pull Request - State: open - Opened by bgamari over 6 years ago - 4 comments

#16 - [RFC] Drop equality cases from Min/Max

Pull Request - State: open - Opened by bgamari over 6 years ago - 4 comments

#15 - Various KnownNat and solver issues

Issue - State: open - Opened by augustss over 6 years ago - 1 comment

#14 - Tell GHC that a <= Max a b

Pull Request - State: closed - Opened by leonschoorl about 7 years ago - 1 comment

#14 - Tell GHC that a <= Max a b

Pull Request - State: closed - Opened by leonschoorl about 7 years ago - 1 comment

#13 - Handle unicode in error message in a simpler way

Pull Request - State: closed - Opened by leonschoorl about 7 years ago

#13 - Handle unicode in error message in a simpler way

Pull Request - State: closed - Opened by leonschoorl about 7 years ago

#12 - Support for ghc-typelits-knownnat-0.4

Pull Request - State: closed - Opened by christiaanb about 7 years ago

#12 - Support for ghc-typelits-knownnat-0.4

Pull Request - State: closed - Opened by christiaanb about 7 years ago

#11 - Use cabal new-build on travis

Pull Request - State: closed - Opened by christiaanb about 7 years ago

#10 - Redunant instances in the type families Min, Max

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 1 comment

#9 - New reduces and normalizations in Plugin for GCD, LCM, Min and Max

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 2 comments

#8 - Copy-Paste error in GHC/TypeLits/Extra/Solver/Operations.hs

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 1 comment

#7 - Plugin doesn't reduce Min in some cases

Issue - State: closed - Opened by knupfer over 8 years ago - 1 comment

#6 - Any reason why v0.2.1 is not on Hackage yet? [EOM]

Issue - State: closed - Opened by ggreif over 8 years ago - 5 comments

#5 - Svg icon

Pull Request - State: closed - Opened by ggreif over 8 years ago

#4 - Make toNatEquality check for both types in an EqPred

Pull Request - State: closed - Opened by RyanGlScott over 8 years ago - 1 comment

#3 - no time travel

Pull Request - State: closed - Opened by ggreif over 8 years ago - 1 comment

#2 - Travis stack

Pull Request - State: closed - Opened by christiaanb about 9 years ago

#1 - Build on ghc8

Pull Request - State: closed - Opened by christiaanb over 9 years ago