OptiGPU - #45

Draft

Bastacyclop wants to merge 25 commits into

mainfrom

Commits on Jun 30, 2026

small case study improvements
Bastacyclop
committed
698589d

Commits on Jul 1, 2026

matmul GPU WIP: kernel launch; thread fors; global mem; shared mem
Bastacyclop
committed
913d436

Commits on Jul 2, 2026

autofree and thread registers
Bastacyclop
committed
952acd1

Commits on Jul 6, 2026

fix desync group coercion; weaken some dealloc logic to desync groups; allow hoisting instructions downwards; generate first typechecked CUDA code for matmul
Bastacyclop
committed
cc16ffa
print treg set/get
Bastacyclop
committed
cb2f26c

Commits on Jul 9, 2026

add notes on install for Clément
Bastacyclop
committed
7d7d1ab
bis
Bastacyclop
committed
878efff

Commits on Jul 10, 2026

fix tests and add matmul_opt.cu
Bastacyclop
committed
e850f41
make sure three gpu case studies run green
Bastacyclop
committed
af68860
flag bug
Bastacyclop
committed
620f42b

Commits on Jul 20, 2026

[WIP] cleaning flags
yannilefki
committed
2209c46
deprecating non-model tests
yannilefki
committed
cdc15ac
more cleaning
yannilefki
committed
d725fd3
done cleaning "check_validity" . [WIP] Deprecating non-model flags
yannilefki
committed
971246f

Commits on Jul 21, 2026

wip cleaning flags
yannilefki
committed
06f0f65
solved one unit test
yannilefki
committed
ec6c3db

Commits on Jul 22, 2026

corrected weird comments coloring
yannilefki
committed
21c43f7
corrected loop reorder_at_models test.
yannilefki
committed
39e0016

Commits on Jul 23, 2026

moving deprecated tests to ignored.tests
yannilefki
committed
63f8dad

Commits on Jul 24, 2026

Merge branch 'main' into cleaning_flags
Bastacyclop
committed
d2cbc9b
Merge branch 'cleaning_flags' into matmul-gpu-2
Bastacyclop
committed
ef76b8c
fix demo_show.ml
Bastacyclop
committed
99cc7b3

Commits on Jul 27, 2026

go through case studies after merge, looks like reduce got broken
Bastacyclop
committed
2c8f41d

Commits on Jul 29, 2026

disable unsound sreads rule for GPU thread fors, replace with a sound but less practical one, fix tests, case studies TBD
Bastacyclop
committed
43ef302

Commits on Jul 31, 2026

better hole and desync coercion through RO
Bastacyclop
committed
bda060c