Enhance symbolic arithmetics - #2779

Merged

KaelanDt merged 22 commits into

mainfrom

Dec 12, 2025

Commits on Nov 30, 2025

Register methods to NumberProxy
shino16
committed
810db4f
Register Python's scalar ops for pythonex
shino16
committed
bcc8ed7
Python's floor/ceil/round/trunc returns int
shino16
committed
f03e1ff
Support all-number inputs to where, register to pythonex
shino16
committed
0cc98dc
Add tests, recompile when number type changes
shino16
committed
5ec8a66
Add test_where_on_numbers
shino16
committed
258dcdd

Commits on Dec 1, 2025

Reduce test time
shino16
committed
f41af10
Do not cache ComplexProxy, test on where
shino16
committed
ad7e945
Merge branch 'main' of ssh://github.com/Lightning-AI/lightning-thunder into symbolic-arith
shino16
committed
bca4d47

Commits on Dec 2, 2025

Reflect INT_FOR_NUMBER behavior in nvfuserex
shino16
committed
209ad1f

Commits on Dec 3, 2025

Add a test that requires ceil to return int for scalar inputs
shino16
committed
8f451a7
Add StringProxy.__bool__
shino16
committed
08bf07e
Mark new test xfail
shino16
committed
6cf77e9
Remove stray copy
shino16
committed
23f88c4
Fix test issue
shino16
committed
ec69a75

Commits on Dec 4, 2025

Partial revert of 08bf07e7 for consistent impl
shino16
committed
06f8aeb
Improve test
shino16
committed
ed41e46
Remove unnecessary test checks
shino16
committed
580f343
Don't repeat uncacheable_classes=(...)
shino16
committed
735e663

Commits on Dec 9, 2025

Merge branch 'main' into symbolic-arith
shino16
authored
380927f

Commits on Dec 11, 2025

Merge branch 'main' into symbolic-arith
KaelanDt
authored
8ef7bf2

Commits on Dec 12, 2025

Merge branch 'main' into symbolic-arith
shino16
authored
86d36b4