-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Add a HTML module, including character escaping #1939
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.
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
Comments
Closing this in favor of the Wiki page: https://github.com/mozilla/rust/wiki/Lib-html |
celinval
added a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
A bunch of the harnesses from the smack testsuite were missing kani::proof annotation. They have the kani-verify-fail tag on them, and because of rust-lang#1910, they would fail but with a different error than expected. Add #[kani::proof] to them.
Kobzol
pushed a commit
to Kobzol/rust
that referenced
this issue
Dec 30, 2024
* Extract Bootstrap into its own section Add brief explanation for `Step` and `Builder::ensure` as core Bootstrap internal concepts. * Drop common commands page (use `x --help` instead) * Add `make` as an alternative entry point * Add src/bootstrap/README.md link
bors
pushed a commit
to rust-lang-ci/rust
that referenced
this issue
Jan 2, 2025
* Extract Bootstrap into its own section Add brief explanation for `Step` and `Builder::ensure` as core Bootstrap internal concepts. * Drop common commands page (use `x --help` instead) * Add `make` as an alternative entry point * Add src/bootstrap/README.md link
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
A central module
libstd/Html.rs
could be useful. Golang has one: http://golang.org/pkg/html/"
,<
,>
,\
,&
The text was updated successfully, but these errors were encountered: