]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Mon, 7 Jan 2019 18:36:25 +0000 (19:36 +0100)]
tweak merging to give up if we don't make any progress
Ralf Jung [Sat, 5 Jan 2019 15:16:08 +0000 (16:16 +0100)]
be explicit about doing a binary search; fix out-of-bounds check
Ralf Jung [Sat, 5 Jan 2019 14:26:16 +0000 (15:26 +0100)]
deduplicate RangeMap elements in iter_mut
This cuts down execution time of the benchmark in the OP of https://github.com/solson/miri/issues/593 by another 25%, and it cuts max-RSS by 90% (!)
Ralf Jung [Sat, 5 Jan 2019 11:59:33 +0000 (12:59 +0100)]
rewrite RangeMap to use a sorted Vec instead of a RangeMap
This gives us a 20% perf improve for the benchmark from https://github.com/solson/miri/issues/593
Ralf Jung [Fri, 4 Jan 2019 15:03:39 +0000 (16:03 +0100)]
range_map: also test size of the internal representation
Oliver Scherer [Mon, 7 Jan 2019 11:27:13 +0000 (12:27 +0100)]
Merge pull request #598 from solson/rustup
implement panic_if_uninhabited intrinsic
Ralf Jung [Mon, 7 Jan 2019 10:23:08 +0000 (11:23 +0100)]
implement panic_if_uninhabited intrinsic
Oliver Scherer [Sat, 5 Jan 2019 13:41:06 +0000 (14:41 +0100)]
Merge pull request #596 from RalfJung/backtrace
move env var stuff out of the miri lib
Oliver Scherer [Sat, 5 Jan 2019 12:11:29 +0000 (13:11 +0100)]
Merge branch 'master' into backtrace
Ralf Jung [Sat, 5 Jan 2019 12:00:28 +0000 (13:00 +0100)]
Merge pull request #595 from RalfJung/2phase
test some more 2PB stuff
Ralf Jung [Fri, 4 Jan 2019 14:37:51 +0000 (15:37 +0100)]
move env var stuff out of the miri lib
Ralf Jung [Fri, 4 Jan 2019 09:15:53 +0000 (10:15 +0100)]
test some more 2PB stuff
Oliver Scherer [Fri, 28 Dec 2018 18:03:43 +0000 (19:03 +0100)]
Merge pull request #592 from RalfJung/readme
README: fix install command
Ralf Jung [Fri, 28 Dec 2018 17:16:55 +0000 (18:16 +0100)]
fix install command
Ralf Jung [Thu, 27 Dec 2018 12:09:05 +0000 (13:09 +0100)]
Merge pull request #588 from RalfJung/env-logger
bump env_logger
Ralf Jung [Thu, 27 Dec 2018 11:21:53 +0000 (12:21 +0100)]
Merge branch 'master' into env-logger
Ralf Jung [Wed, 26 Dec 2018 16:43:51 +0000 (17:43 +0100)]
Merge pull request #590 from RalfJung/check-bounds
add test for offseting fn ptr
Ralf Jung [Wed, 26 Dec 2018 15:23:04 +0000 (16:23 +0100)]
add test for offseting fn ptr
Oliver Scherer [Wed, 26 Dec 2018 13:28:25 +0000 (14:28 +0100)]
Merge pull request #589 from RalfJung/check-bounds
use memory::check_bounds_ptr for offset check
Ralf Jung [Wed, 26 Dec 2018 12:16:47 +0000 (13:16 +0100)]
use memory::check_bounds_ptr for offset check
Ralf Jung [Wed, 26 Dec 2018 10:25:20 +0000 (11:25 +0100)]
bump env_logger
Ralf Jung [Wed, 26 Dec 2018 10:24:29 +0000 (11:24 +0100)]
Merge pull request #587 from solson/rustup
Fix comparing function pointers
Ralf Jung [Wed, 26 Dec 2018 10:01:22 +0000 (11:01 +0100)]
bump Rust version
Ralf Jung [Tue, 25 Dec 2018 12:29:38 +0000 (13:29 +0100)]
properly compare unequal function pointers
Ralf Jung [Tue, 25 Dec 2018 12:26:40 +0000 (13:26 +0100)]
fix build and tests with latest nightly
Ralf Jung [Mon, 24 Dec 2018 23:12:38 +0000 (00:12 +0100)]
Merge pull request #586 from solson/rustup
fix for infallible allocation
Ralf Jung [Mon, 24 Dec 2018 13:30:29 +0000 (14:30 +0100)]
bump Rust version
Ralf Jung [Sun, 23 Dec 2018 13:21:15 +0000 (14:21 +0100)]
update README for some tracing being available on nightlies
Ralf Jung [Sun, 23 Dec 2018 13:13:16 +0000 (14:13 +0100)]
fix for infallible allocation
Ralf Jung [Sat, 22 Dec 2018 15:29:31 +0000 (16:29 +0100)]
Merge pull request #585 from solson/rustup
fix test for latest nightly
Ralf Jung [Sat, 22 Dec 2018 15:07:40 +0000 (16:07 +0100)]
fix test for latest nightly
Ralf Jung [Fri, 21 Dec 2018 08:56:10 +0000 (09:56 +0100)]
Merge pull request #572 from solson/rustup
Treat ref-to-raw cast like a reborrow: do a special kind of retag
Ralf Jung [Fri, 21 Dec 2018 08:29:42 +0000 (09:29 +0100)]
bump Rust version
Ralf Jung [Thu, 20 Dec 2018 12:34:24 +0000 (13:34 +0100)]
Merge branch 'master' into rustup
Ralf Jung [Wed, 19 Dec 2018 15:28:27 +0000 (16:28 +0100)]
Merge pull request #578 from RalfJung/misc
Test cargo-miri on Windows
Ralf Jung [Wed, 19 Dec 2018 14:45:23 +0000 (15:45 +0100)]
fix argv null terminator
Ralf Jung [Wed, 19 Dec 2018 14:25:25 +0000 (15:25 +0100)]
implement GetCommandLineW, GetEnvironmentVariableW, GetConsoleScreenBufferInfo, SetConsoleTextAttribute, GetSystemInfo
Ralf Jung [Tue, 18 Dec 2018 18:52:30 +0000 (19:52 +0100)]
run test-cargo-miri on Windows
Ralf Jung [Tue, 18 Dec 2018 20:49:01 +0000 (21:49 +0100)]
implement stdout/stderr on Windows
Ralf Jung [Wed, 19 Dec 2018 10:38:54 +0000 (11:38 +0100)]
Merge pull request #580 from RalfJung/cargo-miri
Cargo miri tweaks and test that we can exclude tests
Ralf Jung [Wed, 19 Dec 2018 10:16:19 +0000 (11:16 +0100)]
document the cargo-miri feature
Ralf Jung [Wed, 19 Dec 2018 10:12:56 +0000 (11:12 +0100)]
no need to set the cargo-miri feature twice
Ralf Jung [Wed, 19 Dec 2018 10:11:01 +0000 (11:11 +0100)]
add a test for excluding tests on miri
Ralf Jung [Wed, 19 Dec 2018 08:03:10 +0000 (09:03 +0100)]
actually show warnings about suppressed output
Ralf Jung [Wed, 19 Dec 2018 07:41:31 +0000 (08:41 +0100)]
xargo version check: also check application name, just to be sure
Ralf Jung [Wed, 19 Dec 2018 10:06:35 +0000 (11:06 +0100)]
sync env vars between appveyor and travis
Ralf Jung [Tue, 18 Dec 2018 20:49:38 +0000 (21:49 +0100)]
test-cargo-miri: be more clear that and why the test failed
Ralf Jung [Tue, 18 Dec 2018 20:49:21 +0000 (21:49 +0100)]
remove outdated README comment
Ralf Jung [Tue, 18 Dec 2018 19:03:54 +0000 (20:03 +0100)]
Merge pull request #550 from RalfJung/cargo-miri-test
Fix cargo miri test
Ralf Jung [Tue, 18 Dec 2018 18:45:10 +0000 (19:45 +0100)]
typo
Ralf Jung [Tue, 18 Dec 2018 18:41:32 +0000 (19:41 +0100)]
there is a new xargo released, use that
Ralf Jung [Tue, 18 Dec 2018 18:26:57 +0000 (19:26 +0100)]
implement macOS functions for argc, argv
Ralf Jung [Tue, 18 Dec 2018 17:41:52 +0000 (18:41 +0100)]
btree is fixed
Ralf Jung [Tue, 18 Dec 2018 17:40:06 +0000 (18:40 +0100)]
bump Rust version, fix test-cargo-miri and it no longer needs to disable validation
Ralf Jung [Tue, 18 Dec 2018 17:36:19 +0000 (18:36 +0100)]
Merge remote-tracking branch 'origin/master' into cargo-miri-test
Ralf Jung [Tue, 18 Dec 2018 17:35:45 +0000 (18:35 +0100)]
Merge pull request #574 from solson/rustup2
fix for latest nightly
Ralf Jung [Tue, 18 Dec 2018 17:07:14 +0000 (18:07 +0100)]
Merge remote-tracking branch 'origin/master' into rustup2
Ralf Jung [Tue, 18 Dec 2018 17:05:00 +0000 (18:05 +0100)]
Merge pull request #576 from solson/rustup3
Adjust tests for funciton pointer changes
Oliver Scherer [Mon, 17 Dec 2018 13:38:26 +0000 (14:38 +0100)]
Merge pull request #575 from ehuss/add-rustc-workspace-hack
Add rustc-workspace-hack.
Oliver Scherer [Mon, 17 Dec 2018 09:12:04 +0000 (10:12 +0100)]
Adjust tests for funciton pointer changes
Eric Huss [Mon, 17 Dec 2018 03:34:00 +0000 (19:34 -0800)]
Add rustc-workspace-hack.
Ralf Jung [Sat, 15 Dec 2018 17:39:42 +0000 (18:39 +0100)]
temporarily use git version of xargo
Ralf Jung [Sat, 15 Dec 2018 14:08:03 +0000 (15:08 +0100)]
detect outdated xargo version
Ralf Jung [Sat, 15 Dec 2018 13:13:46 +0000 (14:13 +0100)]
tweak travis.sh
Ralf Jung [Fri, 14 Dec 2018 07:12:39 +0000 (08:12 +0100)]
bump Rust nightly
Ralf Jung [Thu, 13 Dec 2018 21:07:57 +0000 (22:07 +0100)]
we have no whitelist any more, go back to opt-level 3
Ralf Jung [Thu, 13 Dec 2018 21:05:46 +0000 (22:05 +0100)]
VecDeque got fixed
Ralf Jung [Thu, 13 Dec 2018 19:25:24 +0000 (20:25 +0100)]
fix libc feature gate
Ralf Jung [Wed, 12 Dec 2018 19:27:34 +0000 (20:27 +0100)]
Merge pull request #573 from RalfJung/rustc-wrapper
use RUSTC_WRAPPER for the cargo hook
Ralf Jung [Wed, 12 Dec 2018 18:52:49 +0000 (19:52 +0100)]
travis: explain what we are doing
Ralf Jung [Wed, 12 Dec 2018 18:51:52 +0000 (19:51 +0100)]
fix warning
Ralf Jung [Wed, 12 Dec 2018 18:15:57 +0000 (19:15 +0100)]
move travis commands to script file, maybe that fixes the macOS weirdness
Ralf Jung [Wed, 12 Dec 2018 16:30:20 +0000 (17:30 +0100)]
*oops*
Ralf Jung [Wed, 12 Dec 2018 16:05:23 +0000 (17:05 +0100)]
use show_error to terminate
Ralf Jung [Wed, 12 Dec 2018 16:03:40 +0000 (17:03 +0100)]
use RUSTC_WRAPPER for the cargo hook
Ralf Jung [Wed, 12 Dec 2018 11:59:13 +0000 (12:59 +0100)]
Merge branch 'master' into retag-to-raw
Oliver Scherer [Wed, 12 Dec 2018 11:21:07 +0000 (12:21 +0100)]
Merge pull request #570 from RalfJung/targets
do not auto-detect the targets in the sysroot, instead specify target manually through env var
Ralf Jung [Wed, 12 Dec 2018 10:11:20 +0000 (11:11 +0100)]
treat ref-to-raw cast like a reborrow: do a special kind of retag
Ralf Jung [Wed, 12 Dec 2018 10:03:42 +0000 (11:03 +0100)]
do not auto-detect the targets in the sysroot, instead specify target manually through env var
Ralf Jung [Tue, 11 Dec 2018 16:54:39 +0000 (17:54 +0100)]
rebase fallout
Ralf Jung [Tue, 27 Nov 2018 14:06:51 +0000 (15:06 +0100)]
test cargo miri test output when testing cargo miri
Ralf Jung [Tue, 27 Nov 2018 14:06:23 +0000 (15:06 +0100)]
treat test binaries like all others
Ralf Jung [Tue, 27 Nov 2018 14:06:08 +0000 (15:06 +0100)]
implement some libc hooks needed by libtest
Ralf Jung [Tue, 11 Dec 2018 14:21:43 +0000 (15:21 +0100)]
Merge pull request #568 from RalfJung/cleanup
Cleanup: Avoid repeating signatures, get rid of to_bytes hack
Ralf Jung [Tue, 11 Dec 2018 13:32:59 +0000 (14:32 +0100)]
get rid of to_bytes hack
Ralf Jung [Tue, 11 Dec 2018 13:18:51 +0000 (14:18 +0100)]
make some functions private to StackedBorrows
Ralf Jung [Tue, 11 Dec 2018 13:16:58 +0000 (14:16 +0100)]
avoid repeating signatures in EvalContext extension traits
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer [Mon, 10 Dec 2018 12:43:29 +0000 (13:43 +0100)]
Merge pull request #566 from RalfJung/foreign-full-mir
Support building and running with full MIR on foreign architectures, drop support for missing MIR
Ralf Jung [Mon, 10 Dec 2018 12:14:46 +0000 (13:14 +0100)]
use rustc_version also to parse host in compiletest
Ralf Jung [Mon, 10 Dec 2018 11:26:20 +0000 (12:26 +0100)]
remove support for not having libstd MIR
Ralf Jung [Mon, 10 Dec 2018 09:19:44 +0000 (10:19 +0100)]
fix CI
Ralf Jung [Mon, 10 Dec 2018 09:52:59 +0000 (10:52 +0100)]
fix setting the manifest path manually when using cargo miri
Ralf Jung [Mon, 10 Dec 2018 09:10:03 +0000 (10:10 +0100)]
MIRI_SYSROOT is no longer needed for development agains a locally built rustc
Ralf Jung [Mon, 10 Dec 2018 09:04:55 +0000 (10:04 +0100)]
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
Ralf Jung [Mon, 10 Dec 2018 08:32:54 +0000 (09:32 +0100)]
cargo miri: support foreign targets
Ralf Jung [Mon, 10 Dec 2018 08:23:27 +0000 (09:23 +0100)]
factor grabbing of cargo options into separate function and make it better
Ralf Jung [Sat, 8 Dec 2018 10:07:22 +0000 (11:07 +0100)]
Merge pull request #564 from solson/rustup
Support two-phase borrows, and other rustup
Ralf Jung [Sat, 8 Dec 2018 09:47:50 +0000 (10:47 +0100)]
fix benches
Ralf Jung [Sat, 8 Dec 2018 09:33:29 +0000 (10:33 +0100)]
bump Rust version, fix build
Ralf Jung [Sat, 8 Dec 2018 09:33:14 +0000 (10:33 +0100)]
Merge remote-tracking branch 'origin/master' into rustup