aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Generalize also mgenerate to potentially avoid @fmap fromIntegral@mgenerate-integralMikolaj Konarski10 hours
|
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski11 hours
|
* Define mgeneratePrim as a fast special case variantMikolaj Konarski19 hours
|
* Simplify genShRwithTarget a littleMikolaj Konarski30 hours
|
* Unify fromList functions for shapesMikolaj Konarski30 hours
|
* Don't call continuation-based functions just *FromListMikolaj Konarski30 hours
|
* Unify toList functions for shapesMikolaj Konarski31 hours
|
* Expose the unfolding of the indexing operationsMikolaj Konarski32 hours
|
* Inline all higher order shape functionsMikolaj Konarski2 days
|
* Optimize X.index, but measurements unconclusiveMikolaj Konarski6 days
|
* Add INLINEABLE on ixxFromLinearTom Smeding6 days
|
* Benchmark and improve ixxFromLinearTom Smeding6 days
|
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski6 days
|
* Update doc comment in TraceTom Smeding8 days
|
* Export PermR from top-levelTom Smeding8 days
|
* trace: Print arguments and return valueTom Smeding8 days
|
* Fix error messages for pi/fromRational in MixedTom Smeding10 days
| | | | Thanks Mikolaj!
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
| | | | | | | The explicit usage at Int in the non-primed versions of the functions results in an auto-generated SPEC rule at Int, so even without any SPECIALIZE pragmas, using sh?Enum' at Int should not (need to) result in multiple specialisations.
* Up base bound to 4.23 (seems to work fine with GHC 9.14-RC)Tom Smeding2025-11-18
|
* Add shsEnum and shrEnumTom Smeding2025-11-18
|
* Also replace replicateScal -> replicatePrim in error messagesTom Smeding2025-11-18
|
* Make first type arg of {m,s}emptyArray the shapeTom Smeding2025-11-17
|
* Rename, organise and cleanupTom Smeding2025-11-17
| | | | | | | Renamings: - *sumOuter1 -> *sumOuter1Prim - *rerank -> *rerankPrim - *replicateScal -> *replicatePrim
* Provide explicit-length versions of fromList functionsTom Smeding2025-11-17
|
* mshapeTreeIsEmpty: allow partially-zero shapes for nested arraysTom Smeding2025-11-17
|
* toTom Smeding2025-11-15
|
* README: Document array buffer sharing policyTom Smeding2025-11-15
|
* XArray: Further optimise toListOuterTom Smeding2025-11-15
| | | | Again, thanks Mikolaj
* XArray: Optimise toListOuterTom Smeding2025-11-15
| | | | Thanks Mikolaj!
* arith: Add IntElt instances for Int8 and Int16Tom Smeding2025-11-15
|
* arith: Support Int8 and Int16Tom Smeding2025-11-15
|
* Support Int16 and Int8Tom Smeding2025-11-15
|
* Equality on singletons is trivialTom Smeding2025-11-14
|
* ghc-typelits-knownnat 0.9.1 fixes the unsoundness againTom Smeding2025-10-21
|
* Exclude ghc-typelits-natnormalise 0.9.0Tom Smeding2025-10-21
|
* Revert "Remove a spurious case now correclty rules out by the plugins"Tom Smeding2025-10-21
| | | | | | | This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
* Remove a spurious case now correclty rules out by the pluginsMikolaj Konarski2025-10-20
|
* Tune redundant cases for no-warnings on GHC 9.12Tom Smeding2025-10-02
|
* Compatibility with GHC 9.6Tom Smeding2025-10-02
|
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski2025-10-02
| | | | and probably more sound than earlier versions.
* Tweak shape ZipWith definitions slightlyMikolaj Konarski2025-07-13
|
* Add SNat import to readme tasterTom Smeding2025-06-30
|
* Cross-package doc links are half-broken, let's notTom Smeding2025-06-30
|
* Fix rerank docsTom Smeding2025-06-30
|
* Fix formatting in cabal filev0.1.0.0Tom Smeding2025-06-30
|
* Package description and changelogTom Smeding2025-06-30
|
* Common-up some options in cabal fileTom Smeding2025-06-30
|
* Apply a small fraction of hlint hintsMikolaj Konarski2025-06-30
|
* Permutations: withKnownPermTom Smeding2025-06-29
|
* Add existential conversions to ShSTom Smeding2025-06-29
|
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-03 00:09:50 +0100