sternenseemann
|
3909dca0cc
|
builtins/sfns.c: fix compilation with GCC
B is interpreted as a label by GCC unless we make the block explicit by
surrounding it with curly braces.
|
2021-10-04 15:05:18 +02:00 |
|
dzaima
|
1bca264db8
|
bitarrs
|
2021-10-03 23:18:30 +03:00 |
|
dzaima
|
d2ea19c757
|
more slow warns
|
2021-09-26 13:36:37 +03:00 |
|
dzaima
|
797a848ed4
|
warn slow for unknown scans & folds & ⍋
|
2021-09-26 01:04:18 +03:00 |
|
dzaima
|
28f40e5368
|
slow notes
|
2021-09-25 20:39:06 +03:00 |
|
dzaima
|
c492de413f
|
fix ⌾⥊ error check
|
2021-09-25 02:52:26 +03:00 |
|
dzaima
|
8cc6732cd4
|
⌾⥊ and ⌾(const G H)
|
2021-09-25 02:34:58 +03:00 |
|
dzaima
|
c53b4b2294
|
move builtins.h to root of src
|
2021-09-21 17:28:25 +03:00 |
|
dzaima
|
97c1b1d31d
|
overflow builtin cleanup
|
2021-09-21 16:56:20 +03:00 |
|
dzaima
|
7cc37e2723
|
special-case JIT ARRO for 1 and 2 items
|
2021-09-20 13:17:51 +03:00 |
|
dzaima
|
62a96f1196
|
squoze
|
2021-09-16 23:20:58 +03:00 |
|
dzaima
|
427d508324
|
more precise flags usage
|
2021-09-16 21:54:37 +03:00 |
|
dzaima
|
cd5f50e3eb
|
incG
|
2021-09-16 17:09:12 +03:00 |
|
dzaima
|
83011df536
|
typed ⌾(a⊸⊏)
|
2021-09-11 23:39:58 +03:00 |
|
dzaima
|
d748baab37
|
typed ⌽𝕩
|
2021-09-11 17:16:21 +03:00 |
|
dzaima
|
8b93156a9e
|
⊔ i8arr
|
2021-09-11 17:12:13 +03:00 |
|
dzaima
|
28566f5c9c
|
i8 ∊, typed ≢ & ≍
|
2021-09-11 17:06:27 +03:00 |
|
dzaima
|
b09d3785fd
|
more typed ⊏
|
2021-09-10 20:21:06 +03:00 |
|
dzaima
|
96c68b66c5
|
typed ⌾(n⊸⊑)
|
2021-09-10 17:59:26 +03:00 |
|
dzaima
|
c3b46a42bc
|
typed ⥊
|
2021-09-10 17:56:26 +03:00 |
|
dzaima
|
3d62f9c109
|
typed /
|
2021-09-10 16:54:31 +03:00 |
|
dzaima
|
82a32684f5
|
/i8arr, i32arr⊏*
|
2021-09-10 15:51:55 +03:00 |
|
dzaima
|
a36ae1a716
|
pass untagged pointer to get & getU
|
2021-09-09 23:52:18 +03:00 |
|
dzaima
|
32e476b0c2
|
fix ⥊
|
2021-09-09 18:47:16 +03:00 |
|
dzaima
|
cec962fb8c
|
usz multiplication
|
2021-09-05 21:51:00 +03:00 |
|
dzaima
|
17a3ed150d
|
fixes for usz==u64
|
2021-08-29 04:29:50 +03:00 |
|
dzaima
|
5e6bf0df29
|
fix ↑‿3⥊3 once more
|
2021-08-23 03:05:48 +03:00 |
|
dzaima
|
63cafe8e7b
|
unified filling for ⥊ and ↑
well except for ¯N↑
|
2021-08-23 02:30:06 +03:00 |
|
dzaima
|
68214dda53
|
fix ↑‿3⥊3
|
2021-08-22 23:41:37 +03:00 |
|
dzaima
|
8f8828c671
|
fix no fill case in ⥊ and namespace destructuring in header
|
2021-08-22 04:58:01 +03:00 |
|
dzaima
|
521abe669d
|
hopefully fix SETH refcounts
|
2021-08-16 00:48:15 +03:00 |
|
dzaima
|
0af6895f4b
|
unfinished SETH
|
2021-08-15 03:54:13 +03:00 |
|
Marshall Lochbaum
|
9a0cfa340a
|
Don't allow First of empty or reshaping empty to non-empty
|
2021-08-07 20:25:07 -04:00 |
|
dzaima
|
849eeff465
|
initialize ia on allocation always
|
2021-08-03 02:57:46 +03:00 |
|
dzaima
|
749b098f1e
|
use decR less
|
2021-07-31 22:40:33 +03:00 |
|
dzaima
|
b18157d86b
|
native ⥊
it's horrible but it appears to work
|
2021-07-27 19:48:22 +03:00 |
|
dzaima
|
4b8210d1bd
|
apparently i broke 𝕨/𝕩..
|
2021-07-22 03:23:49 +03:00 |
|
dzaima
|
0bcf3b592f
|
more comparison type fixing
and some more / opt to make it not slower
|
2021-07-20 21:56:35 +03:00 |
|
dzaima
|
99896fbace
|
improving loop counter variable types
|
2021-07-20 21:32:41 +03:00 |
|
dzaima
|
ca264d1332
|
move init out of mut_to
|
2021-07-19 19:23:36 +03:00 |
|
dzaima
|
708e06c0ea
|
simplify mut usage where type is guaranteed correct
|
2021-07-19 04:22:18 +03:00 |
|
dzaima
|
bb463c8f87
|
fix rtverify failing on usz==u64
|
2021-07-12 01:06:39 +03:00 |
|
dzaima
|
08723a3c80
|
use TI macros everywhere
|
2021-07-06 19:22:45 +03:00 |
|
dzaima
|
eca7699580
|
more ⊔ changes
|
2021-07-04 05:31:23 +03:00 |
|
dzaima
|
6942b2d04c
|
add checks for 𝕨<¯1 in ⊔
|
2021-07-04 05:05:13 +03:00 |
|
dzaima
|
f5388fbdfa
|
depth check for ⊔
|
2021-07-04 05:00:56 +03:00 |
|
dzaima
|
ceb967bbd4
|
return Arr* from m_fillarrp
|
2021-07-03 01:53:26 +03:00 |
|
dzaima
|
08df9bfe7b
|
arrP_sh* → arr_sh*
|
2021-07-03 01:38:56 +03:00 |
|
dzaima
|
d49d5a3e31
|
don't use arr_sh*
|
2021-07-03 01:37:54 +03:00 |
|
dzaima
|
c0a75327ef
|
return Arr* from mut_fp
|
2021-07-03 01:25:55 +03:00 |
|