Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

Generic state merging, cover pullbacks #544

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

Generic state merging, cover pullbacks #544

wants to merge 16 commits into from

Commits on Jul 1, 2023

  1. cterm: add CTerm.anti_unify(cterm) -> tuple[CTerm, CSubst, CSubst]

    @ehildenb
    ehildenb committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    deaea59 View commit details
    Browse the repository at this point in the history

  2. kcfg/kcfg: add KCFG.create_merge for merging several nodes in a graph

    @ehildenb
    ehildenb committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    2939fa1 View commit details
    Browse the repository at this point in the history

  3. proof/reachability: add APRProver.specialize_target_node routine for … 

    …factoring out specialized proofs
    @ehildenb
    ehildenb committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    44a105b View commit details
    Browse the repository at this point in the history

  4. cterm: add CSubst.ml_pred

    @ehildenb
    ehildenb committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    89ce40f View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Merge remote-tracking branch 'upstream/master' into merge-nodes

    @ehildenb
    ehildenb committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    69638bc View commit details
    Browse the repository at this point in the history

  2. proof/reachability: move APRProver.specialize_target_node => APRProof… 

    ….specialize_target_node
    @ehildenb
    ehildenb committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    312cc67 View commit details
    Browse the repository at this point in the history

  3. kcfg/kcfg: implement KCFG.pullback_covers which minimizes covers

    @ehildenb
    ehildenb committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    2a28e9f View commit details
    Browse the repository at this point in the history

  4. proof/reachability: implement simpler APRProof.specialize_target_node… 

    … with KCFG.pullback_covers
    @ehildenb
    ehildenb committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    e065729 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Merge e065729 into 12fe69f

    @ehildenb
    ehildenb authored Jul 19, 2023
    Configuration menu
    Copy the full SHA
    2837570 View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.372

    devops committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    a56d4b0 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Merge remote-tracking branch 'upstream/master' into merge-nodes

    @ehildenb
    ehildenb committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    12e37f5 View commit details
    Browse the repository at this point in the history

  2. Merge 12e37f5 into 7f72149

    @ehildenb
    ehildenb authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    fb09eb9 View commit details
    Browse the repository at this point in the history

  3. Set Version: 0.1.385

    devops committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    2217986 View commit details
    Browse the repository at this point in the history

  4. src/tests/unit/{kast,test_manip,test_cterm}: make unit test harness f… 

    …or cterm antiunification
    @ehildenb
    ehildenb committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    f33865e View commit details
    Browse the repository at this point in the history

  5. kast/manip: remove now unused anti_unify_with_constraints

    @ehildenb
    ehildenb committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    260b6b2 View commit details
    Browse the repository at this point in the history

  6. kcfg/kcfg: avoid duplicate covers being created

    @ehildenb
    ehildenb committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    90f665e View commit details
    Browse the repository at this point in the history