| 2019-01-07 |
Ralf Jung | be explicit about doing a binary search; fix out-of...
|
commit | commitdiff | tree |
| 2019-01-07 |
Ralf Jung | deduplicate RangeMap elements in iter_mut
|
commit | commitdiff | tree |
| 2019-01-07 |
Ralf Jung | rewrite RangeMap to use a sorted Vec instead of a RangeMap
|
commit | commitdiff | tree |
| 2019-01-07 |
Ralf Jung | range_map: also test size of the internal representation
|
commit | commitdiff | tree |
| 2019-01-07 |
Ralf Jung | implement panic_if_uninhabited intrinsic
|
commit | commitdiff | tree |
| 2019-01-04 |
Ralf Jung | move env var stuff out of the miri lib
|
commit | commitdiff | tree |
| 2019-01-04 |
Ralf Jung | test some more 2PB stuff
|
commit | commitdiff | tree |
| 2018-12-28 |
Ralf Jung | fix install command
|
commit | commitdiff | tree |
| 2018-12-26 |
Ralf Jung | add test for offseting fn ptr
|
commit | commitdiff | tree |
| 2018-12-26 |
Ralf Jung | use memory::check_bounds_ptr for offset check
|
commit | commitdiff | tree |
| 2018-12-26 |
Ralf Jung | bump env_logger
|
commit | commitdiff | tree |
| 2018-12-26 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
| 2018-12-25 |
Ralf Jung | properly compare unequal function pointers
|
commit | commitdiff | tree |
| 2018-12-25 |
Ralf Jung | fix build and tests with latest nightly
|
commit | commitdiff | tree |
| 2018-12-24 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
| 2018-12-23 |
Ralf Jung | update README for some tracing being available on nightlies
|
commit | commitdiff | tree |
| 2018-12-23 |
Ralf Jung | fix for infallible allocation
|
commit | commitdiff | tree |
| 2018-12-22 |
Ralf Jung | fix test for latest nightly
|
commit | commitdiff | tree |
| 2018-12-21 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | fix argv null terminator
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | implement GetCommandLineW, GetEnvironmentVariableW...
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | run test-cargo-miri on Windows
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | implement stdout/stderr on Windows
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | document the cargo-miri feature
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | no need to set the cargo-miri feature twice
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | add a test for excluding tests on miri
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | actually show warnings about suppressed output
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | xargo version check: also check application name, just...
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | sync env vars between appveyor and travis
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | test-cargo-miri: be more clear that and why the test...
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | remove outdated README comment
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | typo
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | there is a new xargo released, use that
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | implement macOS functions for argc, argv
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | btree is fixed
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | bump Rust version, fix test-cargo-miri and it no longer...
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into cargo...
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup2
|
commit | commitdiff | tree |
| 2018-12-15 |
Ralf Jung | temporarily use git version of xargo
|
commit | commitdiff | tree |
| 2018-12-15 |
Ralf Jung | detect outdated xargo version
|
commit | commitdiff | tree |
| 2018-12-15 |
Ralf Jung | tweak travis.sh
|
commit | commitdiff | tree |
| 2018-12-14 |
Ralf Jung | bump Rust nightly
|
commit | commitdiff | tree |
| 2018-12-13 |
Ralf Jung | we have no whitelist any more, go back to opt-level 3
|
commit | commitdiff | tree |
| 2018-12-13 |
Ralf Jung | VecDeque got fixed
|
commit | commitdiff | tree |
| 2018-12-13 |
Ralf Jung | fix libc feature gate
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | travis: explain what we are doing
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | fix warning
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | move travis commands to script file, maybe that fixes...
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | *oops*
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | use show_error to terminate
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | use RUSTC_WRAPPER for the cargo hook
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | treat ref-to-raw cast like a reborrow: do a special...
|
commit | commitdiff | tree |
| 2018-12-12 |
Ralf Jung | do not auto-detect the targets in the sysroot, instead...
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | rebase fallout
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | test cargo miri test output when testing cargo miri
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | treat test binaries like all others
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | implement some libc hooks needed by libtest
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | get rid of to_bytes hack
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | make some functions private to StackedBorrows
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | avoid repeating signatures in EvalContext extension...
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | use rustc_version also to parse host in compiletest
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | remove support for not having libstd MIR
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | fix CI
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | fix setting the manifest path manually when using cargo...
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | MIRI_SYSROOT is no longer needed for development agains...
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | the test suite assumes a libstd with full MIR; run...
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | cargo miri: support foreign targets
|
commit | commitdiff | tree |
| 2018-12-10 |
Ralf Jung | factor grabbing of cargo options into separate function...
|
commit | commitdiff | tree |
| 2018-12-08 |
Ralf Jung | fix benches
|
commit | commitdiff | tree |
| 2018-12-08 |
Ralf Jung | bump Rust version, fix build
|
commit | commitdiff | tree |
| 2018-12-08 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | add FIXME test for coercing &mut to *const
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | fix tests
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into stacked...
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | add FIXME
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | use assert
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | bump nightly
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | disable VecDeque test until the fix lands in rustc
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | fix mutability gap: do not allow shared mutation when...
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | we don't need no whitelist
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | build libstd with minimal features
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | assert some sense
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | support for basic (non-overlapping) 2-phase borrows
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | remove a whole lot of unnecessary attributes
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | remove/fix outdated FIXMEs in tests
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | do not even look for cargo metadata in 'cargo miri...
|
commit | commitdiff | tree |
| 2018-11-30 |
Ralf Jung | update contact channels
|
commit | commitdiff | tree |
| 2018-11-30 |
Ralf Jung | add link within document
|
commit | commitdiff | tree |
| 2018-11-30 |
Ralf Jung | update README to first describe the usual user setup...
|
commit | commitdiff | tree |
| 2018-11-30 |
Ralf Jung | new nightly, new luck
|
commit | commitdiff | tree |
| 2018-11-29 |
Ralf Jung | async fn got fixed
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | disable async-fn, for now
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | Merge remote-tracking branches 'origin/master' and...
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | fix README install instructions
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | barriers prevent deallocation
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | no barriers for boxes
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | for now, we allow Undef in raw pointers as we do in...
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | implement function barriers
|
commit | commitdiff | tree |
| next |
projects / rust.git / search