aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Eliminate all QuantifiedConstraints extensions from the codemvecsReplicateMikolaj Konarski89 min.
* Add a bang not to overlap big allocationsMikolaj Konarski6 days
* Merge branch 'master' into mvecsReplicateTom Smeding6 days
|\
| * Use numEltSumFull in X.sumFullHEADmasterTom Smeding6 days
| * C: Fix REDUCEFULLTom Smeding6 days
| * test: Port sum tests to sumAllTom Smeding6 days
* | Fix +trace-wrappers after 682c584b26eTom Smeding6 days
* | Speed up sumFull from 36ms to 82 microsecondsMikolaj Konarski7 days
* | Save some VS.concat by using toVectorListTMikolaj Konarski7 days
* | Let X.fromListOuterSN and ravelOuterN take NonEmptyMikolaj Konarski9 days
* | Don't force a list of identical elementsMikolaj Konarski10 days
* | Simplify and slightly speed up internal fromList functionsMikolaj Konarski10 days
* | Document that mshapeTree is partialMikolaj Konarski10 days
* | Use shxDropSSX instead of shxSplitApp, etc.Mikolaj Konarski10 days
* | Improve the implementation of the other fromSNat'Mikolaj Konarski10 days
* | Make library strided-array-ops publicMikolaj Konarski2025-12-27
* | Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2025-12-27
* | Inline most lifting wrappersMikolaj Konarski2025-12-24
* | Add a few more GHC warnings and fix all offendersMikolaj Konarski2025-12-22
* | Mute the pattern-namespace-specifier warning until things can be fixedMikolaj Konarski2025-12-22
* | Make it clear that ravelOuterN is called just onceMikolaj Konarski2025-12-21
* | Remove ixsFromIxR' and simplify ixsFromIxRMikolaj Konarski2025-12-20
* | Add a potentialy helpful bang for consistencyMikolaj Konarski2025-12-20
* | Improve the implemenetation of fromSNat'Mikolaj Konarski2025-12-19
* | Make List?, except ListH, less generalMikolaj Konarski2025-12-17
* | Optimize slightly sh?FromList and sh?ToListMikolaj Konarski2025-12-17
* | De-triplicate ix?ToLinearMikolaj Konarski2025-12-16
* | De-triplicate sh?EnumMikolaj Konarski2025-12-16
* | Define ix?FromLinear without THMikolaj Konarski2025-12-16
* | Implement ranked shape conversions as newtype coercesMikolaj Konarski2025-12-16
* | Make ShR a newtype over ShXMikolaj Konarski2025-12-16
* | Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski2025-12-16
* | Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2025-12-16
* | Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski2025-12-16
* | Optimize the representation of ListHrepro-UNPACKMikolaj Konarski2025-12-16
* | Inline SMayNat in ListHMikolaj Konarski2025-12-16
* | Clone ListX into ListHMikolaj Konarski2025-12-16
* | Simplify the signature of fooIndexMikolaj Konarski2025-12-16
* | Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski2025-12-16
* | Make ShS a newtype over ShXMikolaj Konarski2025-12-16
* | Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski2025-12-14
* | Implement Tom's ixsFromIxSMikolaj Konarski2025-12-14
* | Implement index conversions as unsafeCoerceMikolaj Konarski2025-12-13
* | Fix a few KnownNat in ShS-related TODOs and reword the restMikolaj Konarski2025-12-12
* | Make arith enums disjointTom Smeding2025-12-12
* | Improve haddocks of mvecsUnsafeFreezeTom Smeding2025-12-12
* | Temporarily revert ListS as a newtype over ListXMikolaj Konarski2025-12-12
* | Make type variables consistent between shaped and mixed listsMikolaj Konarski2025-12-12
* | Remove KnownNat from ListS and express ListS as newtype over ListXMikolaj Konarski2025-12-11
* | Remove the preposterous shsFromListS and shsFromIxSMikolaj Konarski2025-12-11
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-01-22 12:10:21 +0100