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.

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

Revert 106216d67358f13f4be296ee59f711a1f1566bbe. #371

Closed
wants to merge 1 commit into from
Closed

Revert 106216d67358f13f4be296ee59f711a1f1566bbe. #371

wants to merge 1 commit into from

Conversation

espindola
Copy link

This depends on llvm's 131294.

This depends on llvm's 131294.
@espindola
Copy link
Author

Ping? Has llvm on the bots been upgraded?
I update the pull request to cover the vec() -> [] transition.

@graydon
Copy link
Contributor

graydon commented May 20, 2011

LLVM has now been updated on the bots. Integrated. Thanks.

@graydon graydon closed this May 20, 2011
Aaron1011 pushed a commit to Aaron1011/rust that referenced this pull request Oct 26, 2020
…c7fcfe

Bump gimli from `b0141dd` to `2c7fcfe`
flip1995 pushed a commit to flip1995/rust that referenced this pull request Oct 20, 2022
add `cast-nan-to-int` lint

This fixes rust-lang#371.

r? `@Alexendoo`

---

changelog: add [`cast-nan-to-int`] lint
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this pull request Mar 7, 2023
* Add inner loop test

* Abstract primal and reverse api

* Add nofree option

* Keep AtomicAdd in key

* Preserve non-cache allocations
antoyo added a commit to antoyo/rust that referenced this pull request Oct 26, 2023
calebzulawski added a commit to calebzulawski/rust that referenced this pull request Nov 19, 2023
celinval pushed a commit to celinval/rust-dev that referenced this pull request Jun 4, 2024
* Support gen-symbols.

* Support allow-cbmc-verification-failure
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants