Skip to content
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

Jump to bottom

tools/cexenum: Add '--callback' option and refactor enumeration loop #256

Draft
wants to merge 4 commits into
base: main
Choose a base branch
from
Draft

tools/cexenum: Add '--callback' option and refactor enumeration loop #256

wants to merge 4 commits into from

Commits on Dec 14, 2023

  1. tools/cexenum: Fix type annotations 

    With this it now passes pyright's strict mode
    @jix
    jix committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    aa2a96d View commit details
    Browse the repository at this point in the history

  2. tools/cexenum: Avoid buffering smtbmc's --progress stderr output 

    We were discarding that output anyway and before YosysHQ/mau#5 this
could lead to the mau internal `stderr.readline()` failing.
    @jix
    jix committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    eeee1a1 View commit details
    Browse the repository at this point in the history

  3. tools/cexenum: Add '--callback' option and refactor enumeration loop 

    This requires YosysHQ/yosys#4078
    @jix
    jix committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    1ad1904 View commit details
    Browse the repository at this point in the history

  4. tools/cexenum: Document JSON callback protocol

    @jix
    jix committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    d62f945 View commit details
    Browse the repository at this point in the history