Skip to content

Pymbolic typing #868

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
inducer merged 10 commits into from
Nov 7, 2024
Merged

Pymbolic typing #868

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
4a16caa
Bump pymbolic dependency to 2024.1
inducer Oct 3, 2024
3a90123
typing: Use ExpressionT from pymbolic
inducer Oct 3, 2024
3afeaa8
Convert loopy's expression nodes to expr_dataclasses
inducer Oct 3, 2024
e2e3758
Make is_integer a type guard, move to typing
inducer Oct 3, 2024
f9f3a40
Delete/simplify/update persistent hashing code for updated pymbolic
inducer Oct 3, 2024
eb89a3b
Address type errors from more precisely typed pymbolic
inducer Oct 3, 2024
57fbd84
Move some symbols to the root, fix docs
inducer Oct 3, 2024
a6ab1a4
Sharpen some types in loopy.symbolic
inducer Nov 6, 2024
575d0c3
Vaguely accommodate old floopy behavior of None dimensions in shape
inducer Nov 7, 2024
f6da458
FlattenMapper: claim everything is an integer
inducer Nov 7, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Bump pymbolic dependency to 2024.1
  • Loading branch information
@inducer
inducer committed Nov 6, 2024
commit 4a16caaafe9d862a69d235ad46e5c1c71ed324c9
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ classifiers = [
]
dependencies = [
"pytools>=2024.1.5",
"pymbolic>=2022.1",
"pymbolic>=2024.1",
"genpy>=2016.1.2",

# https://github.com/inducer/loopy/pull/419
Expand Down