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

Unify kani library and kani core logic #3333

Merged
merged 21 commits into from
Aug 6, 2024
Merged

Unify kani library and kani core logic #3333

merged 21 commits into from
Aug 6, 2024

Commits on Jul 3, 2024

  1. Resolving [E0734]

    @jaisnan
    jaisnan committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    259ad2d View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Merge branch 'main' of https://github.com/model-checking/kani into cl… 

    …ean-kani-core
    @jaisnan
    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    2a15ae3 View commit details
    Browse the repository at this point in the history

  2. Add mem to cleanup and fix regressions

    @jaisnan
    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    3e3b966 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into clean-kani-core

    @jaisnan
    jaisnan authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    5eff167 View commit details
    Browse the repository at this point in the history

  4. Fix regression

    @jaisnan
    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    1f77b3f View commit details
    Browse the repository at this point in the history

  5. Merge branch 'clean-kani-core' of https://github.com/jaisnan/kani int… 

    …o clean-kani-core
    @jaisnan
    jaisnan committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    2c2acfc View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into clean-kani-core

    @jaisnan
    jaisnan authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    012019e View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. Remove files, update expected and remove unnecessary attributes

    @jaisnan
    jaisnan committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    ff2d867 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Merge branch 'main' of https://github.com/model-checking/kani into cl… 

    …ean-kani-core
    @jaisnan
    jaisnan committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    352a50b View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Merge branch 'main' into clean-kani-core

    @jaisnan
    jaisnan authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    c318232 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. Merge branch 'main' of https://github.com/model-checking/kani into cl… 

    …ean-kani-core
    @jaisnan
    jaisnan committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    e5e6973 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Fix first set of regressions

    @jaisnan
    jaisnan committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    79a8778 View commit details
    Browse the repository at this point in the history

  2. Add missing implies block

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

Commits on Aug 3, 2024

  1. Rename unstable

    @jaisnan
    jaisnan committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    65240cf View commit details
    Browse the repository at this point in the history

  2. Merge branch 'clean-kani-core-2' into clean-kani-core

    @jaisnan
    jaisnan committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    85280b0 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of https://github.com/model-checking/kani into cl… 

    …ean-kani-core
    @jaisnan
    jaisnan committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    41605ae View commit details
    Browse the repository at this point in the history

  4. Fix clippy warning

    @jaisnan
    jaisnan committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    070b0c2 View commit details
    Browse the repository at this point in the history

  5. Add warning over macro

    @jaisnan
    jaisnan committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    772643d View commit details
    Browse the repository at this point in the history

  6. Remove comments

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

Commits on Aug 5, 2024

  1. Merge branch 'main' into clean-kani-core

    @jaisnan
    jaisnan authored Aug 5, 2024
    Configuration menu
    Copy the full SHA
    834cba7 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Merge branch 'main' into clean-kani-core

    @jaisnan
    jaisnan authored Aug 6, 2024
    Configuration menu
    Copy the full SHA
    30613df View commit details
    Browse the repository at this point in the history