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

feat: Several updates in SMT verification module #7105

Merged
merged 13 commits into from
Jun 19, 2024
Merged

feat: Several updates in SMT verification module #7105

merged 13 commits into from
Jun 19, 2024

Commits on Jun 19, 2024

  1. Not needed anymore

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    fbf4903 View commit details
    Browse the repository at this point in the history

  2. Owerflowed bitvector and optimizations

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    b762da9 View commit details
    Browse the repository at this point in the history

  3. Logging issues

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    940698c View commit details
    Browse the repository at this point in the history

  4. Added unsigned division

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    71077bb View commit details
    Browse the repository at this point in the history

  5. New Term class and bug fixes 

    - New ITerm symbolic class. Ordinary integers
- Fixed mod operation + added unsigned division to bitvectors
    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    7190e98 View commit details
    Browse the repository at this point in the history

  6. Colored output + fix_range_lists function

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c56fff5 View commit details
    Browse the repository at this point in the history

  7. New iterm class tests

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    46a51bc View commit details
    Browse the repository at this point in the history

  8. Updated readme file

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    d5773ef View commit details
    Browse the repository at this point in the history

  9. formatting

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    a7183f9 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into as/smt-verification-upmodule-update-4

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    4df96ee View commit details
    Browse the repository at this point in the history

  11. checks didn't start..

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c54f7b8 View commit details
    Browse the repository at this point in the history

  12. Iterm

    @Sarkoxed
    Sarkoxed committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    a937f0e View commit details
    Browse the repository at this point in the history

  13. Merge branch 'master' into as/smt-verification-upmodule-update-4

    @Rumata888
    Rumata888 authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    1902b3c View commit details
    Browse the repository at this point in the history