]> git.lizzy.rs Git - rust.git/search
projects / rust.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update src/bin/miri-rustc-tests.rs
2019-03-18 Oliver SchererUpdate src/bin/miri-rustc-tests.rs
 commit | commitdiff | tree
2019-03-11 Oliver SchererSilence some warnings
 commit | commitdiff | tree
2019-03-11 Oliver SchererUpdate bencher API
 commit | commitdiff | tree
2019-03-11 Oliver SchererRemove dead code and docs
 commit | commitdiff | tree
2019-03-11 Oliver SchererMake the rustc test runner build again
 commit | commitdiff | tree
2019-03-11 Oliver SchererReintroduce prepending the input file name to the miri...
commit | commitdiff | tree
2019-02-25 Oliver SchererMerge pull request #645 from RalfJung/box-alloc
 commit | commitdiff | tree
2019-02-10 Oliver SchererMerge pull request #624 from RalfJung/args
 commit | commitdiff | tree
2019-02-08 Oliver SchererMerge pull request #619 from RalfJung/stderr-flush
 commit | commitdiff | tree
2019-02-07 Oliver SchererMerge pull request #616 from RalfJung/cargo-miri
 commit | commitdiff | tree
2019-02-01 Oliver SchererMerge pull request #607 from solson/travis
 commit | commitdiff | tree
2019-01-30 Oliver SchererTry out more email notifications
 commit | commitdiff | tree
2019-01-28 Oliver SchererMerge pull request #604 from solson/rustup
 commit | commitdiff | tree
2019-01-22 Oliver SchererExplain Ref problems
 commit | commitdiff | tree
2019-01-22 Oliver SchererExpose `AllocId`s for priroda
 commit | commitdiff | tree
2019-01-21 Oliver SchererBump version file
 commit | commitdiff | tree
2019-01-21 Oliver SchererUpdate to latest rustc master
 commit | commitdiff | tree
2019-01-08 Oliver SchererMerge pull request #597 from RalfJung/range-map
 commit | commitdiff | tree
2019-01-07 Oliver SchererMerge pull request #598 from solson/rustup
 commit | commitdiff | tree
2019-01-05 Oliver SchererMerge pull request #596 from RalfJung/backtrace
 commit | commitdiff | tree
2019-01-05 Oliver SchererMerge branch 'master' into backtrace
 commit | commitdiff | tree
2018-12-28 Oliver SchererMerge pull request #592 from RalfJung/readme
 commit | commitdiff | tree
2018-12-26 Oliver SchererMerge pull request #589 from RalfJung/check-bounds
 commit | commitdiff | tree
2018-12-17 Oliver SchererMerge pull request #575 from ehuss/add-rustc-workspace...
commit | commitdiff | tree
2018-12-17 Oliver SchererAdjust tests for funciton pointer changes
 commit | commitdiff | tree
2018-12-12 Oliver SchererMerge pull request #570 from RalfJung/targets
 commit | commitdiff | tree
2018-12-10 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #566 from RalfJung/foreign-full-mir
 commit | commitdiff | tree
2018-12-03 Oliver S̶c̶h̶n̶e̶i̶d... Merge branch 'master' into fixme
 commit | commitdiff | tree
2018-12-01 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #555 from RalfJung/readme
 commit | commitdiff | tree
2018-11-28 Oliver S̶c̶h̶n̶e̶i̶d... Typo
 commit | commitdiff | tree
2018-11-27 Oliver S̶c̶h̶n̶e̶i̶d... Merge branch 'master' into oli-obk-patch-1
 commit | commitdiff | tree
2018-11-27 Oliver SchererUse explicit `dyn` trait object
 commit | commitdiff | tree
2018-11-27 Oliver SchererExpose some internals for priroda
 commit | commitdiff | tree
2018-11-26 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #544 from RalfJung/let_
 commit | commitdiff | tree
2018-11-23 Oliver SchererUpdate to Memory -> Allocation method move
 commit | commitdiff | tree
2018-11-21 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #540 from RalfJung/partially-invalidate-mut
 commit | commitdiff | tree
2018-11-21 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #537 from solson/rustup
 commit | commitdiff | tree
2018-11-14 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #518 from RalfJung/readme
 commit | commitdiff | tree
2018-11-13 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #517 from RalfJung/readme
 commit | commitdiff | tree
2018-11-12 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #516 from RalfJung/rc
 commit | commitdiff | tree
2018-11-09 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #515 from RalfJung/test
 commit | commitdiff | tree
2018-11-08 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #513 from RalfJung/new-interior-mut
 commit | commitdiff | tree
2018-11-05 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #510 from solson/rustup
 commit | commitdiff | tree
2018-11-04 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #509 from solson/rustup
 commit | commitdiff | tree
2018-11-03 Oliver S̶c̶h̶n̶e̶i̶d... typo
 commit | commitdiff | tree
2018-11-01 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #504 from RalfJung/crate
 commit | commitdiff | tree
2018-10-30 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #499 from RalfJung/test-opt
 commit | commitdiff | tree
2018-10-25 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #495 from RalfJung/no-null
 commit | commitdiff | tree
2018-10-24 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #494 from RalfJung/readme
 commit | commitdiff | tree
2018-10-16 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #482 from apoelstra/2018-10-lib...
commit | commitdiff | tree
2018-10-12 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #477 from RalfJung/miri-validate
 commit | commitdiff | tree
2018-10-12 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #476 from RalfJung/atomics
 commit | commitdiff | tree
2018-10-11 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #474 from RalfJung/miri-validate
 commit | commitdiff | tree
2018-10-11 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #468 from RalfJung/pointer-provenance
 commit | commitdiff | tree
2018-10-10 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #471 from RalfJung/vergen
 commit | commitdiff | tree
2018-10-08 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #469 from RalfJung/ptr-offset
 commit | commitdiff | tree
2018-10-01 Oliver S̶c̶h̶n̶e̶i̶d... Merge pull request #464 from RalfJung/travis
 commit | commitdiff | tree
2018-08-30 Oliver SchneiderMerge pull request #434 from solson/rustup
 commit | commitdiff | tree
2018-08-15 Oliver SchneiderMerge pull request #431 from RalfJung/packed
 commit | commitdiff | tree
2018-08-14 Oliver SchneiderMerge pull request #428 from RalfJung/toolchain
 commit | commitdiff | tree
2018-08-08 Oliver SchneiderAdd comments explaining why we do something complex...
commit | commitdiff | tree
2018-08-07 Oliver SchneiderRustup
 commit | commitdiff | tree
2018-08-02 Oliver SchneiderMerge pull request #424 from RalfJung/fewer-deps
 commit | commitdiff | tree
2018-08-01 Oliver SchneiderMerge pull request #421 from RalfJung/storage_dead_ub
 commit | commitdiff | tree
2018-07-26 Oliver SchneiderBump min dependency version
 commit | commitdiff | tree
2018-07-26 Oliver SchneiderDisable blood letting edge features
 commit | commitdiff | tree
2018-07-26 Oliver SchneiderUpdate to rustc sanity check branch
 commit | commitdiff | tree
2018-07-25 Oliver SchneiderProduce the exit codes that compiletest expects
 commit | commitdiff | tree
2018-07-22 Oliver SchneiderMerge pull request #411 from RalfJung/default-run
 commit | commitdiff | tree
2018-07-16 Oliver SchneiderMerge pull request #401 from RalfJung/tests
 commit | commitdiff | tree
2018-07-16 Oliver SchneiderMerge pull request #408 from RalfJung/rustup
 commit | commitdiff | tree
2018-07-16 Oliver SchneiderMerge branch 'master' into hack_branch_for_miri_do_not_delet...
commit | commitdiff | tree
2018-07-12 Oliver SchneiderMerge pull request #395 from RalfJung/tests
 commit | commitdiff | tree
2018-07-11 Oliver SchneiderMerge pull request #394 from RalfJung/start-fn
 commit | commitdiff | tree
2018-07-11 Oliver SchneiderMerge pull request #393 from RalfJung/no-bin
 commit | commitdiff | tree
2018-07-11 Oliver SchneiderMerge pull request #392 from RalfJung/dirs
 commit | commitdiff | tree
2018-07-11 Oliver SchneiderMerge pull request #391 from bjorn3/clippy_fixes
 commit | commitdiff | tree
2018-07-01 Oliver SchneiderRustup
 commit | commitdiff | tree
2018-06-29 Oliver SchneiderMerge pull request #386 from mati865/rustup
 commit | commitdiff | tree
2018-06-12 Oliver SchneiderMerge pull request #385 from bjorn3/patch-1
 commit | commitdiff | tree
2018-06-11 Oliver SchneiderMerge pull request #384 from bjorn3/create_ecx
 commit | commitdiff | tree
2018-06-10 Oliver SchneiderMerge pull request #383 from bjorn3/rustup
 commit | commitdiff | tree
2018-06-05 Oliver SchneiderMerge pull request #376 from bjorn3/fix_some_tests
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderMerge pull request #380 from solson/rustup
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderMerge remote-tracking branch 'origin/master' into rustup
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderReenable the rustc tester
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderUpdate cargo-miri
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderUse correct bit size when reading usize values
 commit | commitdiff | tree
2018-06-03 Oliver Schneider`to_u64` and `to_bytes` are horribly easy to use wrongly.
 commit | commitdiff | tree
2018-06-03 Oliver Schneider`align_offset` intrinsic is now a lang item
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderTlsKey is messy because it changes types between systems
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderComparing non-pointer-size types should be possible
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderComparing Scalar's with differend `defined` values...
commit | commitdiff | tree
2018-06-03 Oliver Schneider`memcmp` returns `i32`
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderReenable the rustc tester
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderUpdate cargo-miri
 commit | commitdiff | tree
2018-06-03 Oliver SchneiderUse correct bit size when reading usize values
 commit | commitdiff | tree
2018-05-30 Oliver Schneider`to_u64` and `to_bytes` are horribly easy to use wrongly.
 commit | commitdiff | tree
2018-05-30 Oliver Schneider`align_offset` intrinsic is now a lang item
 commit | commitdiff | tree
2018-05-30 Oliver SchneiderTlsKey is messy because it changes types between systems
 commit | commitdiff | tree
next
Empowering everyone to build reliable and efficient software.