]> git.lizzy.rs Git - rust.git/log
rust.git
5 years agodeduplicate RangeMap elements in iter_mut
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% (!)

5 years agorewrite RangeMap to use a sorted Vec instead of a RangeMap
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

5 years agorange_map: also test size of the internal representation
Ralf Jung [Fri, 4 Jan 2019 15:03:39 +0000 (16:03 +0100)]
range_map: also test size of the internal representation

5 years agoMerge pull request #598 from solson/rustup
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

5 years agoimplement panic_if_uninhabited intrinsic
Ralf Jung [Mon, 7 Jan 2019 10:23:08 +0000 (11:23 +0100)]
implement panic_if_uninhabited intrinsic

5 years agoMerge pull request #596 from RalfJung/backtrace
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

5 years agoMerge branch 'master' into backtrace
Oliver Scherer [Sat, 5 Jan 2019 12:11:29 +0000 (13:11 +0100)]
Merge branch 'master' into backtrace

5 years agoMerge pull request #595 from RalfJung/2phase
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

5 years agomove env var stuff out of the miri lib
Ralf Jung [Fri, 4 Jan 2019 14:37:51 +0000 (15:37 +0100)]
move env var stuff out of the miri lib

5 years agotest some more 2PB stuff
Ralf Jung [Fri, 4 Jan 2019 09:15:53 +0000 (10:15 +0100)]
test some more 2PB stuff

5 years agoMerge pull request #592 from RalfJung/readme
Oliver Scherer [Fri, 28 Dec 2018 18:03:43 +0000 (19:03 +0100)]
Merge pull request #592 from RalfJung/readme

README: fix install command

5 years agofix install command
Ralf Jung [Fri, 28 Dec 2018 17:16:55 +0000 (18:16 +0100)]
fix install command

5 years agoMerge pull request #588 from RalfJung/env-logger
Ralf Jung [Thu, 27 Dec 2018 12:09:05 +0000 (13:09 +0100)]
Merge pull request #588 from RalfJung/env-logger

bump env_logger

5 years agoMerge branch 'master' into env-logger
Ralf Jung [Thu, 27 Dec 2018 11:21:53 +0000 (12:21 +0100)]
Merge branch 'master' into env-logger

5 years agoMerge pull request #590 from RalfJung/check-bounds
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

5 years agoadd test for offseting fn ptr
Ralf Jung [Wed, 26 Dec 2018 15:23:04 +0000 (16:23 +0100)]
add test for offseting fn ptr

5 years agoMerge pull request #589 from RalfJung/check-bounds
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

5 years agouse 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

5 years agobump env_logger
Ralf Jung [Wed, 26 Dec 2018 10:25:20 +0000 (11:25 +0100)]
bump env_logger

5 years agoMerge pull request #587 from solson/rustup
Ralf Jung [Wed, 26 Dec 2018 10:24:29 +0000 (11:24 +0100)]
Merge pull request #587 from solson/rustup

Fix comparing function pointers

5 years agobump Rust version
Ralf Jung [Wed, 26 Dec 2018 10:01:22 +0000 (11:01 +0100)]
bump Rust version

5 years agoproperly compare unequal function pointers
Ralf Jung [Tue, 25 Dec 2018 12:29:38 +0000 (13:29 +0100)]
properly compare unequal function pointers

5 years agofix build and tests with latest nightly
Ralf Jung [Tue, 25 Dec 2018 12:26:40 +0000 (13:26 +0100)]
fix build and tests with latest nightly

5 years agoMerge pull request #586 from solson/rustup
Ralf Jung [Mon, 24 Dec 2018 23:12:38 +0000 (00:12 +0100)]
Merge pull request #586 from solson/rustup

fix for infallible allocation

5 years agobump Rust version
Ralf Jung [Mon, 24 Dec 2018 13:30:29 +0000 (14:30 +0100)]
bump Rust version

5 years agoupdate README for some tracing being available on nightlies
Ralf Jung [Sun, 23 Dec 2018 13:21:15 +0000 (14:21 +0100)]
update README for some tracing being available on nightlies

5 years agofix for infallible allocation
Ralf Jung [Sun, 23 Dec 2018 13:13:16 +0000 (14:13 +0100)]
fix for infallible allocation

5 years agoMerge pull request #585 from solson/rustup
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

5 years agofix test for latest nightly
Ralf Jung [Sat, 22 Dec 2018 15:07:40 +0000 (16:07 +0100)]
fix test for latest nightly

5 years agoMerge pull request #572 from solson/rustup
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

5 years agobump Rust version
Ralf Jung [Fri, 21 Dec 2018 08:29:42 +0000 (09:29 +0100)]
bump Rust version

5 years agoMerge branch 'master' into rustup
Ralf Jung [Thu, 20 Dec 2018 12:34:24 +0000 (13:34 +0100)]
Merge branch 'master' into rustup

5 years agoMerge pull request #578 from RalfJung/misc
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

5 years agofix argv null terminator
Ralf Jung [Wed, 19 Dec 2018 14:45:23 +0000 (15:45 +0100)]
fix argv null terminator

5 years agoimplement GetCommandLineW, GetEnvironmentVariableW, GetConsoleScreenBufferInfo, SetCo...
Ralf Jung [Wed, 19 Dec 2018 14:25:25 +0000 (15:25 +0100)]
implement GetCommandLineW, GetEnvironmentVariableW, GetConsoleScreenBufferInfo, SetConsoleTextAttribute, GetSystemInfo

5 years agorun test-cargo-miri on Windows
Ralf Jung [Tue, 18 Dec 2018 18:52:30 +0000 (19:52 +0100)]
run test-cargo-miri on Windows

5 years agoimplement stdout/stderr on Windows
Ralf Jung [Tue, 18 Dec 2018 20:49:01 +0000 (21:49 +0100)]
implement stdout/stderr on Windows

5 years agoMerge pull request #580 from RalfJung/cargo-miri
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

5 years agodocument the cargo-miri feature
Ralf Jung [Wed, 19 Dec 2018 10:16:19 +0000 (11:16 +0100)]
document the cargo-miri feature

5 years agono need to set the cargo-miri feature twice
Ralf Jung [Wed, 19 Dec 2018 10:12:56 +0000 (11:12 +0100)]
no need to set the cargo-miri feature twice

5 years agoadd a test for excluding tests on miri
Ralf Jung [Wed, 19 Dec 2018 10:11:01 +0000 (11:11 +0100)]
add a test for excluding tests on miri

5 years agoactually show warnings about suppressed output
Ralf Jung [Wed, 19 Dec 2018 08:03:10 +0000 (09:03 +0100)]
actually show warnings about suppressed output

5 years agoxargo version check: also check application name, just to be sure
Ralf Jung [Wed, 19 Dec 2018 07:41:31 +0000 (08:41 +0100)]
xargo version check: also check application name, just to be sure

5 years agosync env vars between appveyor and travis
Ralf Jung [Wed, 19 Dec 2018 10:06:35 +0000 (11:06 +0100)]
sync env vars between appveyor and travis

5 years agotest-cargo-miri: be more clear that and why the test failed
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

5 years agoremove outdated README comment
Ralf Jung [Tue, 18 Dec 2018 20:49:21 +0000 (21:49 +0100)]
remove outdated README comment

5 years agoMerge pull request #550 from RalfJung/cargo-miri-test
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

5 years agotypo
Ralf Jung [Tue, 18 Dec 2018 18:45:10 +0000 (19:45 +0100)]
typo

5 years agothere is a new xargo released, use that
Ralf Jung [Tue, 18 Dec 2018 18:41:32 +0000 (19:41 +0100)]
there is a new xargo released, use that

5 years agoimplement macOS functions for argc, argv
Ralf Jung [Tue, 18 Dec 2018 18:26:57 +0000 (19:26 +0100)]
implement macOS functions for argc, argv

5 years agobtree is fixed
Ralf Jung [Tue, 18 Dec 2018 17:41:52 +0000 (18:41 +0100)]
btree is fixed

5 years agobump Rust version, fix test-cargo-miri and it no longer needs to disable validation
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

5 years agoMerge remote-tracking branch 'origin/master' into cargo-miri-test
Ralf Jung [Tue, 18 Dec 2018 17:36:19 +0000 (18:36 +0100)]
Merge remote-tracking branch 'origin/master' into cargo-miri-test

5 years agoMerge pull request #574 from solson/rustup2
Ralf Jung [Tue, 18 Dec 2018 17:35:45 +0000 (18:35 +0100)]
Merge pull request #574 from solson/rustup2

fix for latest nightly

5 years agoMerge remote-tracking branch 'origin/master' into rustup2
Ralf Jung [Tue, 18 Dec 2018 17:07:14 +0000 (18:07 +0100)]
Merge remote-tracking branch 'origin/master' into rustup2

5 years agoMerge pull request #576 from solson/rustup3
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

5 years agoMerge pull request #575 from ehuss/add-rustc-workspace-hack
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.

5 years agoAdjust tests for funciton pointer changes
Oliver Scherer [Mon, 17 Dec 2018 09:12:04 +0000 (10:12 +0100)]
Adjust tests for funciton pointer changes

5 years agoAdd rustc-workspace-hack.
Eric Huss [Mon, 17 Dec 2018 03:34:00 +0000 (19:34 -0800)]
Add rustc-workspace-hack.

5 years agotemporarily use git version of xargo
Ralf Jung [Sat, 15 Dec 2018 17:39:42 +0000 (18:39 +0100)]
temporarily use git version of xargo

5 years agodetect outdated xargo version
Ralf Jung [Sat, 15 Dec 2018 14:08:03 +0000 (15:08 +0100)]
detect outdated xargo version

5 years agotweak travis.sh
Ralf Jung [Sat, 15 Dec 2018 13:13:46 +0000 (14:13 +0100)]
tweak travis.sh

5 years agobump Rust nightly
Ralf Jung [Fri, 14 Dec 2018 07:12:39 +0000 (08:12 +0100)]
bump Rust nightly

5 years agowe have no whitelist any more, go back to opt-level 3
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

5 years agoVecDeque got fixed
Ralf Jung [Thu, 13 Dec 2018 21:05:46 +0000 (22:05 +0100)]
VecDeque got fixed

5 years agofix libc feature gate
Ralf Jung [Thu, 13 Dec 2018 19:25:24 +0000 (20:25 +0100)]
fix libc feature gate

5 years agoMerge pull request #573 from RalfJung/rustc-wrapper
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

5 years agotravis: explain what we are doing
Ralf Jung [Wed, 12 Dec 2018 18:52:49 +0000 (19:52 +0100)]
travis: explain what we are doing

5 years agofix warning
Ralf Jung [Wed, 12 Dec 2018 18:51:52 +0000 (19:51 +0100)]
fix warning

5 years agomove travis commands to script file, maybe that fixes the macOS weirdness
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

5 years ago*oops*
Ralf Jung [Wed, 12 Dec 2018 16:30:20 +0000 (17:30 +0100)]
*oops*

5 years agouse show_error to terminate
Ralf Jung [Wed, 12 Dec 2018 16:05:23 +0000 (17:05 +0100)]
use show_error to terminate

5 years agouse RUSTC_WRAPPER for the cargo hook
Ralf Jung [Wed, 12 Dec 2018 16:03:40 +0000 (17:03 +0100)]
use RUSTC_WRAPPER for the cargo hook

5 years agoMerge branch 'master' into retag-to-raw
Ralf Jung [Wed, 12 Dec 2018 11:59:13 +0000 (12:59 +0100)]
Merge branch 'master' into retag-to-raw

5 years agoMerge pull request #570 from RalfJung/targets
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

5 years agotreat ref-to-raw cast like a reborrow: do a special kind of retag
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

5 years agodo not auto-detect the targets in the sysroot, instead specify target manually throug...
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

5 years agorebase fallout
Ralf Jung [Tue, 11 Dec 2018 16:54:39 +0000 (17:54 +0100)]
rebase fallout

5 years agotest cargo miri test output when testing cargo miri
Ralf Jung [Tue, 27 Nov 2018 14:06:51 +0000 (15:06 +0100)]
test cargo miri test output when testing cargo miri

5 years agotreat test binaries like all others
Ralf Jung [Tue, 27 Nov 2018 14:06:23 +0000 (15:06 +0100)]
treat test binaries like all others

5 years agoimplement some libc hooks needed by libtest
Ralf Jung [Tue, 27 Nov 2018 14:06:08 +0000 (15:06 +0100)]
implement some libc hooks needed by libtest

5 years agoMerge pull request #568 from RalfJung/cleanup
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

5 years agoget rid of to_bytes hack
Ralf Jung [Tue, 11 Dec 2018 13:32:59 +0000 (14:32 +0100)]
get rid of to_bytes hack

5 years agomake some functions private to StackedBorrows
Ralf Jung [Tue, 11 Dec 2018 13:18:51 +0000 (14:18 +0100)]
make some functions private to StackedBorrows

5 years agoavoid repeating signatures in EvalContext extension traits
Ralf Jung [Tue, 11 Dec 2018 13:16:58 +0000 (14:16 +0100)]
avoid repeating signatures in EvalContext extension traits

5 years agoMerge pull request #566 from RalfJung/foreign-full-mir
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

5 years agouse rustc_version also to parse host in compiletest
Ralf Jung [Mon, 10 Dec 2018 12:14:46 +0000 (13:14 +0100)]
use rustc_version also to parse host in compiletest

5 years agoremove support for not having libstd MIR
Ralf Jung [Mon, 10 Dec 2018 11:26:20 +0000 (12:26 +0100)]
remove support for not having libstd MIR

5 years agofix CI
Ralf Jung [Mon, 10 Dec 2018 09:19:44 +0000 (10:19 +0100)]
fix CI

5 years agofix setting the manifest path manually when using cargo miri
Ralf Jung [Mon, 10 Dec 2018 09:52:59 +0000 (10:52 +0100)]
fix setting the manifest path manually when using cargo miri

5 years agoMIRI_SYSROOT is no longer needed for development agains a locally built rustc
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

5 years agothe test suite assumes a libstd with full MIR; run test suite on xargo-built foreign...
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

5 years agocargo miri: support foreign targets
Ralf Jung [Mon, 10 Dec 2018 08:32:54 +0000 (09:32 +0100)]
cargo miri: support foreign targets

5 years agofactor grabbing of cargo options into separate function and make it better
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

5 years agoMerge pull request #564 from solson/rustup
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

5 years agofix benches
Ralf Jung [Sat, 8 Dec 2018 09:47:50 +0000 (10:47 +0100)]
fix benches

5 years agobump Rust version, fix build
Ralf Jung [Sat, 8 Dec 2018 09:33:29 +0000 (10:33 +0100)]
bump Rust version, fix build

5 years agoMerge remote-tracking branch 'origin/master' into rustup
Ralf Jung [Sat, 8 Dec 2018 09:33:14 +0000 (10:33 +0100)]
Merge remote-tracking branch 'origin/master' into rustup

5 years agoMerge pull request #565 from RalfJung/fixme
Ralf Jung [Fri, 7 Dec 2018 17:37:10 +0000 (18:37 +0100)]
Merge pull request #565 from RalfJung/fixme

add FIXME test for coercing &mut to *const

5 years agoadd FIXME test for coercing &mut to *const
Ralf Jung [Fri, 7 Dec 2018 17:01:23 +0000 (18:01 +0100)]
add FIXME test for coercing &mut to *const