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

Rebase master onto Scala 2.13 #65

Open
wants to merge 29 commits into
base: scala-2.13
Choose a base branch
from
Open

Rebase master onto Scala 2.13 #65

wants to merge 29 commits into from

Commits on Sep 15, 2024

  1. Cleans up and addresses some comments in Symex

    @zafer-esen
    zafer-esen committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    dff26f4 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Merge pull request uuverifiers#63 from uuverifiers/symex-cleanup 

    Cleans up and addresses some comments in Symex
    @zafer-esen
    zafer-esen authored Sep 16, 2024
    Configuration menu
    Copy the full SHA
    af01d3e View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Print models as s-lists

    @sankalpgambhir
    sankalpgambhir committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    084ebd0 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Update yices url, wget call in tests

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    0f627ff View commit details
    Browse the repository at this point in the history

  2. Update answers wrt new model printing

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    152bf3a View commit details
    Browse the repository at this point in the history

  3. Merge pull request uuverifiers#64 from sankalpgambhir/model-printing-… 

    …fix2

Print models according to SMTLIB standard
    @pruemmer
    pruemmer authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    45ae3bb View commit details
    Browse the repository at this point in the history

  4. Add explicit sbt version

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ecb4ea9 View commit details
    Browse the repository at this point in the history

  5. Port build and dependencies to 2.13.12

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    8c21ca5 View commit details
    Browse the repository at this point in the history

  6. Port ASTree

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    7dbc794 View commit details
    Browse the repository at this point in the history

  7. Port cfg

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    3e3a8d3 View commit details
    Browse the repository at this point in the history

  8. Port abstractions

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    d8e47e5 View commit details
    Browse the repository at this point in the history

  9. Port accelerations

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ca4e593 View commit details
    Browse the repository at this point in the history

  10. Port bottomup

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    7548c0d View commit details
    Browse the repository at this point in the history

  11. Port CCReader

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    811af8f View commit details
    Browse the repository at this point in the history

  12. Port HornCegar

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    f68d128 View commit details
    Browse the repository at this point in the history

  13. Port CUP parser

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    1bc70f3 View commit details
    Browse the repository at this point in the history

  14. Port preprocessor

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    3e65718 View commit details
    Browse the repository at this point in the history

  15. Port symex

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    1b182e6 View commit details
    Browse the repository at this point in the history

  16. Port nts

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    8f51e58 View commit details
    Browse the repository at this point in the history

  17. Port princessAPI

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    762b48d View commit details
    Browse the repository at this point in the history

  18. Port RelyGuarantee

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    400b1bd View commit details
    Browse the repository at this point in the history

  19. Port utils

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ab3c688 View commit details
    Browse the repository at this point in the history

  20. replaced ArrayStack with Stack

    @pruemmer @sankalpgambhir
    pruemmer authored and sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    e5c8b42 View commit details
    Browse the repository at this point in the history

  21. eliminated view bounds

    @pruemmer @sankalpgambhir
    pruemmer authored and sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    37c75a8 View commit details
    Browse the repository at this point in the history

  22. merge

    @pruemmer @sankalpgambhir
    pruemmer authored and sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    7411ae1 View commit details
    Browse the repository at this point in the history

  23. fixed failing test case

    @pruemmer @sankalpgambhir
    pruemmer authored and sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    0a8d0ff View commit details
    Browse the repository at this point in the history

  24. Merge branch 'scala-2.13' into scala213-rebase

    @sankalpgambhir
    sankalpgambhir authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    bf31354 View commit details
    Browse the repository at this point in the history

  25. Scala 2.13 fixes

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    14d0a24 View commit details
    Browse the repository at this point in the history

  26. Request CI run on scala 2.13

    @sankalpgambhir
    sankalpgambhir committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    34fa2fe View commit details
    Browse the repository at this point in the history