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

2021 week 41: Merge changes from rustc repository #549

Closed
celinval opened this issue Oct 13, 2021 · 1 comment
Closed

2021 week 41: Merge changes from rustc repository #549

celinval opened this issue Oct 13, 2021 · 1 comment
Assignees
@celinval
Labels
Z-Sync Upstream Fetch changes from rustc repository. Old Rebase

Comments

@celinval
Copy link
Contributor

We currently develop RMC on a fork of the rust compiler. We synchronize with the upstream project once a week. This issue is to track the merge for week 41.
@celinval celinval added the Z-Sync Upstream Fetch changes from rustc repository. Old Rebase label Oct 13, 2021
@celinval celinval self-assigned this Oct 13, 2021
celinval added a commit to celinval/kani-dev that referenced this issue Oct 19, 2021
@celinval
Merge rustc into rmc - 2021 week 41 (model-checking#549)
1081e52 
Conflicts:
    .github/workflows/ci.yml

Resolution:
  - Kept deleted ci.yml. This is not used in rmc project.
@celinval
Copy link
Contributor Author

Pushed the changes to main as well as created a branch named upstream-rustc to track the latest rustc commit that was merged in.

tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 25, 2022
@celinval @tedinski
Merge rustc into rmc - 2021 week 41 (model-checking#549)
97511d1 
Conflicts:
    .github/workflows/ci.yml

Resolution:
  - Kept deleted ci.yml. This is not used in rmc project.
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 26, 2022
@celinval @tedinski
Merge rustc into rmc - 2021 week 41 (model-checking#549)
495b6ba 
Conflicts:
    .github/workflows/ci.yml

Resolution:
  - Kept deleted ci.yml. This is not used in rmc project.
tedinski pushed a commit that referenced this issue Apr 27, 2022
@celinval @tedinski
Merge rustc into rmc - 2021 week 41 (#549)
17cc5ba 
Conflicts:
    .github/workflows/ci.yml

Resolution:
  - Kept deleted ci.yml. This is not used in rmc project.
@github-actions github-actions bot mentioned this issue Sep 29, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@celinval celinval

Labels
Z-Sync Upstream Fetch changes from rustc repository. Old Rebase
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@celinval