Ralf Jung
|
e4cee77121
|
fix for rustc changes
|
2019-05-29 09:30:36 +02:00 |
|
Ralf Jung
|
7a7b853120
|
adjust for rustc changes
|
2019-05-28 22:46:56 +02:00 |
|
Ralf Jung
|
543e57990c
|
Merge branch 'master' into miri-build
|
2019-05-27 23:26:22 +02:00 |
|
Ralf Jung
|
8b219a1329
|
fix for latest rustc
|
2019-05-27 18:50:32 +02:00 |
|
Ralf Jung
|
cf96396fcc
|
make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET
|
2019-05-27 14:41:44 +02:00 |
|
Ralf Jung
|
21fb14dba1
|
avoid printing the tag twice
|
2019-05-24 13:09:29 +02:00 |
|
Ralf Jung
|
5569fffe7d
|
avoid having both Debug and Display for a type and using the wrong one
|
2019-05-24 10:09:23 +02:00 |
|
Ralf Jung
|
1d92791965
|
use prettier printing
|
2019-05-23 15:54:50 +02:00 |
|
Ralf Jung
|
3e33e54b5b
|
hopefully improve error message a bit
|
2019-05-23 11:03:08 +02:00 |
|
Ralf Jung
|
5c54a58c06
|
typo
|
2019-05-19 14:04:59 +02:00 |
|
Oliver Scherer
|
3fde45233b
|
Prefer drain over manual implementation of drain
|
2019-05-19 12:40:59 +02:00 |
|
Ralf Jung
|
6b4164e0df
|
nits
|
2019-05-17 19:42:35 +02:00 |
|
Ralf Jung
|
9c161b80d0
|
reading does not remove Unique, it just invalidates them
|
2019-05-17 15:29:02 +02:00 |
|
Ralf Jung
|
4b9e1544c2
|
give up on two-phase borrows
|
2019-05-17 15:02:31 +02:00 |
|
Ralf Jung
|
1447242bf9
|
refactor to simplify
|
2019-05-15 18:12:58 +02:00 |
|
Ralf Jung
|
f676f2265b
|
make writes act stack-like
|
2019-05-15 18:12:58 +02:00 |
|
Ralf Jung
|
9b3f07b161
|
make printing return place less verbose
|
2019-05-15 17:23:33 +02:00 |
|
Ralf Jung
|
bc0c76d861
|
fix for latest rustc
|
2019-05-13 22:07:24 +02:00 |
|
Ralf Jung
|
ada5edbf96
|
RUST_LOG got renamed to RUSTC_LOG
|
2019-05-13 14:10:52 +02:00 |
|
Ralf Jung
|
be47fae173
|
build with latest version
|
2019-05-13 11:37:54 +02:00 |
|
Ralf Jung
|
a9e66928d6
|
Update src/stacked_borrows.rs
Co-Authored-By: bjorn3 <bjorn3@users.noreply.github.com>
|
2019-05-11 12:07:25 +02:00 |
|
Ralf Jung
|
8530080d03
|
rename per-location part of reborowing to 'granting'
|
2019-05-11 12:06:59 +02:00 |
|
Ralf Jung
|
0f96676f43
|
switch back to upstream xargo
|
2019-05-10 08:28:02 +02:00 |
|
Ralf Jung
|
d05159f3a9
|
switch to my xargo fork, because that one works with current libstd
|
2019-05-01 20:37:08 +02:00 |
|
bjorn3
|
17643af868
|
Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
|
2019-04-30 15:31:53 +02:00 |
|
Ralf Jung
|
59985157d3
|
SharedReadOnly reborrows are never weak
|
2019-04-30 13:55:04 +02:00 |
|
Bastien Orivel
|
69a252c1b3
|
Update cargo_metadata to 0.7
|
2019-04-27 23:31:48 +02:00 |
|
Ralf Jung
|
53f59431a5
|
fix HeapFree return value
|
2019-04-27 18:21:10 +02:00 |
|
Ralf Jung
|
aaa8ee743b
|
unify code paths
|
2019-04-22 13:20:51 +02:00 |
|
Ralf Jung
|
42b70f17d2
|
Merge branch 'master' into exit
|
2019-04-22 11:35:36 +02:00 |
|
Ralf Jung
|
131548a748
|
gen_random: handle size 0 and writing to mem
|
2019-04-22 11:08:23 +02:00 |
|
Ralf Jung
|
703b7f8a7e
|
implement SecRandomCopyBytes for macOS RNG
|
2019-04-22 11:08:23 +02:00 |
|
Ralf Jung
|
e4970fe6ff
|
Windows: implement heap functions
|
2019-04-21 16:48:02 +02:00 |
|
Ralf Jung
|
6a6c0cd5f0
|
implement ExitProcess for Windows
|
2019-04-21 13:25:24 +02:00 |
|
Ralf Jung
|
0694435650
|
implement exit
implement exit code via new error kind
|
2019-04-21 12:36:17 +02:00 |
|
Ralf Jung
|
2481d6091a
|
warn when cargo miri setup does not do anything
|
2019-04-19 19:27:19 +02:00 |
|
Ralf Jung
|
0a5e541272
|
two-phase-borrow comment
|
2019-04-19 08:36:05 +02:00 |
|
Ralf Jung
|
22b57f6435
|
Merge branch 'master' into stacked-borrows-2
|
2019-04-18 19:28:25 +02:00 |
|
Ralf Jung
|
36e99a1bda
|
remove some unneeded 'extern crate'
|
2019-04-18 16:16:32 +02:00 |
|
Tim Diekmann
|
9ecc07c9b2
|
Add handling for nullptr and size == 0
|
2019-04-18 15:20:32 +02:00 |
|
Tim Diekmann
|
afb64232db
|
Fix for latest upstream update
|
2019-04-18 12:39:18 +02:00 |
|
Tim Diekmann
|
af3c4c0c23
|
Merge branch 'master' into realloc
|
2019-04-18 12:22:58 +02:00 |
|
Tim Diekmann
|
0e6deee76e
|
Add realloc
|
2019-04-18 01:20:21 +02:00 |
|
Ralf Jung
|
39ecd05c46
|
embrace find_map and some whitespace changes
|
2019-04-17 16:25:38 +02:00 |
|
Oliver Scherer
|
abe8959339
|
Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
|
2019-04-17 16:22:33 +02:00 |
|
Ralf Jung
|
46d5fd8487
|
barriers are dead, long live protectors -- this enables overlapping two-phase borrows!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
14e701f7d8
|
abstract mapping over all the stacks in some memory range
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
7b7fef1b53
|
let the permission of a new pointer depend on the type only
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
924624f810
|
some failures are impossible
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
a6d377ca0b
|
more comments
|
2019-04-17 16:02:57 +02:00 |
|