pycvc: state_exec parity part 4 (data jobs, heap, stdlib registry, any-depth values) by transfix · Pull Request #679 · transfix/libcvc

pycvc: state_exec parity part 2 (environments, builtins, schedulers)

transfix

committed

73b3f7a

Merge master into feat/pycvc-state-exec-parity (#653 landed)

transfix

committed

cd292e0

Merge branch 'feat/pycvc-state-exec-parity' into feat/pycvc-state-exec-parity-2

transfix

committed

40d0ce2

Rerun CI on master (the merge push ran while the PR still targeted #653's branch)

transfix

committed

0c24a14

pycvc: environment.frozen (#660), and the set_existing note now that its comment is fixed

transfix

committed

b2b772a

pycvc: state_exec parity part 3 (evaluators, processes, policy, intrinsics)

transfix

committed

12f9295

Merge master into feat/pycvc-state-exec-parity (#658 landed: keep its data_options wrap)

transfix

committed

41411dc

Merge #661 (with master: #658) into feat/pycvc-state-exec-parity-2; wrap #658's data settings and budget fields on the schedulers

transfix

committed

4f05226

Merge #671 (with master: #658) into feat/pycvc-state-exec-parity-3; wrap #658's step_kind and the per-kind stats

transfix

committed

7fd982d

Merge master (#665, #667, #663, #677) into feat/pycvc-state-exec-parity-4

transfix

committed

3f60ec3

Merge master (#661 squash-merged as 50c6d02, plus #665/#667/#663) into feat/pycvc-state-exec-parity-2

transfix

committed

8b18056

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

transfix

committed

e3a01a3

Merge #671 (now on master, after #661's squash-merge) into feat/pycvc-state-exec-parity-3

transfix

committed

76e8c60

Merge #675 (with #671 on master) into feat/pycvc-state-exec-parity-4

transfix

committed

c1b514b

Merge master (#675 squash-merged as c2a144b; #678/#682/#683, #685, #688, #690-#693) into feat/pycvc-state-exec-parity-4

transfix

committed

704b79d

pycvc: wrap #682/#683's call_function continuation, make_generator_job and the native nesting limits

transfix

committed

56534ce

Navigation Menu

Repository navigation

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

pycvc: state_exec parity part 4 (data jobs, heap, stdlib registry, any-depth values)#679
transfix merged 27 commits into
masterfrom
feat/pycvc-state-exec-parity-4

Commits on Oct 17, 2026

state_exec: grammar spec, conformance cases and parse corpus (grammar P0)

state_exec grammar: make the nesting limit configurable (default 256)

state_exec grammar: parser settings live on the state tree

state_exec: parser settings on the state tree, with a nesting limit (grammar P1b)

state_exec: make the parser stackless (explicit frame stack, resumable read)

state_exec: read submitted scripts inside the process, a slice per step

state_exec: the app's exec scheduler reads scripts in steps (1024 tokens)

pycvc: give Exec the same state_exec defaults as the app's exec scheduler

pycvc: expose the state_exec parser-settings surface under its C++ names

pycvc: parse_options_from_state takes the State root, as in C++

pycvc: state_exec parity part 1 (values, parsing, parse_error, value codec)

Commits on Oct 18, 2026

pycvc: state_exec parity part 2 (environments, builtins, schedulers)

Merge master into feat/pycvc-state-exec-parity (#653 landed)

Merge branch 'feat/pycvc-state-exec-parity' into feat/pycvc-state-exec-parity-2

Rerun CI on master (the merge push ran while the PR still targeted #653's branch)

pycvc: environment.frozen (#660), and the set_existing note now that its comment is fixed

pycvc: state_exec parity part 3 (evaluators, processes, policy, intrinsics)

Merge master into feat/pycvc-state-exec-parity (#658 landed: keep its data_options wrap)

Merge #661 (with master: #658) into feat/pycvc-state-exec-parity-2; wrap #658's data settings and budget fields on the schedulers

Merge #671 (with master: #658) into feat/pycvc-state-exec-parity-3; wrap #658's step_kind and the per-kind stats

Merge master (#665, #667, #663, #677) into feat/pycvc-state-exec-parity-4

Merge master (#661 squash-merged as 50c6d02, plus #665/#667/#663) into feat/pycvc-state-exec-parity-2

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

Merge #671 (now on master, after #661's squash-merge) into feat/pycvc-state-exec-parity-3

Merge #675 (with #671 on master) into feat/pycvc-state-exec-parity-4

Merge master (#675 squash-merged as c2a144b; #678/#682/#683, #685, #688, #690-#693) into feat/pycvc-state-exec-parity-4

pycvc: wrap #682/#683's call_function continuation, make_generator_job and the native nesting limits