Pymbolic typing - #868

Merged

inducer merged 10 commits into

mainfrom

pymbolic-typing

Nov 7, 2024

Commits on Nov 6, 2024

Bump pymbolic dependency to 2024.1
inducer
committed
4a16caa
typing: Use ExpressionT from pymbolic
inducer
committed
3a90123
Convert loopy's expression nodes to expr_dataclasses
inducer
committed
3afeaa8
Make is_integer a type guard, move to typing
inducer
committed
e2e3758
Delete/simplify/update persistent hashing code for updated pymbolic
inducer
committed
f9f3a40
Address type errors from more precisely typed pymbolic
inducer
committed
eb89a3b
Move some symbols to the root, fix docs
inducer
committed
57fbd84
Sharpen some types in loopy.symbolic
inducer
committed
a6ab1a4

Commits on Nov 7, 2024

Vaguely accommodate old floopy behavior of None dimensions in shape
inducer
committed
575d0c3
FlattenMapper: claim everything is an integer
inducer
committed
f6da458