Skip to content

pycvc: state_exec parity part 4 (data jobs, heap, stdlib registry, any-depth values) #679

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
transfix merged 27 commits into from
Oct 18, 2026
Merged

pycvc: state_exec parity part 4 (data jobs, heap, stdlib registry, any-depth values) #679

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
32bc3e3
state_exec: grammar spec, conformance cases and parse corpus (grammar…
transfix Oct 17, 2026
1381d6d
state_exec grammar: make the nesting limit configurable (default 256)
transfix Oct 17, 2026
c6486e2
state_exec grammar: parser settings live on the state tree
transfix Oct 17, 2026
e221ac7
state_exec: parser settings on the state tree, with a nesting limit (…
transfix Oct 17, 2026
7a4b4b1
state_exec: make the parser stackless (explicit frame stack, resumabl…
transfix Oct 17, 2026
c040bdd
state_exec: read submitted scripts inside the process, a slice per step
transfix Oct 17, 2026
97c2a92
state_exec: the app's exec scheduler reads scripts in steps (1024 tok…
transfix Oct 17, 2026
9ed8702
pycvc: give Exec the same state_exec defaults as the app's exec sched…
transfix Oct 17, 2026
753abb1
pycvc: expose the state_exec parser-settings surface under its C++ names
transfix Oct 17, 2026
ffa9a26
pycvc: parse_options_from_state takes the State root, as in C++
transfix Oct 17, 2026
2a697c0
pycvc: state_exec parity part 1 (values, parsing, parse_error, value …
transfix Oct 17, 2026
73b3f7a
pycvc: state_exec parity part 2 (environments, builtins, schedulers)
transfix Oct 18, 2026
cd292e0
Merge master into feat/pycvc-state-exec-parity (#653 landed)
transfix Oct 18, 2026
40d0ce2
Merge branch 'feat/pycvc-state-exec-parity' into feat/pycvc-state-exe…
transfix Oct 18, 2026
0c24a14
Rerun CI on master (the merge push ran while the PR still targeted #6…
transfix Oct 18, 2026
b2b772a
pycvc: environment.frozen (#660), and the set_existing note now that …
transfix Oct 18, 2026
12f9295
pycvc: state_exec parity part 3 (evaluators, processes, policy, intri…
transfix Oct 18, 2026
41411dc
Merge master into feat/pycvc-state-exec-parity (#658 landed: keep its…
transfix Oct 18, 2026
4f05226
Merge #661 (with master: #658) into feat/pycvc-state-exec-parity-2; w…
transfix Oct 18, 2026
7fd982d
Merge #671 (with master: #658) into feat/pycvc-state-exec-parity-3; w…
transfix Oct 18, 2026
3f60ec3
Merge master (#665, #667, #663, #677) into feat/pycvc-state-exec-pari…
transfix Oct 18, 2026
8b18056
Merge master (#661 squash-merged as 50c6d02, plus #665/#667/#663) int…
transfix Oct 18, 2026
e3a01a3
pycvc: state_exec parity part 4 (data jobs, heap, stdlib registry, an…
transfix Oct 18, 2026
76e8c60
Merge #671 (now on master, after #661's squash-merge) into feat/pycvc…
transfix Oct 18, 2026
c1b514b
Merge #675 (with #671 on master) into feat/pycvc-state-exec-parity-4
transfix Oct 18, 2026
704b79d
Merge master (#675 squash-merged as c2a144b; #678/#682/#683, #685, #6…
transfix Oct 18, 2026
56534ce
pycvc: wrap #682/#683's call_function continuation, make_generator_jo…
transfix Oct 18, 2026
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
1 change: 1 addition & 0 deletions bindings/pycvc/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -274,6 +274,7 @@ if(CVC_BUILD_PYCVC_CORE)
pycvc_state_exec:test_pycvc_state_exec.py
pycvc_state_exec_sched:test_pycvc_state_exec_sched.py
pycvc_state_exec_eval:test_pycvc_state_exec_eval.py
pycvc_state_exec_data:test_pycvc_state_exec_data.py
pycvc_world_clock:test_pycvc_world_clock.py
pycvc_world_units:test_pycvc_world_units.py
pycvc_dataprep:test_pycvc_dataprep.py
Expand Down
3 changes: 2 additions & 1 deletion bindings/pycvc/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -292,4 +292,5 @@ pycvc.register_intrinsics(env, ctx) # each function keeps ctx alive
```

Contract tests: `test_pycvc_exec.py`, `test_pycvc_state_exec.py`,
`test_pycvc_state_exec_sched.py`, `test_pycvc_state_exec_eval.py`.
`test_pycvc_state_exec_sched.py`, `test_pycvc_state_exec_eval.py`,
`test_pycvc_state_exec_data.py`.
Loading
Loading