Ralf Jung
|
f37fc5eb7a
|
cargo miri test currently does not work
|
2018-11-12 20:20:35 +01:00 |
|
Ralf Jung
|
45e14f8dc5
|
use custom test runner so that we can get proper test filtering
|
2018-11-09 11:50:34 +01:00 |
|
Ralf Jung
|
8f811fe12f
|
update README
|
2018-10-31 10:16:50 +01:00 |
|
Ralf Jung
|
8f9ca242fa
|
expand -Z flag docs
|
2018-10-24 15:32:51 +02:00 |
|
Ralf Jung
|
86aa8352c6
|
Work on miri installation and usage instructions
|
2018-10-24 15:29:48 +02:00 |
|
Andrew Poelstra
|
5347411a2d
|
README: remove "specific nightly" instructions and use +nightly throughout
Also replace `cargo miri test` with `cargo miri` in general examples.
|
2018-10-23 15:22:14 +00:00 |
|
Andrew Poelstra
|
abda1a8ebb
|
rename rust-toolchain to rust-version; add note to README about usage
|
2018-10-23 15:22:14 +00:00 |
|
Andrew Poelstra
|
3dcf655eea
|
readme: pull "common problems" into their own section
|
2018-10-23 15:22:14 +00:00 |
|
Andrew Poelstra
|
f77b292948
|
added line indicating that build.sh and cargo miri need the same toolchain
|
2018-10-23 15:22:14 +00:00 |
|
Andrew Poelstra
|
95f740600c
|
improve README instructions for using rustup and for compiling separate Cargo projects
|
2018-10-23 15:22:14 +00:00 |
|
Ralf Jung
|
f5e3cdbf03
|
explain our flags in the README
|
2018-10-16 17:58:31 +02:00 |
|
Ralf Jung
|
c4c8c60279
|
update README: 'cargo miri' with full MIR; consistent capitalization
|
2018-08-14 09:41:04 +02:00 |
|
Ralf Jung
|
1ec8728325
|
document and fully use rust-toolchain file
|
2018-08-14 00:58:43 +02:00 |
|
Ralf Jung
|
444d97fc7d
|
fix vecs.rs path
|
2018-07-22 09:51:23 +02:00 |
|
Ralf Jung
|
2a29ed0142
|
use default-run
|
2018-07-22 09:48:49 +02:00 |
|
Ralf Jung
|
a39f25c813
|
update rustc build instructions to mention keep-stage
Also move them further down because it is probably less relevant than some of
the other stuff.
|
2018-07-15 23:18:36 +02:00 |
|
Ralf Jung
|
473c50405d
|
refine rustc build instructions
|
2018-07-14 11:02:09 +02:00 |
|
Ralf Jung
|
105f7e7fb2
|
update debugging instructions in the README
|
2018-07-12 14:27:03 +02:00 |
|
Ralf Jung
|
5f2f254695
|
move tests that no longer need MIR out of fullmir
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
dd7cc47e5c
|
document -Zmiri-start-fn; make its logic more clear
|
2018-07-11 19:39:09 +02:00 |
|
king6cong
|
3d1332d7f8
|
update README.md
|
2017-09-30 15:07:07 +08:00 |
|
Ralf Jung
|
44fac716a6
|
fix AppVeyor URL
|
2017-09-18 11:17:21 +02:00 |
|
Ralf Jung
|
bf890b99dd
|
README: show AppVeyor status
|
2017-09-18 11:13:01 +02:00 |
|
David Renshaw
|
86d31fa09c
|
update xargo usage example for new location of vecs.rs
|
2017-06-22 17:44:20 +09:00 |
|
Ralf Jung
|
7504512cbd
|
rustup 1.4 fixed the permissions of the extracted files
|
2017-06-11 17:24:38 -07:00 |
|
Ralf Jung
|
44a45f7c34
|
run test suite also against libstd with full MIR
|
2017-05-31 13:39:40 -07:00 |
|
Ralf Jung
|
d06c165368
|
simplify xargo instructions
|
2017-05-30 18:12:06 -07:00 |
|
Ralf Jung
|
cdf7a057f1
|
latest rust nightly contains all the bits needed to re-compile libstd
|
2017-05-30 13:25:45 -07:00 |
|
Ralf Jung
|
1ae01b422b
|
add instructions for how to compile libstd with xargo
|
2017-05-30 10:41:38 -07:00 |
|
Ralf Jung
|
5accdf45ea
|
use cargo +nightly rather than rustup run nightly cargo
|
2017-05-23 10:50:07 -07:00 |
|
Ralf Jung
|
781709268e
|
fix 'cargo run' in README
|
2017-05-23 10:31:47 -07:00 |
|
Oliver Schneider
|
02a6937926
|
add docs for cargo miri
|
2017-02-02 12:59:41 +01:00 |
|
Paul Lietar
|
9ffc43e639
|
README.md: Fix logging environment variable name
|
2016-10-31 16:37:54 +00:00 |
|
Scott Olson
|
c9d808e85f
|
Remove stray backquote.
|
2016-06-19 00:15:03 -06:00 |
|
Scott Olson
|
eeb30dbc97
|
Try moving stuff into README header.
|
2016-06-19 00:08:43 -06:00 |
|
Scott Olson
|
48487f0cfc
|
Update README. Recommend rustup.
Also adds debugging info and contact info.
|
2016-06-19 00:04:11 -06:00 |
|
Scott Olson
|
382dc0ccb2
|
Update for my github username change.
|
2016-05-09 20:08:37 -06:00 |
|
Scott Olson
|
4792b8a873
|
Fix the all-important smiley.
|
2016-05-09 18:36:40 -06:00 |
|
Scott Olson
|
4856997168
|
Only test on the latest nightly version.
|
2016-05-09 18:35:22 -06:00 |
|
Scott Olson
|
49b6349577
|
Update to a new nightly.
|
2016-05-09 15:32:18 -06:00 |
|
Scott Olson
|
f7d7ce27c8
|
Update to a nightly with rustc::ty::layout.
|
2016-04-23 00:11:56 -06:00 |
|
Pascal Hertleif
|
52775ce2d7
|
Add Build Status to Readme
|
2016-04-15 16:54:35 +02:00 |
|
Pascal Hertleif
|
9fd2b47c27
|
Fix Typo in Readme
|
2016-04-15 16:54:35 +02:00 |
|
Scott Olson
|
8fceac749b
|
Merge pull request #2 from killercup/feature/update-rustc
Update to Rust Nightly 2016-04-11
|
2016-04-14 04:03:53 -06:00 |
|
Pascal Hertleif
|
4b9d141e97
|
Readme: Newer Nightly Version, Mention Rustup
|
2016-04-14 10:21:36 +02:00 |
|
Scott Olson
|
539ded20af
|
readme: Rewording.
|
2016-04-13 18:47:03 -06:00 |
|
Scott Olson
|
3ae75f3bb6
|
readme: Add links to presentation and report PDFs.
|
2016-04-13 18:41:37 -06:00 |
|
Scott Olson
|
8cac01ae66
|
readme: Fix shell syntax.
|
2016-04-13 07:36:54 -06:00 |
|
Scott Olson
|
4867051c6f
|
readme: Add build and run instructions.
|
2016-04-13 07:32:32 -06:00 |
|
Scott Olson
|
b19b24a2d9
|
Add note about usask research course.
|
2016-02-10 11:54:22 -06:00 |
|
Scott Olson
|
a8cb824e51
|
Add licenses and readme.
|
2016-02-02 04:47:28 -06:00 |
|