]> git.lizzy.rs Git - rust.git/history - miri/lib.rs
pass typecheck
[rust.git] / miri / lib.rs
2018-01-02 David Renshawpass typecheck
2017-12-19 Oliver SchneiderMerge branch 'master' into def_ty
2017-12-17 Ariel Ben-Yehudastop using Instance::def_ty
2017-12-15 Oliver SchneiderMerge pull request #355 from solson/upstreamed
2017-12-15 Oliver SchneiderUpdate to some cleanups in rustc
2017-12-14 Oliver SchneiderMove validation from rustc to miri
2017-12-06 Oliver SchneiderRemove type_size and type_align calls
2017-12-06 Oliver SchneiderRename lvalue to place
2017-12-05 Oliver SchneiderUpdate to latest rustc changes
2017-11-21 Oliver SchneiderRustup after layout optimizations
2017-11-02 Oliver SchneiderRustup
2017-10-06 Oliver SchneiderMiri core has moved to rustc::mir::interpret
2017-09-27 Oliver SchneiderMerge pull request #351 from RalfJung/exchange_malloc
2017-09-25 Ralf Junguse exchange_malloc lang item for Box statements
2017-09-15 Oliver SchneiderMerge pull request #340 from solson/babysteps
2017-09-15 Oliver SchneiderRemove `#[linkage(foo)]` statics from core miri
2017-08-29 Oliver SchneiderMerge pull request #320 from oli-obk/memory
2017-08-29 Oliver SchneiderAdd at least the program name argument in order to...
2017-08-28 Oliver SchneiderMerge remote-tracking branch 'origin/master' into memory
2017-08-28 Oliver SchneiderMerge pull request #316 from solson/priroda
2017-08-28 Oliver SchneiderMerge branch 'master' into priroda
2017-08-28 Oliver SchneiderRemove some unused `extern crate`
2017-08-28 Oliver SchneiderMake some things public that are required by priroda
2017-08-24 Oliver SchneiderMerge pull request #309 from oli-obk/libstd
2017-08-24 Oliver SchneiderMerge branch 'master' into libstd
2017-08-24 Oliver SchneiderRefactoring: Couple values and types into an object...
2017-08-10 Oliver SchneiderMerge pull request #299 from RalfJung/rustfmt
2017-08-10 Ralf Jungrustfmt
2017-08-09 Oliver SchneiderMerge pull request #292 from oli-obk/static_alloc_ids
2017-08-09 Oliver Schneiderrename `memory::Kind` to `memory::MemoryKind`
2017-08-08 Oliver SchneiderAlways allocate for globals
2017-08-05 Oliver SchneiderMerge pull request #283 from RalfJung/backtrace
2017-08-04 Ralf Jungonly collect backtrace when RUST_BACKTRACE is set;...
2017-08-03 Oliver SchneiderMerge pull request #280 from solson/archeology
2017-08-02 Oliver SchneiderProduce backtraces for miri internals
2017-08-02 Oliver SchneiderMerge pull request #268 from oli-obk/upstream
2017-08-01 Oliver SchneiderAddress comments
2017-08-01 Oliver SchneiderMove tls code to its own file
2017-08-01 Oliver SchneiderAllow machines to create new memory kinds
2017-08-01 Oliver SchneiderMove all intrinsics out of `interpret` and fail CTFE...
2017-08-01 Oliver SchneiderReduce the chance of accidentally calling functions...
2017-08-01 Oliver SchneiderMove more non-CTFE operations to the Machine
2017-08-01 Oliver SchneiderSplit "new" miri crate into modules
2017-08-01 Oliver SchneiderImplement the first machine function
2017-08-01 Oliver SchneiderSplit up miri into the librustc_mir and bin parts