state_exec: the stdlib materializers run as sliced data steps, and predicates get them by transfix · Pull Request #665 · transfix/libcvc

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

transfix

committed

32bc3e3

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

transfix

committed

1381d6d

state_exec grammar: parser settings live on the state tree

transfix

committed

c6486e2

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

transfix

committed

e221ac7

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

transfix

committed

7a4b4b1

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

transfix

committed

c040bdd

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

transfix

committed

97c2a92

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

transfix

committed

9ed8702

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

transfix

committed

753abb1

state_exec: free, print, compare, copy and snapshot deep values without native recursion

transfix

committed

4d3bc6b

state_exec: deep-data work a slice per step, and the budget by kind

transfix

committed

6f11d9e

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

transfix

committed

ffa9a26

state_exec: load the stdlib modules in every environment, with a per-call allocation limit

transfix

committed

811c954

Merge feat/state-exec-sliced-read: pycvc *_options_from_state take the State root

transfix

committed

a65ed9e

state_exec: the stdlib materializers run as sliced data steps, and predicates get them

transfix

committed

e3f5ee9

Merge remote-tracking branch 'origin/feat/state-exec-data-steps' into feat/state-exec-sliced-stdlib

transfix

committed

a9127d9

state_exec: apply and send call a DSL function through the evaluator

transfix

committed

cb0460d

ariadne_runtime_test: a predicate test that fits the time cap in Debug builds

transfix

committed

86fa687

Merge remote-tracking branch 'origin/master' into HEAD

transfix

committed

7419dd1

Merge remote-tracking branch 'origin/feat/state-exec-parse-settings' into HEAD

transfix

committed

bc20f8e

Merge feat/state-exec-sliced-read (now with master) into feat/state-exec-data-steps

transfix

committed

ac5a35e

Navigation Menu

Repository navigation

state_exec: the stdlib materializers run as sliced data steps, and predicates get them - #665

state_exec: the stdlib materializers run as sliced data steps, and predicates get them#665
transfix merged 31 commits into
masterfrom
feat/state-exec-sliced-stdlib

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

state_exec: free, print, compare, copy and snapshot deep values without native recursion

state_exec: deep-data work a slice per step, and the budget by kind

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

state_exec: load the stdlib modules in every environment, with a per-call allocation limit

Merge feat/state-exec-sliced-read: pycvc *_options_from_state take the State root

state_exec: the stdlib materializers run as sliced data steps, and predicates get them

Merge remote-tracking branch 'origin/feat/state-exec-data-steps' into feat/state-exec-sliced-stdlib

state_exec: apply and send call a DSL function through the evaluator

ariadne_runtime_test: a predicate test that fits the time cap in Debug builds

Merge remote-tracking branch 'origin/master' into HEAD

Merge remote-tracking branch 'origin/feat/state-exec-parse-settings' into HEAD

Merge feat/state-exec-sliced-read (now with master) into feat/state-exec-data-steps

Commits on Oct 18, 2026

Merge remote-tracking branch 'origin/master' into HEAD

Merge remote-tracking branch 'origin/feat/state-exec-parse-settings' into HEAD

Merge feat/state-exec-sliced-read (now with #660) into feat/state-exec-data-steps

Merge feat/state-exec-data-steps (#658 at f137f37, with #653 and the final #660)

Merge origin/master (#653 squashed) into feat/state-exec-data-steps

Merge remote-tracking branch 'origin/feat/state-exec-data-steps' into feat/state-exec-sliced-stdlib

Run the master CI on #658 after retargeting it to master

Merge remote-tracking branch 'origin/feat/state-exec-data-steps' into feat/state-exec-sliced-stdlib

Merge origin/master (#658 squashed as 4e57321, and #672) into feat/state-exec-sliced-stdlib

Merge origin/master (#667 heap accounting and cycle collector) into feat/state-exec-sliced-stdlib