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.

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

Support for "abc --keep-going pdr" via new "pdr -X" mode #263

Merged
merged 4 commits into from
Mar 6, 2024

Commits on Feb 20, 2024

  1. Initial support for a multi-task property status database

    This adds initial support for an sqlite database that is shared across
    multiple tasks of a single SBY file and that can track the status of
    individual properties.
    
    The amount of information tracked in the database is currently quite
    minimal and depends on the engine and options used. This can be
    incrementally extended in the future.
    
    The ways in which the information in the database can be queries is even
    more limited for this initial version, consisting of a single '--status'
    option which lists all properties and their status.
    jix committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    52184e5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6ba762d View commit details
    Browse the repository at this point in the history
  3. Emit status db update from aigsmt

    jix committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d3a6f2d View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Configuration menu
    Copy the full SHA
    b6e41a3 View commit details
    Browse the repository at this point in the history