 chenyuandGitHub
|
b9744ab62b
|
one more test_gpudims test (#14898)
failure from the bad simplification attempt
|
2026-02-19 18:18:44 -05:00 |
|
|
chenyuandGitHub
|
9d6cf00be2
|
fix gpudim bug and test_split_2d_to_3d (#14896)
|
2026-02-19 16:46:24 -05:00 |
|
|
chenyuandGitHub
|
2b31823ef9
|
update test_gpudims to prove bijectivity (#14895)
* update test_gpudims to prove bijectivity
* one more
|
2026-02-19 16:18:59 -05:00 |
|
|
chenyuandGitHub
|
19ce7a3f7f
|
use z3 to verify gpudims output index (#14894)
found a bug with z3
|
2026-02-19 15:24:38 -05:00 |
|
|
chenyuandGitHub
|
52f727738b
|
move test_grouped_dims to test/null (#14893)
it's a pure helper
|
2026-02-19 14:50:53 -05:00 |
|