+
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: boogie-org/corral
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: boogie-org/corral
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: legion
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 8 commits
  • 4 files changed
  • 3 contributors

Commits on Jun 7, 2021

  1. Added alpha interleaving strategy. Run with /alphaInterleaving:<value… 

    …>. value 0 is UW and value 100 is OR.
    prantikchatterjee committed Jun 7, 2021
    Configuration menu
    Copy the full SHA
    2f7c320 View commit details
    Browse the repository at this point in the history

  2. Fixed inconclusive result bug and added z3 query time output

    @jayu9596
    jayu9596 committed Jun 7, 2021
    Configuration menu
    Copy the full SHA
    4f4294d View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2021

  1. Fixed bug: z3 query time log

    @jayu9596
    jayu9596 committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    f88b19b View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2021

  1. Commented LOG code

    @jayu9596
    jayu9596 committed Jul 7, 2021
    Configuration menu
    Copy the full SHA
    4572e9f View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2021

  1. Merge pull request #157 from jayu9596/corralAlphaInterleaving 

    Corral alpha interleaving
    @prantikchatterjee
    prantikchatterjee authored Jul 17, 2021
    Configuration menu
    Copy the full SHA
    75aa2fe View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2022

  1. count z3 calls

    prantikchatterjee committed Jan 22, 2022
    Configuration menu
    Copy the full SHA
    7d57922 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2022

  1. Added disjointness constraints to UW

    prantikchatterjee committed Feb 2, 2022
    Configuration menu
    Copy the full SHA
    21d04ca View commit details
    Browse the repository at this point in the history

Commits on May 6, 2022

  1. run legion in corral with underWidenSI flag

    prantikchatterjee committed May 6, 2022
    Configuration menu
    Copy the full SHA
    c1e7a09 View commit details
    Browse the repository at this point in the history
Loading
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载