]> git.lizzy.rs Git - rust.git/history - README.md
do not auto-detect the targets in the sysroot, instead specify target manually throug...
[rust.git] / README.md
2018-12-12 Ralf Jungdo not auto-detect the targets in the sysroot, instead...
2018-12-10 Oliver S̶c̶h̶n̶e̶i... Merge pull request #566 from RalfJung/foreign-full-mir
2018-12-10 Ralf JungMIRI_SYSROOT is no longer needed for development agains...
2018-12-02 Ralf JungMerge branch 'master' into skip-embedded-targets
2018-12-01 Oliver S̶c̶h̶n̶e̶i... Merge pull request #555 from RalfJung/readme
2018-11-30 Ralf Jungupdate contact channels
2018-11-30 Ralf Jungadd link within document
2018-11-30 Ralf Jungupdate README to first describe the usual user setup...
2018-11-28 Ralf JungMerge remote-tracking branches 'origin/master' and...
2018-11-27 Oliver S̶c̶h̶n̶e̶i... Merge branch 'master' into oli-obk-patch-1
2018-11-27 Ralf JungMerge pull request #549 from RalfJung/readme
2018-11-27 Ralf Jungfix README install instructions
2018-11-27 Ralf JungMerge pull request #543 from RalfJung/auto-libstd
2018-11-27 Ralf Junguse new dir for CI and docs
2018-11-27 Ralf JungMerge remote-tracking branch 'origin/master' into auto...
2018-11-27 Ralf Junginstall directly from git repo
2018-11-27 Ralf Jungkill xargo dir and update docs
2018-11-20 Ralf JungMerge branch 'miri-backtrace' into mut-visitor
2018-11-19 Ralf JungMerge remote-tracking branch 'origin/master' into mut...
2018-11-16 Ralf JungMerge pull request #527 from steveklabnik/patch-2
2018-11-16 Steve Klabnikfix cargo invocation in the readme
2018-11-16 Ralf JungMerge pull request #524 from RalfJung/escape-to-raw
2018-11-16 Ralf Jungstacked borrows is broken without full MIR
2018-11-14 Oliver S̶c̶h̶n̶e̶i... Merge pull request #518 from RalfJung/readme
2018-11-14 Ralf Jungmove slide and report links to history
2018-11-13 Ralf Jungmiri history
2018-11-13 Ralf Jungadd a description of what miri can do for you
2018-11-13 Oliver S̶c̶h̶n̶e̶i... Merge pull request #517 from RalfJung/readme
2018-11-12 Ralf Jungcargo miri test currently does not work
2018-11-09 Oliver S̶c̶h̶n̶e̶i... Merge pull request #515 from RalfJung/test
2018-11-09 Ralf Junguse custom test runner so that we can get proper test...
2018-10-31 Ralf JungMerge branch 'master' into atomic-arith
2018-10-31 Ralf JungMerge pull request #502 from RalfJung/debug
2018-10-31 Ralf Jungupdate README
2018-10-26 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-24 Oliver S̶c̶h̶n̶e̶i... Merge pull request #494 from RalfJung/readme
2018-10-24 Ralf Jungexpand -Z flag docs
2018-10-24 Ralf JungWork on miri installation and usage instructions
2018-10-24 Ralf JungMerge pull request #483 from apoelstra/2018-10-readme
2018-10-23 Andrew PoelstraREADME: remove "specific nightly" instructions and...
2018-10-23 Andrew Poelstrarename `rust-toolchain` to `rust-version`; add note...
2018-10-23 Andrew Poelstrareadme: pull "common problems" into their own section
2018-10-23 Andrew Poelstraadded line indicating that `build.sh` and `cargo miri...
2018-10-23 Andrew Poelstraimprove README instructions for using `rustup` and...
2018-10-16 Ralf JungMerge pull request #484 from RalfJung/mir-opt
2018-10-16 Ralf Jungexplain our flags in the README
2018-08-14 Ralf JungMerge branch 'master' into rustup
2018-08-14 Ralf JungMerge pull request #429 from RalfJung/cargo-miri-test
2018-08-14 Ralf Jungupdate README: 'cargo miri' with full MIR; consistent...
2018-08-14 Ralf JungMerge branch 'master' into rustup
2018-08-14 Oliver SchneiderMerge pull request #428 from RalfJung/toolchain
2018-08-13 Ralf Jungdocument and fully use rust-toolchain file
2018-07-22 Oliver SchneiderMerge pull request #411 from RalfJung/default-run
2018-07-22 Ralf Jungfix vecs.rs path
2018-07-22 Ralf Junguse default-run
2018-07-16 Ralf JungMerge branch 'master' into hack_branch_for_miri_do_not_...
2018-07-16 Ralf JungMerge pull request #407 from RalfJung/readme
2018-07-16 Ralf JungMerge branch 'master' into readme
2018-07-16 Oliver SchneiderMerge branch 'master' into hack_branch_for_miri_do_not_...
2018-07-15 Ralf Jungupdate rustc build instructions to mention keep-stage
2018-07-14 Ralf JungMerge pull request #403 from RalfJung/readme
2018-07-14 Ralf Jungrefine rustc build instructions
2018-07-13 Ralf JungMerge branch 'master' into eq-hash
2018-07-12 Ralf JungMerge pull request #399 from RalfJung/readme
2018-07-12 Ralf Jungupdate debugging instructions in the README
2018-07-12 Ralf JungMerge branch 'master' into deps
2018-07-12 Oliver SchneiderMerge pull request #395 from RalfJung/tests
2018-07-12 Ralf Jungmove tests that no longer need MIR out of fullmir
2018-07-11 Oliver SchneiderMerge pull request #394 from RalfJung/start-fn
2018-07-11 Ralf JungMerge branch 'master' into start-fn
2018-07-11 Ralf Jungdocument -Zmiri-start-fn; make its logic more clear
2017-09-30 Oliver SchneiderMerge pull request #354 from king6cong/readme
2017-09-30 Oliver SchneiderMerge branch 'master' into readme
2017-09-30 king6congupdate README.md
2017-09-18 Oliver SchneiderMerge pull request #347 from RalfJung/readme
2017-09-18 Ralf Jungfix AppVeyor URL
2017-09-18 Ralf JungREADME: show AppVeyor status
2017-06-22 Oliver SchneiderMerge pull request #201 from oli-obk/test_suite_fails
2017-06-22 Oliver SchneiderMerge pull request #206 from RalfJung/ptrs
2017-06-22 Eduard-Mihai BurtescuMerge pull request #207 from dwrensha/update-readme
2017-06-22 David Renshawupdate xargo usage example for new location of vecs.rs
2017-06-12 Oliver SchneiderMerge pull request #194 from RalfJung/test
2017-06-12 Oliver SchneiderMerge pull request #193 from RalfJung/xargo
2017-06-12 Ralf Jungrustup 1.4 fixed the permissions of the extracted files
2017-05-31 Oliver SchneiderMerge pull request #174 from RalfJung/xargo-test
2017-05-31 Ralf Jungrun test suite also against libstd with full MIR
2017-05-31 Oliver SchneiderMerge pull request #171 from RalfJung/println
2017-05-31 Ralf Jungsimplify xargo instructions
2017-05-30 Ralf Junglatest rust nightly contains all the bits needed to...
2017-05-30 Ralf Jungadd instructions for how to compile libstd with xargo
2017-05-24 Oliver SchneiderMerge pull request #169 from RalfJung/cargo-run
2017-05-23 Ralf Junguse `cargo +nightly` rather than `rustup run nightly...
2017-05-23 Ralf Jungfix 'cargo run' in README
2017-02-03 Scott OlsonMerge pull request #108 from oli-obk/packd
2017-02-03 Scott OlsonMerge pull request #109 from oli-obk/patch-2
2017-02-02 Oliver Schneideradd docs for `cargo miri`
2016-11-01 Scott OlsonMerge pull request #70 from plietar/patch-1
2016-10-31 Paul LietarREADME.md: Fix logging environment variable name
2016-06-20 Oliver SchneiderMerge remote-tracking branch 'origin/master' into oflo
2016-06-19 Scott OlsonRemove stray backquote.
next