Prefer https in GitHub pages urls (#454)
This commit is contained in:
lzutao
Santiago Pastorino
parent
de9f6f82ba
commit
45a3c4f5cc
|
|
@ -31,7 +31,7 @@ Rust, as well as publications about Rust.
|
|||
* [Balanced work stealing for time-sharing multicores](http://www.cse.ohio-state.edu/hpcs/WWW/HTML/publications/papers/TR-12-1.pdf)
|
||||
* [Three layer cake for shared-memory programming](http://dl.acm.org/citation.cfm?id=1953616&dl=ACM&coll=DL&CFID=524387192&CFTOKEN=44362705)
|
||||
* [Non-blocking steal-half work queues](http://www.cs.bgu.ac.il/%7Ehendlerd/papers/p280-hendler.pdf)
|
||||
* [Reagents: expressing and composing fine-grained concurrency](http://aturon.github.io/academic/reagents.pdf)
|
||||
* [Reagents: expressing and composing fine-grained concurrency](https://aturon.github.io/academic/reagents.pdf)
|
||||
* [Algorithms for scalable synchronization of shared-memory multiprocessors](https://www.cs.rochester.edu/u/scott/papers/1991_TOCS_synch.pdf)
|
||||
* [Epoch-based reclamation](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf).
|
||||
|
||||
|
|
@ -59,7 +59,7 @@ Rust, as well as publications about Rust.
|
|||
Rust](https://michaelsproul.github.io/rust_radix_paper/rust-radix-sproul.pdf). Undergrad
|
||||
paper by Michael Sproul.
|
||||
* [Reenix: Implementing a Unix-Like Operating System in
|
||||
Rust](http://scialex.github.io/reenix.pdf). Undergrad paper by Alex
|
||||
Rust](https://scialex.github.io/reenix.pdf). Undergrad paper by Alex
|
||||
Light.
|
||||
* [Evaluation of performance and productivity metrics of potential programming languages in the HPC environment](https://github.com/1wilkens/thesis-ba).
|
||||
Bachelor's thesis by Florian Wilkens. Compares C, Go and Rust.
|
||||
|
|
|
|||
|
|
@ -27,7 +27,7 @@ Doing borrow checking on MIR has several advantages:
|
|||
which are regions derived from the control-flow graph.
|
||||
|
||||
[47366]: https://github.com/rust-lang/rust/issues/47366
|
||||
[nll]: http://rust-lang.github.io/rfcs/2094-nll.html
|
||||
[nll]: https://rust-lang.github.io/rfcs/2094-nll.html
|
||||
|
||||
### Major phases of the borrow checker
|
||||
|
||||
|
|
|
|||
|
|
@ -42,7 +42,7 @@ The MIR-based region analysis consists of two major functions:
|
|||
[`compute_regions`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/fn.compute_regions.html
|
||||
[`RegionInferenceContext`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/region_infer/struct.RegionInferenceContext.html
|
||||
[`solve`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/region_infer/struct.RegionInferenceContext.html#method.solve
|
||||
[NLL RFC]: http://rust-lang.github.io/rfcs/2094-nll.html
|
||||
[NLL RFC]: https://rust-lang.github.io/rfcs/2094-nll.html
|
||||
[MIR type checker]: ./type_check.md
|
||||
|
||||
## Universal regions
|
||||
|
|
|
|||
|
|
@ -18,7 +18,7 @@ graphs and desugaring), you may enjoy the
|
|||
MIR is defined in the [`src/librustc/mir/`][mir] module, but much of the code
|
||||
that manipulates it is found in [`src/librustc_mir`][mirmanip].
|
||||
|
||||
[RFC 1211]: http://rust-lang.github.io/rfcs/1211-mir.html
|
||||
[RFC 1211]: https://rust-lang.github.io/rfcs/1211-mir.html
|
||||
|
||||
Some of the key characteristics of MIR are:
|
||||
|
||||
|
|
|
|||
|
|
@ -211,7 +211,7 @@ Likewise, lowering tests use the [`lowering_success!` and
|
|||
* [Lowering Rust traits to logic](http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/)
|
||||
* [Unification in Chalk, part 1](http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/)
|
||||
* [Unification in Chalk, part 2](http://smallcultfollowing.com/babysteps/blog/2017/04/23/unification-in-chalk-part-2/)
|
||||
* [Negative reasoning in Chalk](http://aturon.github.io/blog/2017/04/24/negative-chalk/)
|
||||
* [Negative reasoning in Chalk](https://aturon.github.io/blog/2017/04/24/negative-chalk/)
|
||||
* [Query structure in chalk](http://smallcultfollowing.com/babysteps/blog/2017/05/25/query-structure-in-chalk/)
|
||||
* [Cyclic queries in chalk](http://smallcultfollowing.com/babysteps/blog/2017/09/12/tabling-handling-cyclic-queries-in-chalk/)
|
||||
* [An on-demand SLG solver for chalk](http://smallcultfollowing.com/babysteps/blog/2018/01/31/an-on-demand-slg-solver-for-chalk/)
|
||||
|
|
@ -230,7 +230,7 @@ Likewise, lowering tests use the [`lowering_success!` and
|
|||
[universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification
|
||||
|
||||
[`ProgramClause`]: https://rust-lang.github.io/chalk/doc/chalk_ir/enum.ProgramClause.html
|
||||
[`ProgramEnvironment`]: http://rust-lang.github.io/chalk/doc/chalk/program_environment/struct.ProgramEnvironment.html
|
||||
[`ProgramEnvironment`]: https://rust-lang.github.io/chalk/doc/chalk/program_environment/struct.ProgramEnvironment.html
|
||||
[chalk_engine]: https://rust-lang.github.io/chalk/doc/chalk_engine/index.html
|
||||
[chalk_ir]: https://rust-lang.github.io/chalk/doc/chalk_ir/index.html
|
||||
[chalk_parse]: https://rust-lang.github.io/chalk/doc/chalk_parse/index.html
|
||||
|
|
@ -238,19 +238,19 @@ Likewise, lowering tests use the [`lowering_success!` and
|
|||
[chalk_rust_ir]: https://rust-lang.github.io/chalk/doc/chalk_rust_ir/index.html
|
||||
[doc-chalk]: https://rust-lang.github.io/chalk/doc/chalk/index.html
|
||||
[engine-context]: https://rust-lang.github.io/chalk/doc/chalk_engine/context/index.html
|
||||
[chalk-program]: http://rust-lang.github.io/chalk/doc/chalk/program/struct.Program.html
|
||||
[chalk-program]: https://rust-lang.github.io/chalk/doc/chalk/program/struct.Program.html
|
||||
|
||||
[binders-struct]: http://rust-lang.github.io/chalk/doc/chalk_ir/struct.Binders.html
|
||||
[chalk-ast]: http://rust-lang.github.io/chalk/doc/chalk_parse/ast/index.html
|
||||
[binders-struct]: https://rust-lang.github.io/chalk/doc/chalk_ir/struct.Binders.html
|
||||
[chalk-ast]: https://rust-lang.github.io/chalk/doc/chalk_parse/ast/index.html
|
||||
[chalk-test-example]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L115
|
||||
[chalk-test-lowering-example]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rust_ir/lowering/test.rs#L8-L31
|
||||
[chalk-test-lowering]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rust_ir/lowering/test.rs
|
||||
[chalk-test-wf]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rules/wf/test.rs#L1
|
||||
[chalki]: https://rust-lang.github.io/chalk/doc/chalki/index.html
|
||||
[clause]: https://github.com/rust-lang/chalk/blob/master/GLOSSARY.md#clause
|
||||
[coherence-src]: http://rust-lang.github.io/chalk/doc/chalk_solve/coherence/index.html
|
||||
[ir-code]: http://rust-lang.github.io/chalk/doc/chalk_rust_ir/
|
||||
[solve-wf-src]: http://rust-lang.github.io/chalk/doc/chalk_solve/wf/index.html
|
||||
[coherence-src]: https://rust-lang.github.io/chalk/doc/chalk_solve/coherence/index.html
|
||||
[ir-code]: https://rust-lang.github.io/chalk/doc/chalk_rust_ir/
|
||||
[solve-wf-src]: https://rust-lang.github.io/chalk/doc/chalk_solve/wf/index.html
|
||||
[solve_goal]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L85
|
||||
[test-lowering-macros]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test_util.rs#L21-L54
|
||||
[test-macro]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L33
|
||||
|
|
|
|||
|
|
@ -299,4 +299,4 @@ more answers later on.
|
|||
|
||||
[readme]: https://github.com/rust-lang/chalk/blob/239e4ae4e69b2785b5f99e0f2b41fc16b0b4e65e/chalk-engine/src/README.md
|
||||
[slg-blog]: http://smallcultfollowing.com/babysteps/blog/2018/01/31/an-on-demand-slg-solver-for-chalk/
|
||||
[negative-reasoning-blog]: http://aturon.github.io/blog/2017/04/24/negative-chalk/
|
||||
[negative-reasoning-blog]: https://aturon.github.io/blog/2017/04/24/negative-chalk/
|
||||
|
|
|
|||
Loading…
Reference in New Issue