aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding10 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding10 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski11 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski11 months
invert-castableWIP invertable CastableTom Smeding7 weeks
masterCompatibility liftVEltwise1 (TODO remove)Tom Smeding3 days
peano-snatWIP half-peano SNatsTom Smeding5 weeks
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding10 months
 
AgeCommit messageAuthor
3 daysCompatibility liftVEltwise1 (TODO remove)HEADmasterTom Smeding
3 daysFix typo in error messageTom Smeding
3 daysSome re-exports for compatibilityTom Smeding
3 daysSeparate arith routines into a libraryTom Smeding
5 daysarith stats: Print timings with 3 digits precisionTom Smeding
5 daysarith stats: Improve output formatTom Smeding
5 daysArith statistics collection from CTom Smeding
5 daysarith: Don't FFI-import unused dotprod_*_strided opsTom Smeding
9 daysOptimise reductions and dotprod with more vectorisationTom Smeding
9 daysProvide +nonportable-simd flagTom Smeding
[...]