Skip to content

Ocaml 3.12 #172

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
wants to merge 0 commits into from
Closed

Ocaml 3.12 #172

wants to merge 0 commits into from

Conversation

ghost
Copy link

@ghost ghost commented Oct 12, 2010

Dear all,
Here are the changes I made to get rust to compile with OCaml 3.12
Peter

@ghost
Copy link
Author

ghost commented Oct 22, 2010

Modified and applied in commit graydon/rust@76f7b043bc7c5084a6b4

oli-obk added a commit to oli-obk/rust that referenced this pull request Jul 19, 2017
update for latest nightly rustc
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this pull request Dec 12, 2017
kazcw pushed a commit to kazcw/rust that referenced this pull request Oct 23, 2018
* avx: _mm256_load_pd, _mm256_store_pd, _mm256_load_ps, _mm256_store_ps

* avx: _mm256_load_si256, _mm256_store_si256
dlrobertson pushed a commit to dlrobertson/rust that referenced this pull request Nov 29, 2018
Small changes around trait objects
djtech-dev pushed a commit to djtech-dev/rust that referenced this pull request Dec 9, 2021
antoyo added a commit to antoyo/rust that referenced this pull request Jun 7, 2022
celinval added a commit to celinval/rust-dev that referenced this pull request Nov 22, 2024
Use default target folder instead of using a temporary folder. Users are
still able to customize the folder using Kani argument.

Avoid needless updates when Kani dependencies are
already up-to-date.

Fixes rust-lang#170
This pull request was closed.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants