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

Smtlib Printer #211

Open
wants to merge 37 commits into
base: master
Choose a base branch
from
Open

Smtlib Printer #211

wants to merge 37 commits into from

Commits on Sep 10, 2024

  1. WIP

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    100ea5d View commit details
    Browse the repository at this point in the history

  2. starting to take shape

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    761cadb View commit details
    Browse the repository at this point in the history

  3. still in progress

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    1c5696b View commit details
    Browse the repository at this point in the history

  4. WIP

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    a916707 View commit details
    Browse the repository at this point in the history

  5. Working

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    b35091a View commit details
    Browse the repository at this point in the history

  6. Add some builtins + handling of assoc/chain

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    776f897 View commit details
    Browse the repository at this point in the history

  7. Working well

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    7f2d83a View commit details
    Browse the repository at this point in the history

  8. Adding builtins

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    939cfca View commit details
    Browse the repository at this point in the history

  9. WIP

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    f7a0861 View commit details
    Browse the repository at this point in the history

  10. working better

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    a67c2c9 View commit details
    Browse the repository at this point in the history

  11. Fixes + psmt2 printing

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    a40d35c View commit details
    Browse the repository at this point in the history

  12. Code factorization

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    0115b5c View commit details
    Browse the repository at this point in the history

  13. Add logic detection

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    be334c6 View commit details
    Browse the repository at this point in the history

  14. WIP

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c63d602 View commit details
    Browse the repository at this point in the history

  15. Add new tests

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    a795882 View commit details
    Browse the repository at this point in the history

  16. Fixes

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    2c3729e View commit details
    Browse the repository at this point in the history

  17. more fixes

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    458bec8 View commit details
    Browse the repository at this point in the history

  18. cleanup + fix univ type in smt2 printer

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    3ed4cd4 View commit details
    Browse the repository at this point in the history

  19. WIP

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    4eac25a View commit details
    Browse the repository at this point in the history

  20. Fix bug

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    f468654 View commit details
    Browse the repository at this point in the history

  21. fixes

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    69d38ab View commit details
    Browse the repository at this point in the history

  22. Fix + Add one test

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    2eda6fc View commit details
    Browse the repository at this point in the history

  23. Adding errors

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    81a234b View commit details
    Browse the repository at this point in the history

  24. rebase error

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    070362e View commit details
    Browse the repository at this point in the history

  25. Promote test result

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    feb6d56 View commit details
    Browse the repository at this point in the history

  26. WIP: try and use a tmpfile (not working yet...)

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    fc66227 View commit details
    Browse the repository at this point in the history

  27. Fix temp file usage

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    3b25c09 View commit details
    Browse the repository at this point in the history

  28. More Proper errors

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    7d0d055 View commit details
    Browse the repository at this point in the history

  29. typo

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    399f929 View commit details
    Browse the repository at this point in the history

  30. changes

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    25b3bca View commit details
    Browse the repository at this point in the history

  31. WIP

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    99f5440 View commit details
    Browse the repository at this point in the history

  32. Fix printing of decimals

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    3605eca View commit details
    Browse the repository at this point in the history

  33. Some more tests

    @Gbury
    Gbury committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c3c571b View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Add zarith in opam file + some misc fixes

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

Commits on Sep 12, 2024

  1. Fixes for real lits

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

Commits on Sep 14, 2024

  1. Fix misclassification of to_int/Floor_to_int

    @Gbury
    Gbury committed Sep 14, 2024
    2 Configuration menu
    Copy the full SHA
    19bf4ea View commit details
    Browse the repository at this point in the history

  2. two minor fixes

    @Gbury
    Gbury committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    7e18fa9 View commit details
    Browse the repository at this point in the history