Skip to content

Introduce composable symbolic execution interface in pyx #4939

Open
Feature
Open
Introduce composable symbolic execution interface in pyx#4939
Feature
Assignees
Stevengre

Description

@Stevengre
Stevengre
opened on Jun 24, 2026
  1. provide CSE interface in pyk;
    1. Top-down: The initial state of the specification is state that hits it during its caller's exploration.
    2. Incremental: The summaries are generated when the previous summaries are not launched.
  2. Existing Work: CSE in kontrol; jh/ksum-cse-evaluation in mir-semantics;

Activity

  1. Stevengre
    self-assigned this
    on Jun 24, 2026
  2. Stevengre
    added the
    Feature
    issue type on Jun 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

Feature

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions