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 |
|
Ralf Jung
|
966d638760
|
make run-pass tests pass. tweak how we remove barriers.
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
3f0a2a2941
|
rewrite Stacked Borrows Core. this passes stacked-borrows.rs!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
a50512f751
|
fix RtlGenRandom argument size
|
2019-04-16 21:27:27 +02:00 |
|
Ralf Jung
|
6fdc75024b
|
Merge branch 'master' into rand
|
2019-04-16 20:55:58 +02:00 |
|
Ralf Jung
|
ba567d19f0
|
stub out pthread_atfork to that we support thread_rng()
|
2019-04-16 19:53:10 +02:00 |
|
Ralf Jung
|
9c8ad5f9e1
|
fix 0-sized getrandom
|
2019-04-16 19:26:02 +02:00 |
|
Ralf Jung
|
378d9d4172
|
be pragmatic about ptr-int comparisons, for now
|
2019-04-16 17:47:37 +02:00 |
|
Ralf Jung
|
5f29a53992
|
rustup
|
2019-04-12 12:32:26 +02:00 |
|
Ralf Jung
|
8de4f34a7f
|
Merge remote-tracking branch 'origin/master'
|
2019-04-11 22:09:09 +02:00 |
|
Ralf Jung
|
48b22b80c5
|
Fix typo
Co-Authored-By: Aaron1011 <aa1ronham@gmail.com>
|
2019-04-09 23:33:13 -04:00 |
|
Oliver Scherer
|
2eb2c8dd57
|
Merge branch 'master' into feature/random
|
2019-04-09 21:58:15 +02:00 |
|
Aaron Hill
|
0837d630f7
|
Some final cleanup
|
2019-04-09 15:49:34 -04:00 |
|
Aaron Hill
|
c6e0d09714
|
Retrieve SYS_getrandom from libc using const-eval
|
2019-04-09 11:04:30 -04:00 |
|
Aaron Hill
|
22044c878d
|
Improve deterministic mode error message
|
2019-04-09 10:16:32 -04:00 |
|
Aaron Hill
|
6b4c5b81da
|
Fix 'RtlGenRandom' argument slots
|
2019-04-08 23:18:10 -04:00 |
|
Aaron Hill
|
5f997645bc
|
Interpret system call numbers relative to target architecture
|
2019-04-08 22:37:58 -04:00 |
|
Aaron Hill
|
6d3e93c281
|
Refactor random number generation
|
2019-04-08 22:22:41 -04:00 |
|
Aaron Hill
|
6b0440e26d
|
Cleanup argument parsing
|
2019-04-08 21:40:52 -04:00 |
|
Ralf Jung
|
06af617b92
|
fix dumping uninitialized locals
|
2019-04-08 13:40:11 +02:00 |
|
bjorn3
|
32d01263a9
|
Update src/fn_call.rs
Co-Authored-By: TimDiekmann <21277928+TimDiekmann@users.noreply.github.com>
|
2019-04-08 10:44:02 +02:00 |
|
Aaron Hill
|
808b149671
|
Use raw syscall numbers
|
2019-04-07 20:09:53 -04:00 |
|
Aaron Hill
|
dddeda7f7d
|
Use getrandom() syscall number from libc
|
2019-04-07 19:57:14 -04:00 |
|