Commit Graph

2557 Commits

Author SHA1 Message Date
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
Ralf Jung
1f687374ca
Merge pull request #550 from RalfJung/cargo-miri-test
Fix cargo miri test
2018-12-18 20:03:54 +01:00
Ralf Jung
4e0fe62bd9 typo 2018-12-18 19:45:10 +01:00
Ralf Jung
e4fd710606 there is a new xargo released, use that 2018-12-18 19:41:32 +01:00
Ralf Jung
e8c53e81f8 implement macOS functions for argc, argv 2018-12-18 19:26:57 +01:00
Ralf Jung
b3f7991367 btree is fixed 2018-12-18 18:41:52 +01:00
Ralf Jung
3e603c38d7 bump Rust version, fix test-cargo-miri and it no longer needs to disable validation 2018-12-18 18:40:06 +01:00