pycvc: state_exec parity part 3 (evaluators, processes, policy, intrinsics) by transfix · Pull Request #675 · 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 (#661 squash-merged as 50c6d02, plus #665/#667/#663) into feat/pycvc-state-exec-parity-2

transfix

committed

8b18056

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

transfix

committed

76e8c60

Merge master (#671 squash-merged as 1087b09) into feat/pycvc-state-exec-parity-3

transfix

committed

5e59800

Navigation Menu

Repository navigation

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

pycvc: state_exec parity part 3 (evaluators, processes, policy, intrinsics)#675
transfix merged 23 commits into
masterfrom
feat/pycvc-state-exec-parity-3

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 (#661 squash-merged as 50c6d02, plus #665/#667/#663) into feat/pycvc-state-exec-parity-2

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

Merge master (#671 squash-merged as 1087b09) into feat/pycvc-state-exec-parity-3