clash-lang ghc-typelits-extra issues

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

Other

16 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add CLog with well-defined zero case

#57 kleinreact opened 2 months ago
0
Can not infer `Max 1 n ~ n` when given `1 <= n`

#56 lmbollen opened 3 months ago
1
Add support for GHC 9.11.20240522

#55 christiaanb opened 5 months ago
1
Add support for GHC 9.10.1

#54 christiaanb closed 5 months ago
0
Use TemplateHaskellQuotes for Name lookup

#53 bgamari closed 6 months ago
0
Fix lookup `Div` and `Mod` GHC >= 9.2

#52 rowanG077 closed 6 months ago
3
Parse `Assert`-based constraints in GHC 9.4+

#51 christiaanb closed 7 months ago
0
Plugin silently fails when normalizing `<=` in GHC 9.4+

#50 christiaanb opened 7 months ago
0
Test GHC-9.8.1 in CI

#49 christiaanb closed 1 year ago
0
Add support for GHC 9.8.1-alpha1

#48 christiaanb closed 1 year ago
0
Add support for GHC 9.6

#47 christiaanb closed 1 year ago
0
Namify 'FLog', 'Log', 'CLog' arguments

#46 martijnbastiaan closed 2 years ago
0
Add support for GHC 9.4.1

#45 christiaanb closed 2 years ago
0
`*Log b (b^n)` is wrongly reduced to `n` if `b` is not a literal

#44 rowanG077 opened 2 years ago
1
Reduce `*Log b (n * b^f)` to `*Log b n + f`

#43 rowanG077 opened 2 years ago
1
Could not deduce: `CLog 2 (n * 2)` ~ `CLog 2 n + 1`

#42 martijnbastiaan opened 2 years ago
3
Derive 1 <= Max a b when (1 <= a ) or (1 <= b)

#41 lmbollen opened 2 years ago
1
Improved Log inference

#40 rowanG077 opened 2 years ago
3
Update CI to use GHC 9.0.2 / 9.2.1

#39 alex-mckenna closed 2 years ago
0
Allow ghc-bignum 1.1

#38 felixonmars opened 2 years ago
0
Derive `a <= Max x (Max a y)`

#37 isovector opened 3 years ago
2
Distribute add, mul, and sub through Max and Min

#36 isovector closed 3 years ago
6
Derive `Max (a + n) (b + n) = Max a b + n`

#35 isovector opened 3 years ago
10
Add GHA status to readme

#34 christiaanb closed 3 years ago
0
Add support for GHC 9.2.0.20210422

#33 christiaanb closed 3 years ago
0
Add support for GHC-9.0.1-rc1

#32 christiaanb closed 3 years ago
0
`CLog n k` gets stuck even if `n` and `k` are known

#31 gergoerdi closed 3 years ago
4
Make 0.4.1 release

#30 christiaanb closed 3 years ago
0
Solve `n <= Max (n + p) p` constraints.

#29 rowanG077 closed 4 years ago
21
1 <= Max (n + 1) 1 constraint isn't solved

#28 rowanG077 closed 3 years ago
8
Max is stuckness preserving

#27 christiaanb closed 4 years ago
0
Add `GHC.Magic.noinline` to `gcd` and `lcm`

#26 christiaanb closed 4 years ago
0
Add support for GHC 8.10

#25 christiaanb closed 4 years ago
0
auto-derive `Div (a * x) a ~ x`

#24 tscholak opened 5 years ago
1
ghc-typelits-natnormalise and ghc-typelits-extra don't always work together nicely

#23 leonschoorl closed 5 years ago
1
Release new version including 63e0e88

#22 martijnbastiaan closed 5 years ago
1
Fix fallout from `isNatural` changes in `ghc-typelits-natnormalise`

#21 christiaanb closed 5 years ago
0
Tell GHC that a <= Max a b (rebased + fixed)

#20 martijnbastiaan closed 5 years ago
0
Update Travis script

#19 leonschoorl closed 5 years ago
0
Fix type error after `isNatural` change

#18 jonfowler closed 5 years ago
2
Build failure due to change in ghc-typelits-natnormalise

#17 Taneb closed 5 years ago
1
[RFC] Drop equality cases from Min/Max

#16 bgamari opened 6 years ago
4
Various KnownNat and solver issues

#15 augustss opened 6 years ago
1
Tell GHC that a <= Max a b

#14 leonschoorl closed 5 years ago
1
Handle unicode in error message in a simpler way

#13 leonschoorl closed 5 years ago
0
Support for ghc-typelits-knownnat-0.4

#12 christiaanb closed 6 years ago
0
Use cabal new-build on travis

#11 christiaanb closed 6 years ago
0
Redunant instances in the type families Min, Max

#10 SkorikGG closed 7 years ago
1
New reduces and normalizations in Plugin for GCD, LCM, Min and Max

#9 SkorikGG closed 6 years ago
2
Copy-Paste error in GHC/TypeLits/Extra/Solver/Operations.hs

#8 SkorikGG closed 7 years ago
1