Ralf Jung
|
4309539efe
|
cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests
|
2019-02-07 13:00:27 +01:00 |
|
Ralf Jung
|
e36a90de98
|
make release builds have debug info
|
2019-02-07 12:59:35 +01:00 |
|
Ralf Jung
|
2d4ebf017d
|
Merge pull request #610 from RalfJung/panic
Support panic_impl and atomic_nand
|
2019-02-06 13:55:17 +01:00 |
|
Ralf Jung
|
e5972c38a3
|
test mutable string slice indexing
|
2019-02-06 11:47:32 +01:00 |
|
Ralf Jung
|
48ac35f072
|
panic_impl is another way to panic
|
2019-02-06 11:41:45 +01:00 |
|
Ralf Jung
|
661ed7b82d
|
implement atomic_nand
|
2019-02-06 11:40:10 +01:00 |
|
Ralf Jung
|
9e0e219917
|
Merge pull request #609 from RalfJung/readme
update development instructions in README
|
2019-02-05 21:54:21 +01:00 |
|
Ralf Jung
|
f3becd810e
|
explain how to run cargo miri with a locally compiled rustc
|
2019-02-05 21:35:15 +01:00 |
|
Ralf Jung
|
7dbd23626e
|
update development instructions in README
|
2019-02-05 15:03:11 +01:00 |
|
Oliver Scherer
|
e501e13fa9
|
Merge pull request #607 from solson/travis
Try out more email notifications
|
2019-02-01 10:01:37 +01:00 |
|
Oliver Scherer
|
35809441cd
|
Try out more email notifications
|
2019-01-30 14:09:37 +01:00 |
|
Ralf Jung
|
a9505a8fb8
|
Merge pull request #606 from solson/rustup
Rustup
|
2019-01-30 12:58:17 +01:00 |
|
Ralf Jung
|
e827f7b238
|
bump Rust
|
2019-01-30 11:51:17 +01:00 |
|
Ralf Jung
|
6b855573bd
|
fix generator test case
|
2019-01-30 11:51:06 +01:00 |
|
Oliver Scherer
|
be511b3041
|
Merge pull request #604 from solson/rustup
Rustup
|
2019-01-28 09:45:14 +01:00 |
|
Ralf Jung
|
ce8cf6425e
|
bump Rust
|
2019-01-28 09:20:06 +01:00 |
|
Ralf Jung
|
f7519f36e6
|
fix tests to avoid deprecated constants
|
2019-01-28 09:19:56 +01:00 |
|
Ralf Jung
|
39bf6087a2
|
Merge pull request #601 from RalfJung/comment
remove outdated comment
|
2019-01-25 15:51:04 +01:00 |
|
Ralf Jung
|
76985f1e2d
|
remove outdated comment
|
2019-01-25 08:59:12 +01:00 |
|
Ralf Jung
|
91c96b4cd4
|
Merge pull request #600 from solson/rustup
Expose `AllocId`s for priroda
|
2019-01-22 19:32:06 +01:00 |
|
Oliver Scherer
|
9f06cdc87a
|
Explain Ref problems
|
2019-01-22 17:19:19 +01:00 |
|
Oliver Scherer
|
7269a884c9
|
Expose AllocIds for priroda
|
2019-01-22 16:46:45 +01:00 |
|
Ralf Jung
|
1cd85d2a27
|
Merge pull request #599 from solson/rustup
Update to latest rustc master
|
2019-01-21 18:11:24 +00:00 |
|
Oliver Scherer
|
6943ba8a63
|
Bump version file
|
2019-01-21 17:43:11 +01:00 |
|
Oliver Scherer
|
9c1c407a02
|
Update to latest rustc master
|
2019-01-21 17:29:09 +01:00 |
|
Oliver Scherer
|
97f4cff8e9
|
Merge pull request #597 from RalfJung/range-map
rewrite range map
|
2019-01-08 09:16:58 +01:00 |
|
Ralf Jung
|
a13b6f183b
|
make MSE bench run a bit longer (less noise)
|
2019-01-07 22:57:05 +01:00 |
|
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 |
|