rustdoc: add syntax highlighting #3264
Labels
T-rustdoc
Relevant to the rustdoc team, which will review and decide on the PR/issue.
Comments
|
Asked about Pandoc using this kate file: https://groups.google.com/forum/?fromgroups=#!topic/pandoc-discuss/S9TcztC_U00 |
|
src/etc/kate/rust.xml was added to jgm/highlighting-kate, which Pandoc uses. If you build and install Pandoc via cabal, you'll get it built with Rust support now. :) |
bors
pushed a commit
to rust-lang-ci/rust
that referenced
this issue
May 15, 2021
jaisnan
pushed a commit
to jaisnan/rust-dev
that referenced
this issue
Jul 29, 2024
This PR enables automatic memory initialization proofs for raw pointers in Kani. This is done without any extra instrumentation from the user. Currently, due to high memory consumption and only partial support of pointee types for which memory initialization proofs work, this feature is gated behind `-Z uninit-checks` flag. Note that because it uses shadow memory under the hood, programs using this feature need to pass `-Z ghost-state` flag as well. This PR is a part of working towards rust-lang#3300. 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: Celina G. Val <celinval@amazon.com>
jaisnan
pushed a commit
to jaisnan/rust-dev
that referenced
this issue
Jul 29, 2024
…cks (rust-lang#3313) This is a follow-up PR for rust-lang#3264, a part of the larger work towards rust-lang#3300. This PR introduces: - Use of demonic non-determinism (prophecy variables) to improve memory initialization checks performance; - Instead of keeping track of memory initialization of each possibly uninitialized byte pointed to by some pointer, one is chosen non-deterministically; - Tests for proper memory initialization checks injection for compiler intrinsics; - Separate functions for checking memory initialization of slice chunks. 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: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We have a Kate syntax definition (#3229), which I think is what Pandoc needs to do highlighting.
The text was updated successfully, but these errors were encountered: