]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Sat, 20 Apr 2019 16:36:43 +0000 (18:36 +0200)]
add section on the no MIR error
Ralf Jung [Fri, 19 Apr 2019 17:53:42 +0000 (19:53 +0200)]
rewirte development part of README
Ralf Jung [Fri, 19 Apr 2019 17:27:19 +0000 (19:27 +0200)]
warn when cargo miri setup does not do anything
Oliver Scherer [Fri, 19 Apr 2019 07:55:44 +0000 (09:55 +0200)]
Merge pull request #699 from RalfJung/stacked-borrows-2
test another version of 'creating a shared ref must not leak the Unique'
Ralf Jung [Fri, 19 Apr 2019 06:46:09 +0000 (08:46 +0200)]
test another version of 'creating a shared ref must not leak the Unique'
Ralf Jung [Fri, 19 Apr 2019 06:36:05 +0000 (08:36 +0200)]
two-phase-borrow comment
Ralf Jung [Thu, 18 Apr 2019 21:29:27 +0000 (23:29 +0200)]
Merge pull request #698 from RalfJung/stacked-borrows-2
test that creating a 2nd mutable ref from a NonNull invalidates the first
Ralf Jung [Thu, 18 Apr 2019 17:28:25 +0000 (19:28 +0200)]
Merge branch 'master' into stacked-borrows-2
Ralf Jung [Thu, 18 Apr 2019 15:21:04 +0000 (17:21 +0200)]
Merge pull request #696 from TimDiekmann/realloc
Add `realloc`
Ralf Jung [Thu, 18 Apr 2019 14:44:43 +0000 (16:44 +0200)]
try to fix Windows CI
Ralf Jung [Thu, 18 Apr 2019 14:16:22 +0000 (16:16 +0200)]
remove some unneeded 'extern crate'
Tim Diekmann [Thu, 18 Apr 2019 13:20:32 +0000 (15:20 +0200)]
Add handling for `nullptr` and `size == 0`
Ralf Jung [Thu, 18 Apr 2019 12:58:30 +0000 (14:58 +0200)]
CI: build with debug assertions
Ralf Jung [Thu, 18 Apr 2019 11:20:01 +0000 (13:20 +0200)]
test that creating a 2nd mutable ref from a NonNull invalidates the first
Tim Diekmann [Thu, 18 Apr 2019 10:39:18 +0000 (12:39 +0200)]
Fix for latest upstream update
Tim Diekmann [Thu, 18 Apr 2019 10:22:58 +0000 (12:22 +0200)]
Merge branch 'master' into realloc
Ralf Jung [Thu, 18 Apr 2019 08:15:37 +0000 (10:15 +0200)]
Merge pull request #695 from RalfJung/stacked-borrows-2
Stacked borrows 2 (alpha 1)
Tim Diekmann [Wed, 17 Apr 2019 23:17:19 +0000 (01:17 +0200)]
Add `realloc`
Ralf Jung [Wed, 17 Apr 2019 14:25:38 +0000 (16:25 +0200)]
embrace find_map and some whitespace changes
Oliver Scherer [Wed, 17 Apr 2019 14:22:33 +0000 (16:22 +0200)]
Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
Ralf Jung [Wed, 17 Apr 2019 14:02:42 +0000 (16:02 +0200)]
more tests -- also one showing why we are not done yet
Ralf Jung [Wed, 17 Apr 2019 13:23:20 +0000 (15:23 +0200)]
bump Rust
Ralf Jung [Wed, 17 Apr 2019 13:20:33 +0000 (15:20 +0200)]
add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability
Ralf Jung [Wed, 17 Apr 2019 12:57:13 +0000 (14:57 +0200)]
barriers are dead, long live protectors -- this enables overlapping two-phase borrows!
Ralf Jung [Wed, 17 Apr 2019 12:28:45 +0000 (14:28 +0200)]
test creating two raw pointers from the same mutable ref
Ralf Jung [Wed, 17 Apr 2019 12:23:21 +0000 (14:23 +0200)]
abstract mapping over all the stacks in some memory range
Ralf Jung [Wed, 17 Apr 2019 06:42:41 +0000 (08:42 +0200)]
let the permission of a new pointer depend on the type only
Ralf Jung [Wed, 17 Apr 2019 06:35:06 +0000 (08:35 +0200)]
organize stacked borrows run-pass tests
Ralf Jung [Wed, 17 Apr 2019 06:25:21 +0000 (08:25 +0200)]
try to test the problematic cast-to-raw case... unfortunately with the implicit reborrow that's not currently possible
Ralf Jung [Tue, 16 Apr 2019 21:37:37 +0000 (23:37 +0200)]
some failures are impossible
Ralf Jung [Tue, 16 Apr 2019 15:17:28 +0000 (17:17 +0200)]
adjust compile-fail error messages
This also passes miri-test-libstd!
Ralf Jung [Tue, 16 Apr 2019 13:26:21 +0000 (15:26 +0200)]
more comments
Ralf Jung [Mon, 15 Apr 2019 15:06:42 +0000 (17:06 +0200)]
make run-pass tests pass. tweak how we remove barriers.
Ralf Jung [Mon, 15 Apr 2019 13:36:09 +0000 (15:36 +0200)]
rewrite Stacked Borrows Core. this passes stacked-borrows.rs!
Oliver Scherer [Wed, 17 Apr 2019 07:23:47 +0000 (09:23 +0200)]
Merge pull request #694 from RalfJung/readme
document -Zmiri-seed
Ralf Jung [Wed, 17 Apr 2019 06:20:02 +0000 (08:20 +0200)]
document -Zmiri-seed
Ralf Jung [Wed, 17 Apr 2019 05:42:43 +0000 (07:42 +0200)]
Merge pull request #692 from RalfJung/rand
Fix 0-sized getrandom and thread_rng()
Ralf Jung [Tue, 16 Apr 2019 19:04:44 +0000 (21:04 +0200)]
fix RtlGenRandom argument size
Ralf Jung [Tue, 16 Apr 2019 18:55:58 +0000 (20:55 +0200)]
Merge branch 'master' into rand
Oliver Scherer [Tue, 16 Apr 2019 18:52:55 +0000 (20:52 +0200)]
Merge pull request #691 from RalfJung/pragmatic-ptr-eq
be pragmatic about ptr-int comparisons, for now
Ralf Jung [Tue, 16 Apr 2019 18:36:33 +0000 (20:36 +0200)]
try to really fix tests on macOS
Ralf Jung [Tue, 16 Apr 2019 18:14:23 +0000 (20:14 +0200)]
fix tests on macOS
Ralf Jung [Tue, 16 Apr 2019 18:12:55 +0000 (20:12 +0200)]
pick better test names
Ralf Jung [Tue, 16 Apr 2019 17:55:22 +0000 (19:55 +0200)]
fix ref file
Ralf Jung [Tue, 16 Apr 2019 17:49:36 +0000 (19:49 +0200)]
stub out pthread_atfork to that we support thread_rng()
Ralf Jung [Tue, 16 Apr 2019 17:26:02 +0000 (19:26 +0200)]
fix 0-sized getrandom
Ralf Jung [Tue, 16 Apr 2019 17:12:56 +0000 (19:12 +0200)]
update cargo miri test to test rng crate a bit; this currently fails
Ralf Jung [Tue, 16 Apr 2019 17:09:37 +0000 (19:09 +0200)]
fix compile-fail test
Ralf Jung [Tue, 16 Apr 2019 17:06:08 +0000 (19:06 +0200)]
tweak entropy tests a bit
Ralf Jung [Tue, 16 Apr 2019 15:47:37 +0000 (17:47 +0200)]
be pragmatic about ptr-int comparisons, for now
Ralf Jung [Sun, 14 Apr 2019 08:52:12 +0000 (10:52 +0200)]
Merge pull request #690 from RalfJung/rustup
rustup
Ralf Jung [Sun, 14 Apr 2019 08:30:00 +0000 (10:30 +0200)]
rustup
Ralf Jung [Fri, 12 Apr 2019 22:20:30 +0000 (00:20 +0200)]
Merge pull request #689 from RalfJung/rustup
lower rand version requirement
Ralf Jung [Fri, 12 Apr 2019 21:20:54 +0000 (23:20 +0200)]
Merge branch 'master' into rustup
Ralf Jung [Fri, 12 Apr 2019 21:17:58 +0000 (23:17 +0200)]
lower rand version requirement
Ralf Jung [Fri, 12 Apr 2019 21:13:30 +0000 (23:13 +0200)]
Merge pull request #688 from RalfJung/rustup
rustup
Ralf Jung [Fri, 12 Apr 2019 20:15:55 +0000 (22:15 +0200)]
rustup
Ralf Jung [Fri, 12 Apr 2019 11:39:19 +0000 (13:39 +0200)]
Merge pull request #687 from RalfJung/rustup
rustup
Ralf Jung [Fri, 12 Apr 2019 10:32:14 +0000 (12:32 +0200)]
rustup
Ralf Jung [Thu, 11 Apr 2019 21:18:43 +0000 (23:18 +0200)]
Merge pull request #680 from RalfJung/miri-unsized
test calling Box<dyn FnOnce>
Ralf Jung [Thu, 11 Apr 2019 20:09:27 +0000 (22:09 +0200)]
bump Rust version
Ralf Jung [Thu, 11 Apr 2019 20:09:09 +0000 (22:09 +0200)]
Merge remote-tracking branch 'origin/master'
Ralf Jung [Wed, 10 Apr 2019 15:20:54 +0000 (17:20 +0200)]
fix async-fn test
Ralf Jung [Wed, 10 Apr 2019 07:20:33 +0000 (09:20 +0200)]
Merge pull request #683 from Aaron1011/feature/random
Implement non-deterministc mode
Aaron Hill [Wed, 10 Apr 2019 03:36:27 +0000 (23:36 -0400)]
Don't create HashMap<K, V> when not needed
Ralf Jung [Wed, 10 Apr 2019 03:33:13 +0000 (23:33 -0400)]
Fix typo
Co-Authored-By: Aaron1011 <aa1ronham@gmail.com>
Oliver Scherer [Tue, 9 Apr 2019 19:58:15 +0000 (21:58 +0200)]
Merge branch 'master' into feature/random
Aaron Hill [Tue, 9 Apr 2019 19:49:34 +0000 (15:49 -0400)]
Some final cleanup
Aaron Hill [Tue, 9 Apr 2019 15:04:30 +0000 (11:04 -0400)]
Retrieve SYS_getrandom from libc using const-eval
Aaron Hill [Tue, 9 Apr 2019 14:19:29 +0000 (10:19 -0400)]
Fix compile-fail error message
Aaron Hill [Tue, 9 Apr 2019 14:16:32 +0000 (10:16 -0400)]
Improve deterministic mode error message
Aaron Hill [Tue, 9 Apr 2019 03:52:33 +0000 (23:52 -0400)]
Use 'ignore-' instead of 'only-'
Apparently 'ignore-' doesn't work with compiletest_rs
Aaron Hill [Tue, 9 Apr 2019 03:18:10 +0000 (23:18 -0400)]
Fix 'RtlGenRandom' argument slots
Aaron Hill [Tue, 9 Apr 2019 03:16:13 +0000 (23:16 -0400)]
Only run 'getrandom' test on Linux
Aaron Hill [Tue, 9 Apr 2019 02:48:57 +0000 (22:48 -0400)]
OS X is "macos", not "darwin"
Aaron Hill [Tue, 9 Apr 2019 02:37:58 +0000 (22:37 -0400)]
Interpret system call numbers relative to target architecture
Aaron Hill [Tue, 9 Apr 2019 02:29:40 +0000 (22:29 -0400)]
Disable normal HashMap test on OS X
Implementing random number generation on OS X will require special-casing the
'openat' system call to special-case reading from /dev/urandom
Aaron Hill [Tue, 9 Apr 2019 02:22:41 +0000 (22:22 -0400)]
Refactor random number generation
Aaron Hill [Tue, 9 Apr 2019 01:42:12 +0000 (21:42 -0400)]
Only run test with default hasher
Aaron Hill [Tue, 9 Apr 2019 01:40:52 +0000 (21:40 -0400)]
Cleanup argument parsing
Aaron Hill [Tue, 9 Apr 2019 01:36:35 +0000 (21:36 -0400)]
Simplify cast using as_mut_ptr()
Ralf Jung [Mon, 8 Apr 2019 11:40:11 +0000 (13:40 +0200)]
fix dumping uninitialized locals
Ralf Jung [Mon, 8 Apr 2019 11:14:43 +0000 (13:14 +0200)]
Merge pull request #681 from TimDiekmann/calloc
Add `calloc`
Tim Diekmann [Mon, 8 Apr 2019 08:48:21 +0000 (10:48 +0200)]
Merge branch 'master' into calloc
bjorn3 [Mon, 8 Apr 2019 08:44:02 +0000 (10:44 +0200)]
Update src/fn_call.rs
Co-Authored-By: TimDiekmann <21277928+TimDiekmann@users.noreply.github.com>
Aaron Hill [Mon, 8 Apr 2019 00:08:15 +0000 (20:08 -0400)]
Use raw syscall numbers
Aaron Hill [Sun, 7 Apr 2019 23:57:14 +0000 (19:57 -0400)]
Use getrandom() syscall number from libc
Aaron Hill [Sun, 7 Apr 2019 23:30:37 +0000 (19:30 -0400)]
Fix benchmark
Tim Diekmann [Sun, 7 Apr 2019 23:26:52 +0000 (01:26 +0200)]
Fix calloc test
Forgot to free the memory. Miri found the bug :)
Aaron Hill [Sun, 7 Apr 2019 22:17:43 +0000 (18:17 -0400)]
Implement non-deterministc mode
Part of #653
This allows us to properly implement getrandom(),
which unlocks the default HashMap type (e.g. HashMap<K, V>)
with RandomState)
This commit adds a new '-Zmiri-seed=<seed>' option. When present,
this option takes a 64-bit hex value, which is used as the seed
to an internal PRNG. This PRNG is used to implement the 'getrandom()'
syscall.
When '-Zmiri-seed' is not passed, 'getrandom()' will be disabled.
Tim Diekmann [Sun, 7 Apr 2019 23:12:50 +0000 (01:12 +0200)]
Add calloc test
Tim Diekmann [Sun, 7 Apr 2019 23:12:44 +0000 (01:12 +0200)]
Tidy up calloc code
Eduard-Mihai Burtescu [Sun, 7 Apr 2019 21:58:14 +0000 (00:58 +0300)]
Merge pull request #682 from Manishearth/compiletestup
Update compiletest
Manish Goregaokar [Sun, 7 Apr 2019 21:33:28 +0000 (14:33 -0700)]
Update compiletest
Tim Diekmann [Sun, 7 Apr 2019 19:09:21 +0000 (21:09 +0200)]
Fix tagging order
Tim Diekmann [Sun, 7 Apr 2019 18:52:12 +0000 (20:52 +0200)]
Add `calloc`
Ralf Jung [Sun, 7 Apr 2019 18:05:57 +0000 (20:05 +0200)]
test calling Box<dyn FnOnce>
Ralf Jung [Sun, 7 Apr 2019 09:19:54 +0000 (11:19 +0200)]
Merge pull request #678 from RalfJung/test-env
compiletest env var cleanup
Ralf Jung [Sun, 7 Apr 2019 08:57:25 +0000 (10:57 +0200)]
rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify that this affects compiletest only
Ralf Jung [Sun, 7 Apr 2019 08:55:34 +0000 (10:55 +0200)]
compiletest can just propagate MIRI_SYSROOT from the outside