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

Create a tool-info module for BtorMC #1045

Merged
merged 10 commits into from
Jun 7, 2024
Merged

Create a tool-info module for BtorMC #1045

merged 10 commits into from
Jun 7, 2024

Commits on May 27, 2024

  1. Create a tool-info module for BtorMC 

    When passing only `--version` to BtorMC,
the tool does not terminate,
an EOF (ctrl-D) has to be passed to stdin additionally.
    @Po-Chun-Chien
    Po-Chun-Chien committed May 27, 2024
    Configuration menu
    Copy the full SHA
    a14bfcd View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. Remove unnecessary timeout handling

    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    d90d0fe View commit details
    Browse the repository at this point in the history

  2. Remove REQUIRED_PATHS as BtorMC contains only a statically-linked binary

    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    7427ddf View commit details
    Browse the repository at this point in the history

  3. Mention in the comment that BtorMC prints sat/unsat by default

    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    78d4373 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Remove subdir when locating BtorMC's executable

    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    baadd81 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Revert changes to tool-info template introduced in a14bfcd

    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    5ecae63 View commit details
    Browse the repository at this point in the history

  2. Use a custom version-extraction script for BtorMC 

    `btormc --version` requires receiving EOF to terminate.
Version: https://github.com/Boolector/boolector/tree/6603ed7b8d401f9bf387f32c702e3e938c50924d
See also: Boolector/boolector#225
    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    6e2da54 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Merge branch 'sosy-lab:main' into btormc-tool-info

    @Po-Chun-Chien
    Po-Chun-Chien authored Jun 7, 2024
    Configuration menu
    Copy the full SHA
    cb6f615 View commit details
    Browse the repository at this point in the history

  2. Use default version-extraction method from tool-info template 

    - After 9997760, BtorMC's version extraction does not require special handling
    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    773f3d5 View commit details
    Browse the repository at this point in the history

  3. Remove unused import

    @Po-Chun-Chien
    Po-Chun-Chien committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    4d80a44 View commit details
    Browse the repository at this point in the history