Repository navigation

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

Merged

gh-113710: Add types to the interpreter DSL#113711
Fidget-Spinner merged 21 commits into
python:mainfrom
Fidget-Spinner:typed_dsl

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

Commits

Commits on Jan 4, 2024

Commits on Jan 9, 2024

Commits on Jan 10, 2024

Commits on Jan 11, 2024

Commits on Jan 12, 2024