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: rust-lang/rust
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: pnkfelix/rust
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: rustc-contracts-checkpoint-wrapper
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 38 files changed
  • 1 contributor

Commits on Nov 1, 2024

  1. checkpoint foundations for intrinsic based contracts.

    @pnkfelix
    pnkfelix committed Nov 1, 2024
    Copy the full SHA
    46ddf28 View commit details

Commits on Nov 5, 2024

  1. checkpoint half-baked but compiling state of intrinsics and a snippet… 

    … of attribute support.
    @pnkfelix
    pnkfelix committed Nov 5, 2024
    Copy the full SHA
    c48fe30 View commit details

  2. Revise the default bodies of the contract checking intrinsics to asse… 

    …rt that the contracts hold.
    @pnkfelix
    pnkfelix committed Nov 5, 2024
    Copy the full SHA
    228322a View commit details

Commits on Nov 7, 2024

  1. checkpoint status. attribute desugaring into AST still needs to be im… 

    …plemented.

and this has just the outset of support for AST lowering to HIR.
    @pnkfelix
    pnkfelix committed Nov 7, 2024
    Copy the full SHA
    3bb2bed View commit details

Commits on Nov 8, 2024

  1. checkpoint lowering of contract requires attribute to the AST form.

    @pnkfelix
    pnkfelix committed Nov 8, 2024
    Copy the full SHA
    0b51302 View commit details

Commits on Nov 22, 2024

  1. checkpoint work on trying to getting wrapper-based contract hacked to… 

    …gether.
    @pnkfelix
    pnkfelix committed Nov 22, 2024
    Copy the full SHA
    098d6c3 View commit details
Loading