Oliver Schneider
7be27ecb53
forgot to insert a {} into the format string
2016-09-07 10:43:13 +02:00
Oliver Schneider
ca703f619c
DRY
2016-09-07 10:30:49 +02:00
Oliver Schneider
f5a89d297c
rustc now can use integer literals in attributes
2016-09-07 10:27:57 +02:00
Oliver Schneider
35e8882553
still use panic! for missing MIR, because compiletest can't test compiler bugs
2016-09-07 10:27:32 +02:00
Scott Olson
f718e77c2d
Merge pull request #46 from oli-obk/rustup
...
rustup to rustc 1.13.0-nightly (91f057de3
2016-09-07 02:16:46 -06:00
Oliver Schneider
7b24d55eca
address comments
2016-09-07 10:12:15 +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
Scott Olson
90c2470e22
Merge pull request #44 from oli-obk/alignment
...
Alignment
2016-07-25 18:24:15 -05:00
Oliver Schneider
f8cfc387fd
address nits
2016-07-25 12:30:35 +02: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
Scott Olson
0948e2dc9c
Merge pull request #43 from oli-obk/the_outer_limits
...
limit stack size, memory size and execution time
2016-07-07 04:35:03 -05: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
5381981446
shrink_to_fit some vectors to prevent interpreted code from passing the memory limits
2016-07-07 11:21:18 +02:00
Oliver Schneider
8d3817cfc6
use usize instead of u64 for memory limits
2016-07-07 11:20:46 +02:00
Oliver Schneider
a7d3a85d9e
infer type of the various limits
2016-07-07 11:20:09 +02:00
Oliver Schneider
7d2803ae3f
remove unused extern crate
2016-07-07 11:19:55 +02:00
Scott Olson
f4afb59e8a
Merge pull request #42 from oli-obk/floating_in_space
...
implement floats by running the ops on the host architecture
2016-07-07 03:27:03 -05:00
Oliver Schneider
7613ef0563
comparing floats is necessary in rare cases
2016-07-06 11:53:03 +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
aca691160d
add a test
2016-07-06 11:19:24 +02:00
Oliver Schneider
1bd8e04228
check alignment in various places
2016-07-06 11:12:44 +02:00
Oliver Schneider
50987e3697
some methods to check pointers for correct alignment
2016-07-06 10:58:51 +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
3e5d86bb08
test the memory limit
2016-07-05 13:04:53 +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
a7cc77a010
Compare against ZST_ALLOC_ID in points_to_zst.
2016-07-01 16:40:52 -06:00
Scott Olson
bbc842412e
Merge pull request #41 from oli-obk/master
...
optimize all ZST allocations into one single allocation
2016-07-01 17:39:47 -05:00
Oliver Schneider
3d9588332f
address comments
2016-07-01 13:09:40 +02:00
Oliver Schneider
594f1d79da
optimize all ZST allocations into one single allocation
2016-07-01 13:09:17 +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
Scott Olson
339e703e0b
Merge pull request #40 from oli-obk/miri_upstream
...
things priroda needs to be public or changed
2016-06-30 04:40:43 -05:00
Oliver Schneider
b91338b220
things priroda needs to be public or changed
2016-06-30 11:29:25 +02:00
Scott Olson
d309ab72e0
Merge pull request #39 from oli-obk/can_you_read_me_now
...
use the item path printer that prints user friendly textual paths
2016-06-29 13:35:42 -05:00
Oliver Schneider
ae3c49a9e5
use the item path printer that prints user friendly textual paths
2016-06-29 17:07:05 +02:00
Scott Olson
87306f1c2d
Merge pull request #38 from oli-obk/dont_step_up_to_the_const
...
don't execute the first statement of a constant/static/promoted right away
2016-06-28 13:30:18 -05:00
Oliver Schneider
7d574f7b1c
don't execute the first statement of a constant/static/promoted right away
...
This might create confusion, because attempting to execute a statement can cause
arbitrary stackframes to be added for the constants/statics/promoteds required by that
statement. Before this commit, the first statement of the last added stackframe was
executed immediately. Thus there was no way to inspect the state before that first
statement.
2016-06-28 15:06:44 +02:00
Scott Olson
f28feed87d
Merge pull request #36 from oli-obk/alignment
...
Use target byte order instead of host byteorder
2016-06-25 16:00:53 -05:00
Oliver 'ker' Schneider
37287d2a5d
use free methods instead of traits
2016-06-25 16:50:33 +02:00
