Oliver Schneider
|
35e8882553
|
still use panic! for missing MIR, because compiletest can't test compiler bugs
|
2016-09-07 10:27:32 +02:00 |
|
Oliver Schneider
|
cd91f9feee
|
replace all unreachable! and panic! calls with bug!
|
2016-09-06 16:16:49 +02:00 |
|
Oliver Schneider
|
cd42bb97f0
|
rustup to rustc 1.13.0-nightly (91f057de3 2016-09-04)
|
2016-09-06 16:04:51 +02:00 |
|
Scott Olson
|
45cf3cfde2
|
Update for changes in rustc.
|
2016-08-27 01:44:54 -06:00 |
|
Oliver Schneider
|
ec897f9156
|
don't allow runtime-aligning of memory
|
2016-07-22 16:35:39 +02:00 |
|
Oliver Schneider
|
613d15c672
|
clippy
|
2016-07-07 13:19:17 +02:00 |
|
Oliver Schneider
|
4c258d1ed2
|
Merge remote-tracking branch 'origin/master' into alignment
|
2016-07-07 13:17:08 +02:00 |
|
Oliver Schneider
|
44bef25235
|
allocating memory for floats can fail, too
|
2016-07-07 11:30:00 +02:00 |
|
Oliver Schneider
|
9669acc3a3
|
Merge remote-tracking branch 'origin/master' into the_outer_limits
|
2016-07-07 11:27:49 +02:00 |
|
Oliver Schneider
|
8d3817cfc6
|
use usize instead of u64 for memory limits
|
2016-07-07 11:20:46 +02:00 |
|
Oliver Schneider
|
51ce4a2584
|
use byteorder's write_f{32,64} instead of transmuting
|
2016-07-06 11:51:32 +02:00 |
|
Oliver Schneider
|
1bd8e04228
|
check alignment in various places
|
2016-07-06 11:12:44 +02:00 |
|
Oliver Schneider
|
7161c72320
|
abi alignment is the correct one
|
2016-07-06 10:58:26 +02:00 |
|
Oliver Schneider
|
082effb3ee
|
align allocations in the worst possible way
|
2016-07-05 14:27:27 +02:00 |
|
Oliver Schneider
|
4781a6ba54
|
add attribute to limit the stack size
|
2016-07-05 13:23:58 +02:00 |
|
Oliver Schneider
|
88d98998e1
|
add execution time limit
|
2016-07-05 13:17:40 +02:00 |
|
Oliver Schneider
|
1444cabc08
|
make the memory limit configurable
|
2016-07-05 13:04:46 +02:00 |
|
Oliver Schneider
|
756fbcce48
|
add a memory limit
|
2016-07-05 10:47:10 +02:00 |
|
Oliver Schneider
|
4b831569f6
|
implement floats by running the ops on the host architecture
|
2016-07-05 09:08:24 +02:00 |
|
Scott Olson
|
1720b1f4af
|
Remove AddCallGuards. It's useless for Miri.
|
2016-06-30 21:39:35 -06:00 |
|
Scott Olson
|
64eca52ad3
|
Run Mir passes (copied from rustc pre-trans).
|
2016-06-30 21:33:24 -06:00 |
|
Scott Olson
|
756d73b3ca
|
Remove filling drop to prep for elaborated drops.
|
2016-06-30 21:30:03 -06:00 |
|
Oliver Schneider
|
b91338b220
|
things priroda needs to be public or changed
|
2016-06-30 11:29:25 +02:00 |
|
Oliver Schneider
|
ae3c49a9e5
|
use the item path printer that prints user friendly textual paths
|
2016-06-29 17:07:05 +02:00 |
|
Oliver Schneider
|
e23fdd1f49
|
fix const -> pointer writing (noticeable on big endian)
|
2016-06-23 15:40:46 +02:00 |
|
Oliver Schneider
|
4c7aae73bc
|
adjust all pointer_size checks to use the method
|
2016-06-23 10:02:39 +02:00 |
|
Oliver Schneider
|
055b6a8d38
|
store full TargetDataLayout in Memory instead of just pointer size
|
2016-06-23 09:36:37 +02:00 |
|
Scott Olson
|
0c720f6e6b
|
Split terminator evaluation into a new module.
|
2016-06-23 01:03:58 -06:00 |
|
Scott Olson
|
d80cf91ef2
|
Rename stepper module to step.
|
2016-06-23 00:04:10 -06:00 |
|
Scott Olson
|
7bda9f24d6
|
Make step an EvalContext method and remove Stepper.
|
2016-06-23 00:02:47 -06:00 |
|
Oliver Schneider
|
b10fc7a99f
|
make sure miri never switches over an invalid char value
|
2016-06-21 09:44:01 +02:00 |
|
Oliver Schneider
|
7a9272c8e1
|
no need to cast chars as u32 before casting to u64
|
2016-06-21 09:43:45 +02:00 |
|
Oliver Schneider
|
2dbd30fa51
|
implement char handling
|
2016-06-21 09:35:20 +02:00 |
|
Oliver Schneider
|
0821a15476
|
no need for EvalContext::eval_binop
|
2016-06-20 16:57:36 +02:00 |
|
Oliver Schneider
|
b9ac85d2a9
|
rustc does overflow checking for us, don't duplicate it.
|
2016-06-20 16:52:43 +02:00 |
|
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
|
874d683bfa
|
improve method names and add documentation
|
2016-06-20 10:34:34 +02: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 |
|
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
|
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
|
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 |
|
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 |
|
Oliver Schneider
|
c36dcff005
|
forbid calling functions through pointers of a different type
|
2016-06-14 10:34:54 +02:00 |
|
Oliver Schneider
|
3aa585e421
|
Merge remote-tracking branch 'origin/master' into function_pointers2
|
2016-06-13 11:24:01 +02:00 |
|
Scott Olson
|
024b3d2b45
|
Merge remote-tracking branch 'oli/function_pointers2' into fixup-function_pointers2
|
2016-06-11 16:46:01 -06:00 |
|