]>
git.lizzy.rs Git - rust.git/log
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
Ralf Jung [Sat, 6 Apr 2019 20:43:06 +0000 (21:43 +0100)]
Merge pull request #677 from RalfJung/async
temporarily ignore async fn test
Ralf Jung [Sat, 6 Apr 2019 20:11:59 +0000 (22:11 +0200)]
temporarily ignore async fn test
Ralf Jung [Sat, 6 Apr 2019 16:54:02 +0000 (17:54 +0100)]
Merge pull request #674 from matthewjasper/2phase-on-edition
Use edition flag for 2phase test
Matthew Jasper [Sat, 6 Apr 2019 15:17:33 +0000 (16:17 +0100)]
Remove unnecessary test directive
Ralf Jung [Sat, 6 Apr 2019 14:45:38 +0000 (15:45 +0100)]
Merge branch 'master' into 2phase-on-edition
Ralf Jung [Sat, 6 Apr 2019 13:00:14 +0000 (14:00 +0100)]
Merge pull request #671 from timotree3/patch-1
Add alternative for how to install if a change in nightly broke the rustup component
Ralf Jung [Sat, 6 Apr 2019 10:38:09 +0000 (11:38 +0100)]
Merge branch 'master' into patch-1
Ralf Jung [Sat, 6 Apr 2019 10:37:52 +0000 (11:37 +0100)]
Merge pull request #676 from RalfJung/appveyor
AppVeyor: ignore already existing rustup-toolchain-install-master
Ralf Jung [Sat, 6 Apr 2019 09:29:35 +0000 (11:29 +0200)]
AppVeyor: ignore already existing rustup-toolchain-install-master (WTF windows batch makes no sense)
Ralf Jung [Sat, 6 Apr 2019 09:26:27 +0000 (10:26 +0100)]
Merge branch 'master' into patch-1
Matthew Jasper [Fri, 5 Apr 2019 09:00:44 +0000 (10:00 +0100)]
Use edition flag for 2phase test
The compiler now rejects one of the examples with #![feature(nll)]
Ralf Jung [Thu, 4 Apr 2019 20:34:46 +0000 (21:34 +0100)]
Merge pull request #673 from RalfJung/travis
use rustup-toolchain-install-master for CI
Ralf Jung [Thu, 4 Apr 2019 15:49:16 +0000 (16:49 +0100)]
fix AppVeyor
Ralf Jung [Thu, 4 Apr 2019 09:38:49 +0000 (10:38 +0100)]
fix Travis and adjust AppVeyor
Ralf Jung [Thu, 4 Apr 2019 09:21:32 +0000 (10:21 +0100)]
adjust README
Ralf Jung [Thu, 4 Apr 2019 09:19:18 +0000 (10:19 +0100)]
use rustup-toolchain-install-master for CI
Oliver Scherer [Wed, 3 Apr 2019 12:50:03 +0000 (14:50 +0200)]
Merge pull request #672 from rust-lang/update
Update to rustc nightly
Oliver Scherer [Wed, 3 Apr 2019 08:48:11 +0000 (10:48 +0200)]
Update to rustc nightly
Timo [Sun, 31 Mar 2019 18:52:57 +0000 (14:52 -0400)]
README: Fix missing link
Thanks for your patience :man_facepalming:
Timo [Sun, 31 Mar 2019 15:05:14 +0000 (11:05 -0400)]
README: Update to RalfJung's suggestion...
...verbatim. Thanks :)
Timo [Sun, 31 Mar 2019 14:03:03 +0000 (10:03 -0400)]
README: Suggest using a previous nightly, revert other approach
Timo [Sat, 30 Mar 2019 21:53:15 +0000 (17:53 -0400)]
Add alternative for how to install if rustup fails
As is the case now: https://rust-lang-nursery.github.io/rust-toolstate/
Ralf Jung [Sat, 30 Mar 2019 11:50:11 +0000 (12:50 +0100)]
Merge pull request #668 from kenta7777/rename-evalcontext-to-interpretcx
Renames `EvalContext` to `InterpretCx`
kenta7777 [Sat, 30 Mar 2019 02:01:44 +0000 (11:01 +0900)]
adjust rust-version to the latest nightly