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

Make branch extraction more intelligent #652

Merged
merged 14 commits into from
Sep 18, 2023
Merged

Make branch extraction more intelligent #652

merged 14 commits into from
Sep 18, 2023

Commits on Sep 13, 2023

  1. Make branch extraction more intelligent

    @nwatson22
    nwatson22 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    d259f23 View commit details
    Browse the repository at this point in the history

  2. Merge d259f23 into d19598b

    @nwatson22
    nwatson22 authored Sep 13, 2023
    Configuration menu
    Copy the full SHA
    51d7729 View commit details
    Browse the repository at this point in the history

  3. Set Version: 0.1.440

    devops committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    2863769 View commit details
    Browse the repository at this point in the history

  4. Do not immediately apply simplifications, only count non-bottom nodes

    @nwatson22
    nwatson22 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    2826395 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'noah/extract-branches-fix' of https://github.com/runtim… 

    …everification/pyk into noah/extract-branches-fix
    @nwatson22
    nwatson22 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    6de4680 View commit details
    Browse the repository at this point in the history

  6. Use kast_simplify

    @nwatson22
    nwatson22 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    07574aa View commit details
    Browse the repository at this point in the history

  7. Merge 07574aa into 26443bf

    @nwatson22
    nwatson22 authored Sep 13, 2023
    Configuration menu
    Copy the full SHA
    229ed7a View commit details
    Browse the repository at this point in the history

  8. Set Version: 0.1.441

    devops committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    9967e07 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Merge master into branch

    @nwatson22
    nwatson22 committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    21b44fa View commit details
    Browse the repository at this point in the history

  2. Merge 21b44fa into da0e4ea

    @nwatson22
    nwatson22 authored Sep 15, 2023
    Configuration menu
    Copy the full SHA
    c142928 View commit details
    Browse the repository at this point in the history

  3. Set Version: 0.1.443

    devops committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    08aa799 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. Merge branch 'master' into noah/extract-branches-fix

    @PetarMax
    PetarMax authored Sep 18, 2023
    Configuration menu
    Copy the full SHA
    848713c View commit details
    Browse the repository at this point in the history

  2. Merge 848713c into 31ca537

    @nwatson22
    nwatson22 authored Sep 18, 2023
    Configuration menu
    Copy the full SHA
    3658a3c View commit details
    Browse the repository at this point in the history

  3. Set Version: 0.1.444

    devops committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    849773d View commit details
    Browse the repository at this point in the history