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

Update rustc all at once #735

Merged

W95Psp merged 18 commits into hacspec:main from Nadrieril:update-rustc-madness

Jun 27, 2024

Collaborator

Nadrieril commented Jun 25, 2024

I'm opening the PR now so I can leave comments on it. The updates until Jan 2024 are in #733 already.

Nadrieril added 6 commits

June 24, 2024 15:55


          Bump rustc

23a5e94


          Bump rustc

eb68953


          Bump rustc

8124bf4


          Linter no longer needs to hold on to a Session

a8d0a7d


          Add nix utility to retrieve the rustc commit for the given toolchain

a4c0c26


          Update rustc

241c7f6

Nadrieril commented

View reviewed changes

frontend/diagnostics/src/lib.rs Outdated Show resolved Hide resolved


          Update rustc

50b195b

Nadrieril commented

View reviewed changes

hax-lib-macros/src/syn_ext.rs Outdated Show resolved Hide resolved

Nadrieril added 2 commits

June 25, 2024 15:15


          Cleanup

bbbd02d


          Update rustc

e1439bf

Nadrieril commented

View reviewed changes

frontend/exporter/src/types/mir.rs Show resolved Hide resolved

Nadrieril commented

View reviewed changes

frontend/exporter/src/types/copied.rs Show resolved Hide resolved


          Update rustc

caaf85b

Nadrieril commented

View reviewed changes

engine/lib/import_thir.ml Show resolved Hide resolved

Nadrieril added 2 commits

June 25, 2024 16:25


          Fix type of Cmp

34482ef


          Update rustc

ff74ed2

Nadrieril commented

View reviewed changes

engine/lib/import_thir.ml Show resolved Hide resolved

Nadrieril commented

View reviewed changes

engine/lib/import_thir.ml Show resolved Hide resolved

Nadrieril commented

View reviewed changes

hax-lib/Cargo.toml Show resolved Hide resolved

Nadrieril added 2 commits

June 26, 2024 14:16


          Update rustc

88614bc


          Add a bit of information to traces

f5b704f

Nadrieril commented

View reviewed changes

frontend/exporter/src/constant_utils.rs Outdated Show resolved Hide resolved

Nadrieril mentioned this pull request

Mad rustc update AeneasVerif/charon#272

Merged

Nadrieril added 2 commits

June 26, 2024 15:38


          One day more to fix a bug

09f3985

Specifically rust-lang/rustfmt#6210.


          Get the type of uneval constants properly

40b4786

I was using the wrong `DefId` and forgot to substitute arguments.

Nadrieril force-pushed the update-rustc-madness branch from 2c67d33 to 40b4786 Compare

June 26, 2024 14:22

Nadrieril marked this pull request as ready for review

June 27, 2024 11:50

Nadrieril changed the title ~~WIP: Update rustc all at once~~ Update rustc all at once

W95Psp mentioned this pull request

Move diagnostics reporting to annotate_snippets #739

Closed

W95Psp approved these changes

View reviewed changes

Collaborator

W95Psp left a comment

That looks good to me! 😃 let's merge it! 🚀


          Merge branch 'main' into update-rustc-madness

2b39ef6

W95Psp enabled auto-merge

June 27, 2024 12:05

W95Psp added this pull request to the merge queue

github-merge-queue bot removed this pull request from the merge queue due to failed status checks


          Merge branch 'main' into update-rustc-madness

a9adabf

W95Psp enabled auto-merge

June 27, 2024 15:25

W95Psp added this pull request to the merge queue

github-merge-queue bot removed this pull request from the merge queue due to failed status checks

W95Psp added this pull request to the merge queue

Merged via the queue into hacspec:main with commit c711b19

12 of 13 checks passed

Nadrieril deleted the update-rustc-madness branch

June 28, 2024 06:15

W95Psp mentioned this pull request

Frontend: bump rustc version #224

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet