Skip to content

Add rust-mode to the build #3345

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
Closed
brson opened this issue Sep 1, 2012 · 3 comments
Closed

Add rust-mode to the build #3345

brson opened this issue Sep 1, 2012 · 3 comments
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Milestone
0.5

Comments

@brson
Copy link
Contributor

brson commented Sep 1, 2012

I'm often on an old version of rust-mode because I don't get around to recompiling it. Would be nice if it was part of the build. Need to autodetect whatever dependencies it has.
@mpenet
Copy link
Contributor

mpenet commented Sep 9, 2012

You should try getting it from MELPA, this will guarantee you get the latest (daily) snapshot, allow you to manage updates and also handle the compilation for you (for all its deps as well).

@brson
Copy link
Contributor Author

brson commented Sep 9, 2012

Oh, that sounds like a much better solution. I will look into that.

@brson brson closed this as completed Sep 9, 2012
@brson
Copy link
Contributor Author

brson commented Sep 9, 2012

I installed emacs 24 and learned to use the package manager. Very cool.

RalfJung pushed a commit to RalfJung/rust that referenced this issue Mar 3, 2024
@bors
Auto merge of rust-lang#3345 - RalfJung:win-get-thread-name, r=RalfJung
639fab7 
Windows: support getting the thread name

Also organize the thread name tests a bit.
github-merge-queue bot pushed a commit to model-checking/verify-rust-std that referenced this issue Feb 4, 2025
@AlexLB99
transmute_unchecked contracts and harnesses (#185)
db8e5a7 
This is a draft pull request towards solving #19. 

## Changes

- Added wrappers for `transmute_unchecked()` 
- Annotated these wrappers with contracts
- Wrote harnesses that verify these wrappers

Note: the reason we write wrappers for `transmute_unchecked()` and we
annotate those wrappers is that function contracts do not appear to be
currently supported for compiler intrinsics (as discussed in
[rust-lang#3345](model-checking/kani#3345)). Also,
rather than using a single wrapper for `transmute_unchecked()`, we write
several with different constraints on the input (since leaving the
function parameters completely generic severely restricts what we can do
in the contracts, e.g., testing for equality).

This is not intended to be a complete solution for verifying
`transmute_unchecked()`, but instead a proof of concept to see how
aligned this is with the expected solution. Any feedback would be
greatly appreciated -- thank you!

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: AlexLB99 <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
0.5
Development

No branches or pull requests
2 participants
@mpenet @brson