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

Add remaining parsing for Bitvectors and Floating-point arithmetic #209

Merged
merged 18 commits into from
Sep 13, 2024
Merged

Add remaining parsing for Bitvectors and Floating-point arithmetic #209

merged 18 commits into from
Sep 13, 2024

Commits on Sep 11, 2024

  1. Fixes to-smt2 command

    @filipeom
    filipeom committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    9648af3 View commit details
    Browse the repository at this point in the history

  2. Use Symbol as app's symbol constructor

    @filipeom
    filipeom committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    1395b71 View commit details
    Browse the repository at this point in the history

  3. Parse smtlib attributes as App

    @filipeom
    filipeom committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    170dffb View commit details
    Browse the repository at this point in the history

  4. Update benchmarking dataset

    @filipeom
    filipeom committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    a2768b1 View commit details
    Browse the repository at this point in the history

  5. Allow parsing bitvector sorts

    @filipeom
    filipeom committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    954fb76 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. Add missing pp ast cases

    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    0f28070 View commit details
    Browse the repository at this point in the history

  2. Add more smt2 tests

    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    fa6f386 View commit details
    Browse the repository at this point in the history

  3. Add smt2 bitvec operator parsing

    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    2fc476a View commit details
    Browse the repository at this point in the history

  4. Minor fixes to interpreter and binary

    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    5c61ad5 View commit details
    Browse the repository at this point in the history

  5. Add binder expression

    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    02d69bd View commit details
    Browse the repository at this point in the history

  6. Rewrite Let_in expressions as a single expr 

    Also use non-simplifying constructors to build smt2 ast
    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    31c8bbc View commit details
    Browse the repository at this point in the history

  7. Update CHANGES.md

    @filipeom
    filipeom committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7430fab View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Add benchpress wrapper for benchmarking

    @filipeom
    filipeom committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    9744991 View commit details
    Browse the repository at this point in the history

  2. More bitv operators and bug fixes

    @filipeom
    filipeom committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    943107f View commit details
    Browse the repository at this point in the history

  3. Fix typing of Ite

    @filipeom
    filipeom committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    2d41a4e View commit details
    Browse the repository at this point in the history

  4. Missing bvsub parsing

    @filipeom
    filipeom committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    1a3a4ad View commit details
    Browse the repository at this point in the history

  5. Add more solvers to benchpress config

    @filipeom
    filipeom committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    26bf81b View commit details
    Browse the repository at this point in the history

  6. Update benchpress pin

    @filipeom
    filipeom committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    8ce571b View commit details
    Browse the repository at this point in the history