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

Commits on Oct 14, 2024

  1. cehckpoint something that builds.

    @pnkfelix
    pnkfelix committed Oct 14, 2024
    Copy the full SHA
    e8b3a46 View commit details

Commits on Oct 15, 2024

  1. checkpoint something else that builds.

    @pnkfelix
    pnkfelix committed Oct 15, 2024
    Copy the full SHA
    59642ca View commit details

  2. checkpoint compiler and rustdoc changes that build with some HIR adop… 

    …tion of contract form.
    @pnkfelix
    pnkfelix committed Oct 15, 2024
    Copy the full SHA
    93d3633 View commit details

Commits on Oct 16, 2024

  1. work on pretty printing contracts and fixing their lowering.

    @pnkfelix
    pnkfelix committed Oct 16, 2024
    Copy the full SHA
    80d2036 View commit details

  2. get -Zunpretty=hir able to print the HIR-encoded contracts without IC… 

    …Eing.
    @pnkfelix
    pnkfelix committed Oct 16, 2024
    Copy the full SHA
    91af61c View commit details

Commits on Oct 17, 2024

  1. removed incorrect visit call (it is covered by the visit_fn that imme… 

    …diately follows).
    @pnkfelix
    pnkfelix committed Oct 17, 2024
    Copy the full SHA
    3ffe83d View commit details

  2. Match what rustfmt wants.

    @pnkfelix
    pnkfelix committed Oct 17, 2024
    Copy the full SHA
    17d4ea0 View commit details

  3. move hir visit_contract_ids default body into free-standing walk_cont… 

    …racts_ids.
    @pnkfelix
    pnkfelix committed Oct 17, 2024
    Copy the full SHA
    d1f03ae View commit details

  4. rustfmt imports for hir intravisit

    @pnkfelix
    pnkfelix committed Oct 17, 2024
    Copy the full SHA
    1504e07 View commit details

Commits on Oct 22, 2024

  1. got defid embedded into contract.

    @pnkfelix
    pnkfelix committed Oct 22, 2024
    Copy the full SHA
    cd74991 View commit details

Commits on Oct 28, 2024

  1. hacked in parent/child relation between a fn and its pre/post-conditi… 

    …on contract.
    @pnkfelix
    pnkfelix committed Oct 28, 2024
    Copy the full SHA
    3007ba7 View commit details

Commits on Oct 29, 2024

  1. attempt to fill in blanks re contract codegen. it still ICEs -- namel… 

    …y stealing an already stolen thir_body in visit_inner_body of check_unsafety.rs:205.
    @pnkfelix
    pnkfelix committed Oct 29, 2024
    Copy the full SHA
    44e97b4 View commit details

Commits on Oct 31, 2024

  1. instrument steal code a bit.

    @pnkfelix
    pnkfelix committed Oct 31, 2024
    Copy the full SHA
    59805ae View commit details
Loading