Oliver Schneider
|
a1082b9b1a
|
Merge remote-tracking branch 'origin/master' into oflo
|
2016-06-20 12:33:09 +02:00 |
|
Oliver Schneider
|
e90ee1674a
|
fix comparing of function pointers
|
2016-06-20 10:35:15 +02:00 |
|
Oliver Schneider
|
d9776427b4
|
compiletest 2.0 uses json errors and doesn't depend on the output format anymore
|
2016-06-20 10:34:55 +02:00 |
|
Oliver Schneider
|
874d683bfa
|
improve method names and add documentation
|
2016-06-20 10:34:34 +02: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
|
f9c1cfa889
|
Remove now-useless #[miri_run] attributes.
Except for `ints.rs`, which is already handled by a pending pull request.
|
2016-06-17 22:52:30 -06:00 |
|
Scott Olson
|
c6ec4f4397
|
Reorganize benches.
|
2016-06-17 22:35:34 -06:00 |
|
Scott Olson
|
f4cf3f3636
|
Get benchmarks running again and factor out some parts in common with bin/miri.rs.
|
2016-06-17 21:35:37 -06:00 |
|
Scott Olson
|
35c76c6862
|
Ignore non-Rust files in run-pass.
Specifically, Vim's .<filename>.swp files were being run as tests.
|
2016-06-17 21:06:25 -06:00 |
|
Scott Olson
|
51edf7ede6
|
Rename max indentation constant for clarity.
|
2016-06-17 19:55:24 -06:00 |
|
Scott Olson
|
5ae4a0f2a9
|
Only indent trace logs.
|
2016-06-17 19:48:45 -06:00 |
|
Oliver Schneider
|
00eb198a82
|
implement fn -> unsafe fn pointer casts
|
2016-06-17 16:49:06 +02:00 |
|
Oliver Schneider
|
e3a2bf84e2
|
clippy
|
2016-06-17 16:03:11 +02:00 |
|
Oliver Schneider
|
4f48bef896
|
cfail test for std::env::args()
|
2016-06-17 15:48:15 +02:00 |
|
Oliver Schneider
|
6376ef4228
|
run the *compiled* run-pass tests on the host machine
|
2016-06-17 15:21:01 +02:00 |
|
Oliver Schneider
|
3ba4f6db04
|
remove code repetition and fix overflowing intrinsics
|
2016-06-17 15:16:41 +02:00 |
|
Oliver Schneider
|
58b4fac1ce
|
implement overflowing ops
|
2016-06-17 13:09:20 +02:00 |
|
Scott Olson
|
8db0bc0ce9
|
Merge pull request #27 from oli-obk/travis
create a miri-pass test that allows us to run miri for arbitrary targets
|
2016-06-16 14:03:41 -05:00 |
|
Oliver Schneider
|
60f2bb9c70
|
miri knows about --sysroot
|
2016-06-16 11:05:10 +02:00 |
|
Oliver Schneider
|
f01be91997
|
miri needs to be *built* with RUST_SYSROOT, not *run*
|
2016-06-16 11:00:46 +02:00 |
|
Oliver Schneider
|
2ed6f1c90a
|
caught by travis
|
2016-06-16 10:54:10 +02:00 |
|
Oliver Schneider
|
453a22a1e0
|
forward RUST_SYSROOT to miri test calls
|
2016-06-16 10:52:23 +02:00 |
|
Oliver Schneider
|
b6fca7355c
|
error out if a run-pass test fails
|
2016-06-16 10:50:23 +02:00 |
|
Oliver Schneider
|
af36ec959a
|
undo all travis script changes
|
2016-06-16 10:46:43 +02:00 |
|
Oliver Schneider
|
6a5f7378c3
|
travis didn't fail when compiling miri on nightly
|
2016-06-16 10:44:59 +02:00 |
|
Oliver Schneider
|
06d1780b85
|
fix travis
|
2016-06-16 10:42:04 +02:00 |
|
Oliver Schneider
|
9cceef0663
|
simplify target name extraction
|
2016-06-16 10:34:05 +02:00 |
|
Oliver Schneider
|
506f2deaf9
|
actually execute miri-pass tests
|
2016-06-16 10:30:47 +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 |
|
Scott Olson
|
bac37e69d7
|
Merge branch 'wip'
|
2016-06-15 05:24:15 -06:00 |
|
Scott Olson
|
b24edd6a23
|
Merge pull request #24 from oli-obk/typesafe_fn_calls
Typesafe fn calls
|
2016-06-15 05:05:50 -06:00 |
|
Scott Olson
|
1146504184
|
Merge pull request #23 from oli-obk/miri_run_no_more
don't use `#[miri_run]` anymore, but execute the `main` function
|
2016-06-15 05:04:26 -06:00 |
|
Oliver Schneider
|
d82a79220b
|
use the logging framework instead of println!
|
2016-06-15 13:00:51 +02:00 |
|
Oliver Schneider
|
a55ac1fea8
|
pass arguments to start
|
2016-06-15 12:55:04 +02:00 |
|
Scott Olson
|
16f778ad20
|
Rename next_block to block and reorganize Frame fields.
|
2016-06-14 20:13:59 -06:00 |
|
Scott Olson
|
269f70007f
|
Get the sysroot (like compiletest) in Miri itself.
|
2016-06-14 19:30:59 -06:00 |
|
Oliver Schneider
|
8abd293119
|
sysroot_flag is now used for more flags
|
2016-06-14 11:54:28 +02:00 |
|
Oliver Schneider
|
1bd00e8cb4
|
run start and main language item if provided
|
2016-06-14 11:52:45 +02:00 |
|
Oliver Schneider
|
c36dcff005
|
forbid calling functions through pointers of a different type
|
2016-06-14 10:34:54 +02:00 |
|
Scott Olson
|
d69ffa0bc5
|
Merge pull request #21 from oli-obk/function_pointers2
Function pointers
|
2016-06-13 12:19:53 -06:00 |
|
Oliver Schneider
|
55fd060cd8
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
Oliver Schneider
|
fe9b455006
|
comment nit
|
2016-06-13 15:32:08 +02:00 |
|
Oliver Schneider
|
9565d48203
|
add tests for fn pointers
|
2016-06-13 12:29:01 +02:00 |
|
Oliver Schneider
|
4d090fa693
|
report better errors when using a fn ptr as memory and vice versa
|
2016-06-13 11:39:15 +02:00 |
|
Oliver Schneider
|
875e00fd6e
|
Merge remote-tracking branch 'origin/master' into function_pointers2
|
2016-06-13 11:26:25 +02:00 |
|
Oliver Schneider
|
3aa585e421
|
Merge remote-tracking branch 'origin/master' into function_pointers2
|
2016-06-13 11:24:01 +02:00 |
|
Oliver Schneider
|
4ae77b765a
|
Merge pull request #1 from solson/fixup-function_pointers2
Fixup function_pointers2
|
2016-06-13 10:43:59 +02:00 |
|
Scott Olson
|
2f2219becb
|
Simplify compiletest.
|
2016-06-12 22:26:54 -06:00 |
|