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

Cheatcodes with ability to control generated K variable names #745

Draft
wants to merge 30 commits into
base: master
Choose a base branch
from
Draft

Cheatcodes with ability to control generated K variable names #745

wants to merge 30 commits into from

Commits on Aug 5, 2024

  1. Add freshUInt variant that allows specifying generated var name

    @nwatson22
    nwatson22 committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8114b61 View commit details
    Browse the repository at this point in the history

  2. Use superclass method in KontrolSemantics

    @nwatson22
    nwatson22 committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    09c5194 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Add selectors for other cheatcodes

    @nwatson22
    nwatson22 committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    ccddb49 View commit details
    Browse the repository at this point in the history

  2. Implement for symbolicStorage

    @nwatson22
    nwatson22 committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    a5fa764 View commit details
    Browse the repository at this point in the history

  3. Use newer kontrol-cheatcodes version, add rules for the new cheatcodes

    @nwatson22
    nwatson22 committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    3aa332d View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Add rest of cheatcodes (symbolicBytes not working yet)

    @nwatson22
    nwatson22 committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    61ff183 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @PetarMax
    PetarMax committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    9b1cc25 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Allow custom var name cheatcode symbolic length in freshBytes and sym… 

    …bolic address in symbolicStorage
    @nwatson22
    nwatson22 committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    7c0d580 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @nwatson22
    nwatson22 committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    c903ed9 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. Enable some new tests

    @nwatson22
    nwatson22 committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    3b49799 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge master into branch

    @nwatson22
    nwatson22 committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    a3a1d83 View commit details
    Browse the repository at this point in the history

  2. Fix test

    @nwatson22
    nwatson22 committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    f343982 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @nwatson22
    nwatson22 committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    990854e View commit details
    Browse the repository at this point in the history

  4. Update expected output

    @nwatson22
    nwatson22 committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    32a2167 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Fix freshBool

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f06b827 View commit details
    Browse the repository at this point in the history

  2. Fix test disambiguation, update symbolic_bytes_custom_name expected

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    839635b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    d441d58 View commit details
    Browse the repository at this point in the history

  4. Update expected output

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    8b0cecf View commit details
    Browse the repository at this point in the history

  5. Merge branch 'noah/custom-varnames-cheatcodes' of https://github.com/… 

    …runtimeverification/kontrol into noah/custom-varnames-cheatcodes
    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    087efad View commit details
    Browse the repository at this point in the history

  6. Update test_address_custom_name

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    7e3604c View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    eb05bab View commit details
    Browse the repository at this point in the history

  8. Update src/kontrol/solc_to_k.py

    @nwatson22
    nwatson22 committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    38496da View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @nwatson22
    nwatson22 committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    5ae8000 View commit details
    Browse the repository at this point in the history

  2. Update src/tests/integration/conftest.py

    @nwatson22
    nwatson22 committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    eecdc05 View commit details
    Browse the repository at this point in the history

  3. Fix indentation issue

    @nwatson22
    nwatson22 committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    aec4226 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2024

  1. Merge branch 'master' into noah/custom-varnames-cheatcodes

    @PetarMax
    PetarMax committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    09a3cfb View commit details
    Browse the repository at this point in the history

  2. can_make_custom_step

    @PetarMax
    PetarMax committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    b8f1500 View commit details
    Browse the repository at this point in the history

  3. expected outputs, custom step activation

    @PetarMax
    PetarMax committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    2e00656 View commit details
    Browse the repository at this point in the history

  4. more expected outputs

    @PetarMax
    PetarMax committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    83f4683 View commit details
    Browse the repository at this point in the history

  5. and even more expected outputs

    @PetarMax
    PetarMax committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    6aa33c6 View commit details
    Browse the repository at this point in the history