 lloda
|
b0ba8bd442
Rearrange headers
|
1 year ago |
|
lloda
|
b90ab82a9c
Tighten match checks
|
1 year ago |
|
lloda
|
8a38cc927d
Put Dual inside namespace ra::
|
1 year ago |
|
lloda
|
25fd9e45dc
Refactor unbeat {} for both Small and Big
|
1 year ago |
|
lloda
|
81e76243a3
Support stretch dots<> in Small subscripts
|
1 year ago |
|
lloda
|
7ef026a05f
Partial support of ra::len in Small subscripts
|
1 year ago |
|
lloda
|
a4ee5e348d
Rename view pointers
|
1 year ago |
|
lloda
|
68a7804c51
Preserve static length through with_len
|
1 year ago |
|
lloda
|
22bbbb2435
Various fixes
|
1 year ago |
|
lloda
|
f078672315
Protect uses of std::span
|
1 year ago |
|
lloda
|
bb8d8f063b
Remove some unused type predicates
|
1 year ago |
|
lloda
|
fab91179c5
Pattern Ptr::n after Iota::n
|
1 year ago |
|
lloda
|
d52f807a6c
Review examples and bump version to v22
|
1 year ago |
|
lloda
|
8f7e0e1c2e
Fix ambiguous requires pair
|
1 year ago |
|
lloda
|
32cf6930d9
Simplify prefix match checkers
|
1 year ago |
|
lloda
|
4f8647abf5
Bump version to v21
|
1 year ago |
|
lloda
|
bc121ae8a8
Make Match::len, Match::rank static if possible
|
1 year ago |
|
lloda
|
9e6557b860
Patch some bogus warnings
|
1 year ago |
|
lloda
|
72967ec235
When optimizing iotas try to maintain static len
|
1 year ago |
|
lloda
|
5c41667610
Fix computation of match static len
|
1 year ago |
|
lloda
|
caa387035b
Allow exprs with iotas having Len in their lengths
|
1 year ago |
|
lloda
|
94fc76e39e
Support ra::len in unbeaten subscripts
|
1 year ago |
|
lloda
|
ddfd55f706
Fix check for out-of-context ra::len
|
1 year ago |
|
lloda
|
9caac37e2e
Partial support for ra::len in View subscripts
|
1 year ago |
|
lloda
|
6e56e4691e
Doc fixes
|
1 year ago |
|
lloda
|
5739b8367e
Support strech dots<> in var-size views
|
1 year ago |
|
lloda
|
08c6c94124
Merge view-ops.hh in big.hh
|
1 year ago |
|
lloda
|
2f4920bc5f
Move WithLen sandbox to header
|
1 year ago |
|
lloda
|
4368b1e835
Replace len in iotas
|
1 year ago |
|
lloda
|
cb11f092a1
Magic len replacement sandbox
|
1 year ago |
