+
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: buffer
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 9 commits
  • 756 files changed
  • 1 contributor

Commits on May 31, 2021

  1. template code

    @baldip123
    baldip123 committed May 31, 2021
    Configuration menu
    Copy the full SHA
    e1ef535 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2021

  1. adding the code for new explain error, this code works for all the pa… 

    …tterns
    @baldip123
    baldip123 committed Jul 19, 2021
    Configuration menu
    Copy the full SHA
    ac21799 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2021

  1. made change to ranker

    @baldip123
    baldip123 committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    4f397de View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2021

  1. 1.implemented only considering function parameters in preconditions 

    2.added the condition for atleast length atleast 1 in pattern1
3.removed the logging from partition attribute adder
    @baldip123
    baldip123 committed Aug 12, 2021
    Configuration menu
    Copy the full SHA
    7e07d52 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2021

  1. finalized weighted vocab implementation

    @baldip123
    baldip123 committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    3153155 View commit details
    Browse the repository at this point in the history

  2. added weightfinder class to explainerror

    @baldip123
    baldip123 committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    5d38a16 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2022

  1. Added a change to the ranker for identifying pattern3 better, by extr… 

    …acting the exact buffer involved in the overflow, and finding if any index of it was ever compared with 0 or EOS.
    @baldip123
    baldip123 committed May 11, 2022
    Configuration menu
    Copy the full SHA
    9a6f815 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2022

  1. added the code for the variables and loads only option. And added the… 

    … code for counting the number of assertion violations using both line numbers and entrypoints.
    @baldip123
    baldip123 committed May 15, 2022
    Configuration menu
    Copy the full SHA
    0f2b10f View commit details
    Browse the repository at this point in the history

Commits on May 19, 2022

  1. removed the printing of query.bpl to save time

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