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

[VCLLVM] Add partial contract support for LLVM #1034

Merged
merged 8 commits into from
Jun 28, 2023
Merged

[VCLLVM] Add partial contract support for LLVM #1034

merged 8 commits into from
Jun 28, 2023

Commits on May 25, 2023

  1. Add partial contract support for LLVM

    @Drevanoorschot
    Drevanoorschot committed May 25, 2023
    Configuration menu
    Copy the full SHA
    bd49bbd View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. LLVMOrigin bugfix

    @Drevanoorschot
    Drevanoorschot committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    f6e3c8c View commit details
    Browse the repository at this point in the history

  2. Move contract parser from rewriter to resolver

    @Drevanoorschot
    Drevanoorschot committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    a620ebf View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Merge branch 'dev' into vcllvm_contractparser

    @pieter-bos
    pieter-bos authored Jun 7, 2023
    Configuration menu
    Copy the full SHA
    76cadf3 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. Refactor unexpect LLVMContractParser parts to Resolver and LangLLVMto… 

    …Col rewriter
    @Drevanoorschot
    Drevanoorschot committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    700f7a6 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2023

  1. Introduce function calls in function contracts

    @Drevanoorschot
    Drevanoorschot committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    c28d8d2 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. Added naive control flow structuring algorithm for pure marked llvm f… 

    …unctions
    @Drevanoorschot
    Drevanoorschot committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    2d23b7d View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. Merge branch 'dev' into vcllvm_contractparser 

    # Conflicts:
#	build.sc
#	src/col/vct/col/resolve/Resolve.scala
#	src/main/vct/main/stages/Resolution.scala
    @pieter-bos
    pieter-bos committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    f182774 View commit details
    Browse the repository at this point in the history