gh-113710: Add types to the interpreter DSL - #113711

Merged

Fidget-Spinner merged 21 commits into

python:mainfrom

Fidget-Spinner:typed_dsl

Jan 12, 2024

Commits on Jan 4, 2024

Add types to the DSL
Fidget-Spinner
committed
4a6c251
Update generated_cases.c.h
Fidget-Spinner
and
JuliaPoo
committed
70e42b0

Commits on Jan 9, 2024

1st round of reviews (TODO: black, metadata, doc)
Fidget-Spinner
committed
37f87cc
fix tests
Fidget-Spinner
committed
577588c
use the table instead
Fidget-Spinner
committed
0c1d0b9
run black
Fidget-Spinner
committed
f8c5cd1
documentation
Fidget-Spinner
committed
2d23474
talk auxillary
Fidget-Spinner
committed
9a7ded0
📜🤖 Added by blurb_it.
blurb-it[bot]
authored
bca395c
correct name
Fidget-Spinner
committed
33c3bbd
Merge branch 'typed_dsl' of https://github.com/Fidget-Spinner/cpython into typed_dsl
Fidget-Spinner
committed
165802c
LOAD_FAST_AND_CLEAR is not pure
Fidget-Spinner
committed
f3bf212

Commits on Jan 10, 2024

get rid of passthrough and no_trivial_elimination
Fidget-Spinner
committed
c6f2d84

Commits on Jan 11, 2024

add guard to properties
Fidget-Spinner
committed
b775b06
remove passthrough
Fidget-Spinner
committed
f0ec15f
int -> long, document types
Fidget-Spinner
committed
83d0dff

Commits on Jan 12, 2024

Address review
Fidget-Spinner
committed
aee39a4
remove pure from push and pop frames
Fidget-Spinner
committed
a7d7d4b
auxillary is 64-bit
Fidget-Spinner
committed
845f92d
use refinement
Fidget-Spinner
committed
362db1a
Merge remote-tracking branch 'upstream/main' into typed_dsl
Fidget-Spinner
committed
b932b80