Oliver Schneider
305d8aeafe
Disable blood letting edge features
2018-07-26 11:21:49 +02:00
Ralf Jung
2a29ed0142
use default-run
2018-07-22 09:48:49 +02:00
Ralf Jung
4fdcccdc70
Merge branch 'master' into tests
2018-07-12 11:34:26 +02:00
Ralf Jung
9718d73ac8
colored test output!
2018-07-12 11:26:09 +02:00
Ralf Jung
8ce16a7c30
remove xargo logic; instead rely on MIRI_SYSROOT being set to run full MIR tests
2018-07-12 11:02:48 +02:00
Ralf Jung
5fc990cebd
bump dependencies
2018-07-12 10:19:14 +02:00
Ralf Jung
d4e8d0b935
fix deprecation warning: use dirs crate for home_dir
2018-07-11 17:42:35 +02:00
Oliver Schneider
27fe263669
Move back to a normal folder structure
2018-05-09 14:37:00 +02:00
bjorn3
9d186d914e
Update Cargo.lock and some improvements
2018-04-13 16:04:57 +02:00
David Renshaw
cabdc5597c
update log deps
2018-01-06 10:21:24 -05:00
David Renshaw
30496f5dd2
update compiletest dependency
2017-12-31 08:35:02 -05:00
kennytm
b7d382a956
Remove the [workspace] section.
...
Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.
2017-12-16 03:58:17 +08:00
Oliver Schneider
bde093fa14
Move validation from rustc to miri
2017-12-14 11:35:33 +01:00
Oliver Schneider
bf26b96dc7
Update to latest rustc changes
2017-12-05 17:06:03 +01:00
Oliver Schneider
8d546e8b9a
Use rustc's logging libraries in order to be able to log rustc::mir::interpret
2017-10-06 17:14:12 +02:00
Oliver Schneider
52599adf27
Miri core has moved to rustc::mir::interpret
2017-10-06 17:13:59 +02:00
Ralf Jung
383153f887
update compiletest
2017-09-19 13:27:13 +02:00
Ralf Jung
8dff161bcb
update compiletest; we do not need tempdir any more
2017-09-04 13:02:55 +02:00
Ralf Jung
df895cd9d4
no reason not to run tests in miri (once someone writes them)
2017-09-04 13:01:10 +02:00
Ralf Jung
df20c0684c
use tempdir to create a dedicated directory for each test
2017-08-26 13:12:55 +02:00
Oliver Schneider
7e6c497539
Make cargo_miri a feature
...
1. Speeds up the common compilation path (no serde in the dependency tree)
2. Stage 1 rustc is enough (no serde -> no custom derive)
2017-08-09 16:12:27 +02:00
Ralf Jung
de1376f923
Add a build script to inform the binary about its profile, and use that in the test suite
2017-08-03 11:38:00 -07:00
Oliver Schneider
8b81f5430f
Fix running the rustc test suite
2017-08-01 16:12:29 +02:00
Oliver Schneider
3d82b66c6c
Remove redundant members field
2017-08-01 09:56:21 +02:00
Oliver Schneider
7ed706d09c
Update Cargo.toml
2017-08-01 09:56:21 +02:00
Oliver Schneider
45b7cfdb6d
Update env_logger in order to share more dependencies
2017-08-01 09:56:21 +02:00
Oliver Schneider
e5799a6af3
Reduce the chance of accidentally calling functions in CTFE
...
previously miri had a check for const fn and other cases that
CTFE requires. Instead the function call is completely
processed inside the machine. This allows CTFE to have full
control over what is called and miri to not have useless
CTFE-checks in normal mode.
2017-08-01 09:56:21 +02:00
Oliver Schneider
11e30a65e6
Split up miri into the librustc_mir and bin parts
2017-08-01 09:56:21 +02:00
Oliver Schneider
4cfa7c5d12
Prep miri repository for rustc merger
2017-07-21 11:30:56 +02:00
Oliver Schneider
9e44509e51
Update dependencies
2017-05-09 16:47:04 +02:00
Felix Schütt
23cf495f27
Update Cargo.toml, fix for build error (see #164 )
2017-05-09 16:35:09 +02:00
Oliver Schneider
5adb84645f
add cargo-miri subcommand to directly interpret the main binary of a crate
2017-01-28 11:57:52 +01:00
Oliver Schneider
3a658e09e8
rustup (i128)
2017-01-12 08:28:42 +01:00
Scott Olson
539e7e0ae1
Update compiletest_rs to 0.2.5.
2016-12-16 17:40:24 -08:00
Oliver Schneider
d9680dbb10
bump compiletest
2016-10-01 15:30:29 +02:00
Oliver Schneider
82dc95c3ad
create a miri-pass test that allows us to run miri for arbitrary targets
2016-06-15 16:01:00 +02:00
Oliver Schneider
b3a175f730
add dependencies and run cargo update
2016-06-01 11:47:41 +02:00
Oliver Schneider
55ce704ae7
don't generate test suites
2016-06-01 11:10:43 +02:00
Scott Olson
82dfa7278b
Correct license in Cargo.toml.
2016-05-10 11:50:11 -06:00
Scott Olson
382dc0ccb2
Update for my github username change.
2016-05-09 20:08:37 -06:00
Oliver Schneider
211c12a1d0
use compiletest_rs
2016-04-22 10:34:14 +02:00
Scott Olson
2776f55d0c
WIP: Switching to a new byte-based value representation.
2016-02-27 19:20:25 -06:00
Scott Olson
064c3521c3
Restructure into separate binary and library.
2015-11-21 21:20:06 -06:00
Scott Olson
cf49d6b080
Add the interpreter from my rustc branch and hook it up to CompileController.
2015-11-12 15:50:58 -06:00
