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

[WIP] Support for converting ILA program fragments to CHC problems #223

Open
wants to merge 32 commits into
base: ila2chc
Choose a base branch
from
Open

[WIP] Support for converting ILA program fragments to CHC problems #223

wants to merge 32 commits into from

Commits on Feb 17, 2022

  1. Automatically encoded tiniest of fragments!

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    b4b738f View commit details
    Browse the repository at this point in the history

  2. Problem: can't have arrays in CHC rules.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    4ab4d34 View commit details
    Browse the repository at this point in the history

  3. Fixed by changing fixedpoint engine to spacer.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    d8774a3 View commit details
    Browse the repository at this point in the history

  4. Fixed all programs being valid.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    a33e35c View commit details
    Browse the repository at this point in the history

  5. Fixed bug with parameters.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    2810dc3 View commit details
    Browse the repository at this point in the history

  6. Loop support!

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    45d4ae9 View commit details
    Browse the repository at this point in the history

  7. Created hierarchy example.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    bb24198 View commit details
    Browse the repository at this point in the history

  8. Added user-facing support for program-fragment equivalence.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    8cd668c View commit details
    Browse the repository at this point in the history

  9. WIP: created front-end language.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    dda3ee7 View commit details
    Browse the repository at this point in the history

  10. Deleted unnecessary function.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    44b893b View commit details
    Browse the repository at this point in the history

  11. Update smtswitch for z3 integration

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    06d06dd View commit details
    Browse the repository at this point in the history

  12. Update header guard

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    c5bee32 View commit details
    Browse the repository at this point in the history

  13. Link GMP and pthread for smt-switch

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    38f9acf View commit details
    Browse the repository at this point in the history

  14. Add LIA SMT converter (trivial)

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    49a9907 View commit details
    Browse the repository at this point in the history

  15. Add test for using z3 in LiaCvtr

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    d9c8427 View commit details
    Browse the repository at this point in the history

  16. Revert mistaken push

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    819fe80 View commit details
    Browse the repository at this point in the history

  17. SMT converter for LIA. Only partial ops are supported.

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    da7816b View commit details
    Browse the repository at this point in the history

  18. Script for setting up smt-switch & update GitHub action

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    aa6baeb View commit details
    Browse the repository at this point in the history

  19. Fix typo

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    2c7a19c View commit details
    Browse the repository at this point in the history

  20. Use GA env for script path

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    d772a8f View commit details
    Browse the repository at this point in the history

  21. Try checking out in steps

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    c409a38 View commit details
    Browse the repository at this point in the history

  22. Update cmake.yml

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    d6eafc3 View commit details
    Browse the repository at this point in the history

  23. Setup self-hosted runner & update smt-switch build script

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    cfe43ff View commit details
    Browse the repository at this point in the history

  24. Specify build toolset

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    bc585fe View commit details
    Browse the repository at this point in the history

  25. Use CentOS8 for self-hosted runner

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    983e5cd View commit details
    Browse the repository at this point in the history

  26. Update Boolector build scripts and add action description

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    816e8a8 View commit details
    Browse the repository at this point in the history

  27. Setup nightly build

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    a4038c3 View commit details
    Browse the repository at this point in the history

  28. Add cleanup step in Actions

    @Bo-Yuan-Huang @Anonymous-Stranger
    Bo-Yuan-Huang authored and Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    8dfbb6f View commit details
    Browse the repository at this point in the history

  29. Added extra test and shrunk others for speed.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    caeb8e3 View commit details
    Browse the repository at this point in the history

  30. Small modifications to help syncing.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    0fdd890 View commit details
    Browse the repository at this point in the history

  31. Added pretty printing for program fragments

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    6469dd1 View commit details
    Browse the repository at this point in the history

  32. Fixed Z3 linking bug.

    @Anonymous-Stranger
    Anonymous-Stranger committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    a20036f View commit details
    Browse the repository at this point in the history