Ralf Jung
|
c54d7eef07
|
expand docs
|
2019-01-07 19:41:18 +01:00 |
|
Ralf Jung
|
44612aa834
|
add the benchmarks I used
|
2019-01-07 19:39:49 +01:00 |
|
Ralf Jung
|
a957a36ddc
|
tweak merging to give up if we don't make any progress
|
2019-01-07 19:36:25 +01:00 |
|
Ralf Jung
|
17d11ebe6e
|
be explicit about doing a binary search; fix out-of-bounds check
|
2019-01-07 15:10:22 +01:00 |
|
Ralf Jung
|
4f9c14c256
|
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% (!)
|
2019-01-07 15:10:22 +01:00 |
|
Ralf Jung
|
f24d0354f9
|
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
|
2019-01-07 15:10:22 +01:00 |
|
Ralf Jung
|
6c9e702d9b
|
range_map: also test size of the internal representation
|
2019-01-07 15:10:22 +01:00 |
|
Oliver Scherer
|
ee582b6eb3
|
Merge pull request #598 from solson/rustup
implement panic_if_uninhabited intrinsic
|
2019-01-07 12:27:13 +01:00 |
|
Ralf Jung
|
e81d81e5af
|
implement panic_if_uninhabited intrinsic
|
2019-01-07 11:23:08 +01:00 |
|
Oliver Scherer
|
cb319b5e42
|
Merge pull request #596 from RalfJung/backtrace
move env var stuff out of the miri lib
|
2019-01-05 14:41:06 +01:00 |
|
Oliver Scherer
|
0019d6f01f
|
Merge branch 'master' into backtrace
|
2019-01-05 13:11:29 +01:00 |
|
Ralf Jung
|
3f7626c831
|
Merge pull request #595 from RalfJung/2phase
test some more 2PB stuff
|
2019-01-05 13:00:28 +01:00 |
|
Ralf Jung
|
fced2ac865
|
move env var stuff out of the miri lib
|
2019-01-04 15:37:51 +01:00 |
|
Ralf Jung
|
b344f0fd43
|
test some more 2PB stuff
|
2019-01-04 10:15:53 +01:00 |
|
Oliver Scherer
|
7236644650
|
Merge pull request #592 from RalfJung/readme
README: fix install command
|
2018-12-28 19:03:43 +01:00 |
|
Ralf Jung
|
1cda220b4b
|
fix install command
|
2018-12-28 18:16:55 +01:00 |
|
Ralf Jung
|
2e2a33aab8
|
Merge pull request #588 from RalfJung/env-logger
bump env_logger
|
2018-12-27 13:09:05 +01:00 |
|
Ralf Jung
|
ef9e18e628
|
Merge branch 'master' into env-logger
|
2018-12-27 12:21:53 +01:00 |
|
Ralf Jung
|
003febb584
|
Merge pull request #590 from RalfJung/check-bounds
add test for offseting fn ptr
|
2018-12-26 17:43:51 +01:00 |
|
Ralf Jung
|
3715245a36
|
add test for offseting fn ptr
|
2018-12-26 16:23:04 +01:00 |
|
Oliver Scherer
|
6c2fc6daf1
|
Merge pull request #589 from RalfJung/check-bounds
use memory::check_bounds_ptr for offset check
|
2018-12-26 14:28:25 +01:00 |
|
Ralf Jung
|
f2e14d9314
|
use memory::check_bounds_ptr for offset check
|
2018-12-26 13:16:47 +01:00 |
|
Ralf Jung
|
e759da6b4b
|
bump env_logger
|
2018-12-26 11:25:20 +01:00 |
|
Ralf Jung
|
d0f57c7cb9
|
Merge pull request #587 from solson/rustup
Fix comparing function pointers
|
2018-12-26 11:24:29 +01:00 |
|
Ralf Jung
|
55107d5dd3
|
bump Rust version
|
2018-12-26 11:01:22 +01:00 |
|
Ralf Jung
|
5a8f9e58f7
|
properly compare unequal function pointers
|
2018-12-25 13:29:38 +01:00 |
|
Ralf Jung
|
4e4569cf4b
|
fix build and tests with latest nightly
|
2018-12-25 13:26:40 +01:00 |
|
Ralf Jung
|
821f29bc5d
|
Merge pull request #586 from solson/rustup
fix for infallible allocation
|
2018-12-25 00:12:38 +01:00 |
|
Ralf Jung
|
d0f06a5f0d
|
bump Rust version
|
2018-12-24 14:30:29 +01:00 |
|
Ralf Jung
|
d8c9c9dd4f
|
update README for some tracing being available on nightlies
|
2018-12-23 14:21:15 +01:00 |
|
Ralf Jung
|
4f659ed507
|
fix for infallible allocation
|
2018-12-23 14:13:16 +01:00 |
|
Ralf Jung
|
fd12f95305
|
Merge pull request #585 from solson/rustup
fix test for latest nightly
|
2018-12-22 16:29:31 +01:00 |
|
Ralf Jung
|
79bdec8a9c
|
fix test for latest nightly
|
2018-12-22 16:07:50 +01:00 |
|
Ralf Jung
|
84b66f0f01
|
Merge pull request #572 from solson/rustup
Treat ref-to-raw cast like a reborrow: do a special kind of retag
|
2018-12-21 09:56:10 +01:00 |
|
Ralf Jung
|
2c2587bc8d
|
bump Rust version
|
2018-12-21 09:29:42 +01:00 |
|
Ralf Jung
|
a03d184648
|
Merge branch 'master' into rustup
|
2018-12-20 13:34:24 +01:00 |
|
Ralf Jung
|
8359898c09
|
Merge pull request #578 from RalfJung/misc
Test cargo-miri on Windows
|
2018-12-19 16:28:27 +01:00 |
|
Ralf Jung
|
750cd442be
|
fix argv null terminator
|
2018-12-19 15:45:23 +01:00 |
|
Ralf Jung
|
af4fb6655e
|
implement GetCommandLineW, GetEnvironmentVariableW, GetConsoleScreenBufferInfo, SetConsoleTextAttribute, GetSystemInfo
|
2018-12-19 15:25:25 +01:00 |
|
Ralf Jung
|
e7c523f72e
|
run test-cargo-miri on Windows
|
2018-12-19 12:16:17 +01:00 |
|
Ralf Jung
|
51ed485ba4
|
implement stdout/stderr on Windows
|
2018-12-19 12:16:07 +01:00 |
|
Ralf Jung
|
d8956f0a29
|
Merge pull request #580 from RalfJung/cargo-miri
Cargo miri tweaks and test that we can exclude tests
|
2018-12-19 11:38:54 +01:00 |
|
Ralf Jung
|
adba97e4b2
|
document the cargo-miri feature
|
2018-12-19 11:16:19 +01:00 |
|
Ralf Jung
|
d67da9f04b
|
no need to set the cargo-miri feature twice
|
2018-12-19 11:12:56 +01:00 |
|
Ralf Jung
|
e10a26fd3c
|
add a test for excluding tests on miri
|
2018-12-19 11:11:01 +01:00 |
|
Ralf Jung
|
11433bf38e
|
actually show warnings about suppressed output
|
2018-12-19 11:07:24 +01:00 |
|
Ralf Jung
|
ecf6599051
|
xargo version check: also check application name, just to be sure
|
2018-12-19 11:06:46 +01:00 |
|
Ralf Jung
|
133e012cec
|
sync env vars between appveyor and travis
|
2018-12-19 11:06:35 +01:00 |
|
Ralf Jung
|
bf846a637c
|
test-cargo-miri: be more clear that and why the test failed
|
2018-12-19 11:05:21 +01:00 |
|
Ralf Jung
|
61c0df7930
|
remove outdated README comment
|
2018-12-19 11:05:15 +01:00 |
|