index
:
ox-arrays
SPEC-magic
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
mgenerate-integral
mild-tweaks-repackaged
mvecsReplicate
non-forcing-fromLists
peano-snat
port-to-natnormalise-0.8.1
port-to-plugins-0.8.1
repro-9.14-branch
reptrans-failed
simplify-castable
uncontroversial-tweaks-repackaged
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
SPEC-magic
SPEC magic
Mikolaj Konarski
8 weeks
master
Remove the preposterous shsFromListS and shsFromIxS
Mikolaj Konarski
23 hours
mgenerate-integral
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
9 weeks
mild-tweaks-repackaged
Document that mshapeTree is partial
Mikolaj Konarski
21 hours
mvecsReplicate
Eliminate all QuantifiedConstraints extensions from the code
Mikolaj Konarski
20 hours
non-forcing-fromLists
Don't force the list argument early in X.fromList*, if possible
Mikolaj Konarski
3 months
port-to-natnormalise-0.8.1
Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled
Mikolaj Konarski
4 months
port-to-plugins-0.8.1
Done
Mikolaj Konarski
4 months
repro-9.14-branch
Update the repro vs plugins update courtesy of Sam
Mikolaj Konarski
5 months
uncontroversial-tweaks-repackaged
Add a bang not to overlap big allocations
Mikolaj Konarski
20 hours
[...]
Tag
Download
Author
Age
repro-lint-profile
commit b1253991b2...
Mikolaj Konarski
6 weeks
repro-UNPACK
commit 21d3d6190b...
Mikolaj Konarski
7 weeks
v0.1.0.0
commit bff10fbf08...
Tom Smeding
7 months
last-with-inat
commit 77ab86ede9...
Tom Smeding
21 months
Age
Commit message
Author
21 hours
Document that mshapeTree is partial
mild-tweaks-repackaged
Mikolaj Konarski
21 hours
Add benchmarks for sumFull
Mikolaj Konarski
21 hours
Make library strided-array-ops public
Mikolaj Konarski
21 hours
Add a few more GHC warnings and fix all offenders
Mikolaj Konarski
21 hours
Mute the pattern-namespace-specifier warning until things can be fixed
Mikolaj Konarski
21 hours
Improve the implementation of the other fromSNat'
Mikolaj Konarski
21 hours
Improve the implementation of fromSNat'
Mikolaj Konarski
21 hours
Fix f in SMayNat to always be SNat and UNPACK it
Mikolaj Konarski
21 hours
Implement Tom's ixsFromIxS
Mikolaj Konarski
21 hours
Make type variables consistent between shaped and mixed lists
Mikolaj Konarski
[...]