index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
master
singletons
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Better error message in IsList(ListR)
Tom Smeding
2024-10-10
*
Add pointer to haddock issue in trace-wrappers flag descr
Tom Smeding
2024-10-10
*
Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosity
Tom Smeding
2024-10-10
*
Also export recent type family exports from Trace.hs
Tom Smeding
2024-10-10
*
Add recent functions to Trace.hs
Tom Smeding
2024-10-10
*
Remove redundant Elt constraint
Tom Smeding
2024-10-09
*
Export *fromListPrimLinear
Tom Smeding
2024-10-09
*
Export Product
Tom Smeding
2024-10-09
*
Add rToMixed and stoMixed
Tom Smeding
2024-10-09
*
Export Rank
Tom Smeding
2024-10-09
*
TestEquality for StaticShX
Tom Smeding
2024-10-07
*
Revert "Add an awkward extra Typeable constraint that helps comparing shapes"
Tom Smeding
2024-07-24
*
Make ShS an instance of TestEquality
Tom Smeding
2024-07-24
*
arith: Respect offsets in dotprodinner
Tom Smeding
2024-07-21
*
Add an awkward extra Typeable constraint that helps comparing shapes
Mikolaj Konarski
2024-07-21
*
Remove obsolete TODO
Tom Smeding
2024-06-20
*
Update trace wrapper
Tom Smeding
2024-06-19
*
Add {m,r,s}dot1Inner
Tom Smeding
2024-06-19
*
Clean up Foreign.hs
Tom Smeding
2024-06-18
*
More sensible argument order to reduce1 C op
Tom Smeding
2024-06-18
*
Init on ListX
Tom Smeding
2024-06-18
*
C cleanup: abstract strides[rank-1] case into macro
Tom Smeding
2024-06-18
*
Add same-size constraint to sreshape
Tom Smeding
2024-06-17
*
sumAllPrim
Tom Smeding
2024-06-17
*
Generalise more lifting functions
Tom Smeding
2024-06-17
*
Generalise some of the lifting functions to type-changing
Tom Smeding
2024-06-17
*
Update trace wrappers
Tom Smeding
2024-06-17
*
Error out at fromInteger from the Num instance of Shaped
Mikolaj Konarski
2024-06-15
*
Show instances via toListLinear
Tom Smeding
2024-06-14
*
Export shape types for Mixed
Tom Smeding
2024-06-14
*
[mrs]{from,to}ListLinear
Tom Smeding
2024-06-14
*
Export full [mrs]{shape,rank,size} set
Tom Smeding
2024-06-14
*
Add KnownShape generators from ShS
Tom Smeding
2024-06-13
*
Rename *LengthSNat to *Rank
Tom Smeding
2024-06-13
*
s{from,to}Orthotope
Tom Smeding
2024-06-13
*
Upon better testing, _fused_ vector needs -O2
Tom Smeding
2024-06-13
*
Vector stuff needs -O2; let's set it
Tom Smeding
2024-06-12
*
Only use intel SIMD on intel platforms
Tom Smeding
2024-06-12
*
Add TODO
Tom Smeding
2024-06-11
*
Fix SIMD code to allow for unaligned arrays
Tom Smeding
2024-06-11
*
Add (temporary version of) more general mdot
Tom Smeding
2024-06-10
*
Add *flatten
Tom Smeding
2024-06-10
*
Update TODO
Tom Smeding
2024-06-10
*
Conciseness cleanup
Tom Smeding
2024-06-10
*
Make arith code aware of negative strides
Tom Smeding
2024-06-10
*
Add head functions for the nested list types
Tom Smeding
2024-06-10
*
Very unsafe fromInteger that crashes everything if you do it wrong
Tom Smeding
2024-06-10
*
Add TODO
Tom Smeding
2024-06-10
*
Clean up some redundant catMaybes
Tom Smeding
2024-06-10
*
Manual vectorisation of dot product for floating points
Tom Smeding
2024-06-10
[next]