Skip to content

Conversation

bstrie
Copy link
Contributor

@bstrie bstrie commented Jun 9, 2012

Just needed a single item renamed, and a few tweaks for clarity. The weird commit message in the first commit is because I didn't anticipate the ramifications of

git commit -a -m "`make install` fix to address #2555"

bstrie added 2 commits June 8, 2012 20:09
cfg: host for x86_64-unknown-linux-gnu is x86_64
cfg: unix-y environment
cfg: using gcc
cfg: no pdflatex found, omitting doc/rust.pdf
cfg: no llnextgen found, omitting grammar-verification
cfg: including install rules
install: /usr/local/bin/rustc fix to address rust-lang#2555
@brson brson closed this Jun 9, 2012
@brson
Copy link
Contributor

brson commented Jun 9, 2012

Thanks!

celinval added a commit to celinval/rust-dev that referenced this pull request Jun 4, 2024
This was a regression introduced by rust-lang#2439. We were still writing the result of the reachability algorithm to the same file for every harness. Thus, we could only see the MIR for the last harness that was processed.

Use the file name that is specific for the harness instead and generate one MIR file per harness like we do with other files generated by kani-compiler.
tshepang pushed a commit to tshepang/rust that referenced this pull request Sep 8, 2025
…-tests

dates: refresh diagnostics/ and tests/ annotated dates to August 2025
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.

2 participants