Complete name-mangler #78
Labels
E-easy
Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Comments
|
WONTFIX (not required for bootstrapping) |
oli-obk
pushed a commit
to oli-obk/rust
that referenced
this issue
Jul 19, 2017
This ensures it gets sign extended correctly. Fixes rust-lang#78
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
Add netbsds pthread_setname_np
kazcw
pushed a commit
to kazcw/rust
that referenced
this issue
Oct 23, 2018
This boils down to using LLVMs `prefetch` intrinsic [1]. [1]: https://llvm.org/docs/LangRef.html#llvm-prefetch-intrinsic
dlrobertson
pushed a commit
to dlrobertson/rust
that referenced
this issue
Nov 29, 2018
Clarify that breaking the Pointer Aliasing Rules requires an access
djtech-dev
pushed a commit
to djtech-dev/rust
that referenced
this issue
Dec 9, 2021
celinval
pushed a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
jaisnan
added a commit
to jaisnan/rust-dev
that referenced
this issue
Oct 24, 2024
1. Adds a one-click command to pull, build and run kani 2. Adds a toml file to store the commit info about the HEAD of `kani/features/verify-std` 3. Checks for caching to prevent re-pulling, and building already compatible kani binary 4. Modifies CI to re-use this script instead of the previous script 5. Add `--kani-args` to pass arguments to kani command. `-p` sets the working directory. 6. Adds a CI job to test the entrypoint workflow itself. 7. Default output-format to terse #### Extras Cleans up some print statements in the `run_update_with_checks` script. ## Call-out 1. This does not allow command configuration, so it essentially all proofs in the library by default, which CAN get expensive. I can very easily add a harness filter to ensure that we can process only relevent harnesses. 2. Need to change documentation to use this command instead of using kani directly as is currently suggested. 3. Need to consider move to python, argument parsing with bash is a bad experience. 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: Michael Tautschnig <[email protected]>
This issue was closed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There's a name-mangler in semant that could use a bit of finishing-up. The names aren't used for linkage, just diagnostics (local symbols) but it'd be nice if they were unique and complete.
The text was updated successfully, but these errors were encountered: