]> git.lizzy.rs Git - rust.git/history - miri
projects / rust.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix allocator api and temporarily disable validation_op
[rust.git] / miri /
2018-05-07 bjorn3Fix allocator api and temporarily disable validation_op tree | commitdiff
2018-05-03 Alexander RegueiroFixed build for latest nightly tree | commitdiff
2018-05-03 Alexander RegueiroMinor fix to get build working tree | commitdiff
2018-05-01 Oliver SchneiderMerge pull request #370 from alexreg/nightly-fix tree | commitdiff
2018-05-01 Alexander RegueiroFixed build for latest nightly tree | commitdiff
2018-05-01 Oliver SchneiderMerge pull request #367 from bjorn3/rustup2 tree | commitdiff
2018-05-01 bjorn3Rustup to rustc 1.27.0-nightly (79252ff4e 2018-04-29) tree | commitdiff
2018-04-17 Oliver SchneiderRustup tree | commitdiff
2018-04-13 Oliver SchneiderMirror function rename in rustc tree | commitdiff
2018-04-13 Oliver SchneiderFixup various things needed to get miri working on... tree | commitdiff
2018-04-13 bjorn3Update Cargo.lock and some improvements tree | commitdiff
2018-04-13 bjorn3Some cleanups tree | commitdiff
2018-04-13 bjorn3Remove unsafe code tree | commitdiff
2018-04-13 bjorn3Fix some more tests with some unsafe code tree | commitdiff
2018-04-13 bjorn3Fix it tree | commitdiff
2018-04-13 bjorn3Fix init_static tree | commitdiff
2018-04-13 bjorn3Maybe prevent marking statics as immutable tree | commitdiff
2018-04-13 bjorn3Hack: copy init_static from rustc CompileTimeEvaluator... tree | commitdiff
2018-04-13 bjorn3Use elem align as src align in copy intrinsic tree | commitdiff
2018-04-13 bjorn3Dont claim to have marked static initialized tree | commitdiff
2018-04-13 bjorn3Fix alignment issue tree | commitdiff
2018-04-13 Oliver SchneiderGet the tests one step further tree | commitdiff
2018-04-13 bjorn3Add stack guard shim tree | commitdiff
2018-04-13 bjorn3Rustup tree | commitdiff
2018-01-15 David Renshawpartially deal with rust/46479 tree | commitdiff
2018-01-15 David Renshawupdate for rust/47205 tree | commitdiff
2018-01-06 David Renshawupdate log deps tree | commitdiff
2018-01-02 David Renshawpass typecheck tree | commitdiff
2017-12-19 Oliver SchneiderMerge branch 'master' into def_ty tree | commitdiff
2017-12-17 Ariel Ben-Yehudastop using Instance::def_ty tree | commitdiff
2017-12-15 Oliver SchneiderMerge pull request #355 from solson/upstreamed tree | commitdiff
2017-12-15 Oliver SchneiderUpdate to some cleanups in rustc tree | commitdiff
2017-12-14 Oliver SchneiderMove validation from rustc to miri tree | commitdiff
2017-12-06 Oliver SchneiderRemove type_size and type_align calls tree | commitdiff
2017-12-06 Oliver SchneiderRename lvalue to place tree | commitdiff
2017-12-05 Oliver SchneiderUpdate to latest rustc changes tree | commitdiff
2017-11-27 Oliver SchneiderUse correct alignment tree | commitdiff
2017-11-21 Oliver SchneiderRustup after layout optimizations tree | commitdiff
2017-11-02 Oliver SchneiderRustup tree | commitdiff
2017-10-16 Oliver SchneiderRustup tree | commitdiff
2017-10-12 Oliver SchneiderUse host floats for the intrinsics that we don't have... tree | commitdiff
2017-10-06 Oliver SchneiderUse numbers instead of indentations tree | commitdiff
2017-10-06 Oliver SchneiderMiri core has moved to rustc::mir::interpret tree | commitdiff
2017-09-27 Oliver SchneiderMerge pull request #351 from RalfJung/exchange_malloc tree | commitdiff
2017-09-25 Ralf Junguse exchange_malloc lang item for Box statements tree | commitdiff
2017-09-17 Oliver SchneiderMerge pull request #334 from solson/windows tree | commitdiff
2017-09-16 Oliver SchneiderMerge branch 'master' into windows tree | commitdiff
2017-09-16 Oliver SchneiderAdd windows support tree | commitdiff
2017-09-16 Ralf JungMerge pull request #344 from RalfJung/test tree | commitdiff
2017-09-16 Ralf Jungget rid of the --miri_host_target hack tree | commitdiff
2017-09-16 Ralf JungMerge pull request #343 from RalfJung/tests tree | commitdiff
2017-09-16 Ralf JungMerge branch 'master' into tests tree | commitdiff
2017-09-16 Ralf Junguse ui test mode rather than mir-opt tree | commitdiff
2017-09-15 Oliver SchneiderMerge pull request #340 from solson/babysteps tree | commitdiff
2017-09-15 Oliver SchneiderRemove `#[linkage(foo)]` statics from core miri tree | commitdiff
2017-09-14 Ralf JungMerge pull request #337 from RalfJung/rustup tree | commitdiff
2017-09-14 Ralf Jungrustup tree | commitdiff
2017-09-09 Ralf JungMerge pull request #332 from solson/rustup tree | commitdiff
2017-09-09 Oliver Schneiderrustup tree | commitdiff
2017-09-04 Ralf JungMerge pull request #324 from oli-obk/align_offset tree | commitdiff
2017-09-04 Ralf JungMerge branch 'master' into align_offset tree | commitdiff
2017-09-01 Oliver SchneiderImplement `align_offset` intrinsic and thus enabling... tree | commitdiff
2017-08-29 Oliver SchneiderMerge pull request #320 from oli-obk/memory tree | commitdiff
2017-08-29 Oliver SchneiderAdd at least the program name argument in order to... tree | commitdiff
2017-08-29 Oliver SchneiderMerge pull request #319 from oli-obk/memory tree | commitdiff
2017-08-29 Oliver SchneiderGet some more rustc tests working tree | commitdiff
2017-08-29 Oliver SchneiderMerge pull request #311 from RalfJung/memory tree | commitdiff
2017-08-28 Oliver SchneiderGet rid of env var race condition once and for all tree | commitdiff
2017-08-28 Oliver SchneiderMerge remote-tracking branch 'origin/master' into memory tree | commitdiff
2017-08-28 Oliver SchneiderMerge pull request #316 from solson/priroda tree | commitdiff
2017-08-28 Oliver SchneiderMerge branch 'master' into priroda tree | commitdiff
2017-08-28 Oliver SchneiderRemove some unused `extern crate` tree | commitdiff
2017-08-28 Oliver SchneiderMake some things public that are required by priroda tree | commitdiff
2017-08-26 Oliver SchneiderMerge branch 'master' into memory tree | commitdiff
2017-08-26 Ralf JungMerge branch 'master' into memory tree | commitdiff
2017-08-25 Ralf Jungrefactor memory write API to match read API tree | commitdiff
2017-08-25 Ralf Jungmemory: make sure we check non-NULL/undef even fore... tree | commitdiff
2017-08-24 Oliver SchneiderMerge pull request #309 from oli-obk/libstd tree | commitdiff
2017-08-24 Oliver SchneiderMerge branch 'master' into libstd tree | commitdiff
2017-08-24 Oliver SchneiderRefactoring: Couple values and types into an object... tree | commitdiff
2017-08-10 Oliver SchneiderMerge pull request #299 from RalfJung/rustfmt tree | commitdiff
2017-08-10 Ralf Jungrustfmt tree | commitdiff
2017-08-09 Oliver SchneiderMerge pull request #292 from oli-obk/static_alloc_ids tree | commitdiff
2017-08-09 Oliver Schneiderrename `memory::Kind` to `memory::MemoryKind` tree | commitdiff
2017-08-08 Oliver Schneiderc_int != usize tree | commitdiff
2017-08-08 Oliver SchneiderImplement packed statics tree | commitdiff
2017-08-08 Oliver SchneiderAlways allocate for globals tree | commitdiff
2017-08-05 Oliver SchneiderMerge pull request #283 from RalfJung/backtrace tree | commitdiff
2017-08-04 Ralf Jungonly collect backtrace when RUST_BACKTRACE is set;... tree | commitdiff
2017-08-04 Ralf Jungmake test suite MIR validation aware. run-pass passes... tree | commitdiff
2017-08-04 Ralf Jungwith the new 'limited validation when there is unsafe... tree | commitdiff
2017-08-04 Ralf JungRevert "disable validation code so that it all compiles... tree | commitdiff
2017-08-03 Oliver SchneiderMerge pull request #280 from solson/archeology tree | commitdiff
2017-08-02 Oliver SchneiderProduce backtraces for miri internals tree | commitdiff
2017-08-02 Eduard-Mihai BurtescuMerge pull request #278 from solson/unions tree | commitdiff
2017-08-02 Oliver SchneiderMerge pull request #268 from oli-obk/upstream tree | commitdiff
2017-08-01 Oliver SchneiderAdd a better error message than `syscall 318 not found` tree | commitdiff
2017-08-01 Oliver SchneiderAddress comments tree | commitdiff
2017-08-01 Oliver SchneiderRemove leftover unused file tree | commitdiff
2017-08-01 Oliver SchneiderMove tls code to its own file tree | commitdiff
next
Empowering everyone to build reliable and efficient software.