 Scott Olson
|
6ec3d65068
|
Revert "Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)""
|
2016-12-16 17:10:16 -08:00 |
|
|
Scott Olson
|
0deabf9c00
|
Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)"
|
2016-12-15 01:16:06 -08:00 |
|
|
Oliver Schneider
|
69fa3ebff6
|
rustup to rustc 1.15.0-dev (ace092f56 2016-12-13) (always_encode_mir)
|
2016-12-14 17:06:23 +01:00 |
|
|
Oliver Schneider
|
0039ebc940
|
replace most uses of usize with u64 so the host architecture isn't exposed anymore
|
2016-11-18 12:55:14 +01:00 |
|
|
Oliver Schneider
|
986b3a07c2
|
layout computation can fail, make it fail with a miri error
|
2016-11-18 10:38:07 +01:00 |
|
|
Oliver Schneider
|
51ff9fdaf6
|
deallocate all locals on function exit and transitively freeze constants through pointers
|
2016-11-18 10:05:55 +01:00 |
|
|
Oliver Schneider
|
fd68670c0a
|
merge closures and function and implement some closure vtable cases
|
2016-11-15 17:19:37 +01:00 |
|
|
Oliver Schneider
|
511fa40d23
|
add test for int -> fn ptr cast
|
2016-11-15 14:11:00 +01:00 |
|
|
Oliver 'ker' Schneider
|
921f5af1fe
|
ensure that integers cast to pointers will never point at a valid alloc, not even the zst alloc
|
2016-11-10 19:20:11 +01:00 |
|
|
Oliver Schneider
|
b3bf730513
|
don't panic on invalid primval types, report an error instead
|
2016-11-03 12:30:41 +01:00 |
|
|
Oliver Schneider
|
19c44dab05
|
rustup to rustc 1.14.0-nightly (7c69b0d5a 2016-11-01)
|
2016-11-03 10:38:08 +01:00 |
|
|
Scott Olson
|
870bb4d862
|
Reword inline assembly error.
|
2016-09-28 11:48:43 -06:00 |
|
|
Oliver Schneider
|
51abf19e12
|
don't panic on asm!
|
2016-09-28 18:22:25 +02:00 |
|
|
Oliver Schneider
|
db8185e439
|
print stacktrace when miri can't find the MIR for something
|
2016-09-27 17:01:06 +02:00 |
|
|
Oliver Schneider
|
38748fa615
|
refactor away IntegerPtr
|
2016-09-22 15:47:16 +02:00 |
|
|
Oliver Schneider
|
875a4542f9
|
remove the ZST allocation and abort all zero byte writes/reads
|
2016-09-22 15:22:00 +02:00 |
|
|
Oliver Schneider
|
23eb8a5cf2
|
error on failed assumptions
|
2016-09-13 13:08:57 +02:00 |
|
|
Oliver Schneider
|
5c47e3dbd8
|
only allow the modification of static mut or statics with interior mutability
|
2016-09-11 11:02:45 +02:00 |
|
|
Oliver Schneider
|
00c551c5f0
|
implement calling methods through trait objects
|
2016-09-09 12:51:14 +02:00 |
|
|
Oliver Schneider
|
0f177fdecf
|
implement more casts
|
2016-09-07 18:34:59 +02:00 |
|
|
Oliver Schneider
|
4c258d1ed2
|
Merge remote-tracking branch 'origin/master' into alignment
|
2016-07-07 13:17:08 +02:00 |
|
|
Oliver Schneider
|
8d3817cfc6
|
use usize instead of u64 for memory limits
|
2016-07-07 11:20:46 +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
|
756fbcce48
|
add a memory limit
|
2016-07-05 10:47:10 +02:00 |
|
|
Oliver Schneider
|
422e5edd28
|
error message improvements
|
2016-06-21 09:43:27 +02:00 |
|
|
Oliver Schneider
|
2dbd30fa51
|
implement char handling
|
2016-06-21 09:35:20 +02:00 |
|
|
Oliver Schneider
|
001ae69212
|
remove the bad rhs value error and panic instead. the typechecker prevent this
|
2016-06-20 17:52:36 +02:00 |
|
|
Oliver Schneider
|
3e3aeab0ed
|
implement bit masks as the compiler would translate them
|
2016-06-20 17:16:45 +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
|
58b4fac1ce
|
implement overflowing ops
|
2016-06-17 13:09:20 +02:00 |
|
|
Oliver Schneider
|
c36dcff005
|
forbid calling functions through pointers of a different type
|
2016-06-14 10:34:54 +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
|
384623daa7
|
function pointers
|
2016-06-10 18:06:36 +02:00 |
|
|
Oliver Schneider
|
29516c3129
|
improve out of bounds error message
|
2016-06-01 11:22:37 +02:00 |
|
|
Oliver Schneider
|
12c2e5fab2
|
4byte pointers
|
2016-06-01 11:10:43 +02:00 |
|
|
Oliver Schneider
|
b78ca5f7e1
|
replace panic!s with Result
|
2016-06-01 11:10:43 +02:00 |
|
|
Scott Olson
|
63fdd46f9a
|
Handle custom discriminant values and detect invalid discriminants.
|
2016-03-28 21:08:16 -06:00 |
|
|
Scott Olson
|
acf2ceb534
|
Check for undefinedness when reading from memory.
|
2016-03-26 23:56:49 -06:00 |
|
|
Scott Olson
|
dbc9913b7d
|
Implement pointer primvals and comparison ops on them.
|
2016-03-18 23:03:46 -06:00 |
|
|
Scott Olson
|
0b37be71c2
|
Change invalid pointer read panic into Err.
|
2016-03-17 07:24:10 -06:00 |
|
|
Scott Olson
|
a7c7764c93
|
Reorganize and simplify.
|
2016-03-14 21:48:00 -06:00 |
|