git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2019-09-09	Oliver Scherer	Rustup to 1.39.0-nightly (1e869133b 2019-09-09)	commit \| commitdiff \| tree
2019-09-08	Oliver Scherer	Update latest working rust version id	commit \| commitdiff \| tree
2019-09-06	Oliver Scherer	Rustup	commit \| commitdiff \| tree
2019-06-21	Oliver Scherer	Merge branch 'master' into master	commit \| commitdiff \| tree
2019-06-21	Oliver Scherer	Update rust-version	commit \| commitdiff \| tree
2019-06-17	Oliver Scherer	Merge pull request #776 from RalfJung/intrinsics	commit \| commitdiff \| tree
2019-06-14	Oliver Scherer	Fix indentation	commit \| commitdiff \| tree
2019-06-06	Oliver Scherer	Merge pull request #761 from ecstatic-morse/type-name	commit \| commitdiff \| tree
2019-05-24	Oliver Scherer	Merge pull request #742 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-20	Oliver Scherer	Merge pull request #734 from RalfJung/readme	commit \| commitdiff \| tree
2019-05-19	Oliver Scherer	Prefer `drain` over manual implementation of `drain`	commit \| commitdiff \| tree
2019-05-17	Oliver Scherer	Merge pull request #730 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-13	Oliver Scherer	Merge pull request #726 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-10	Oliver Scherer	Merge pull request #725 from RalfJung/xargo	commit \| commitdiff \| tree
2019-05-02	Oliver Scherer	Merge pull request #720 from RalfJung/rustup	commit \| commitdiff \| tree
2019-04-26	Oliver Scherer	Merge pull request #714 from RalfJung/readme	commit \| commitdiff \| tree
2019-04-22	Oliver Scherer	Merge pull request #702 from RalfJung/exit	commit \| commitdiff \| tree
2019-04-19	Oliver Scherer	Merge pull request #699 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-04-17	Oliver Scherer	Apply suggestions from code review	commit \| commitdiff \| tree
2019-04-17	Oliver Scherer	Merge pull request #694 from RalfJung/readme	commit \| commitdiff \| tree
2019-04-16	Oliver Scherer	Merge pull request #691 from RalfJung/pragmatic-ptr-eq	commit \| commitdiff \| tree
2019-04-09	Oliver Scherer	Merge branch 'master' into feature/random	commit \| commitdiff \| tree
2019-04-03	Oliver Scherer	Merge pull request #672 from rust-lang/update	commit \| commitdiff \| tree
2019-04-03	Oliver Scherer	Update to rustc nightly	commit \| commitdiff \| tree
2019-03-26	Oliver Scherer	Merge pull request #666 from RalfJung/readme	commit \| commitdiff \| tree
2019-03-25	Oliver Scherer	Merge pull request #665 from RalfJung/readme	commit \| commitdiff \| tree
2019-03-18	Oliver Scherer	Update src/bin/miri-rustc-tests.rs	commit \| commitdiff \| tree
2019-03-11	Oliver Scherer	Silence some warnings	commit \| commitdiff \| tree
2019-03-11	Oliver Scherer	Update bencher API	commit \| commitdiff \| tree
2019-03-11	Oliver Scherer	Remove dead code and docs	commit \| commitdiff \| tree
2019-03-11	Oliver Scherer	Make the rustc test runner build again	commit \| commitdiff \| tree
2019-03-11	Oliver Scherer	Reintroduce prepending the input file name to the miri...	commit \| commitdiff \| tree
2019-02-25	Oliver Scherer	Merge pull request #645 from RalfJung/box-alloc	commit \| commitdiff \| tree
2019-02-10	Oliver Scherer	Merge pull request #624 from RalfJung/args	commit \| commitdiff \| tree
2019-02-08	Oliver Scherer	Merge pull request #619 from RalfJung/stderr-flush	commit \| commitdiff \| tree
2019-02-07	Oliver Scherer	Merge pull request #616 from RalfJung/cargo-miri	commit \| commitdiff \| tree
2019-02-01	Oliver Scherer	Merge pull request #607 from solson/travis	commit \| commitdiff \| tree
2019-01-30	Oliver Scherer	Try out more email notifications	commit \| commitdiff \| tree
2019-01-28	Oliver Scherer	Merge pull request #604 from solson/rustup	commit \| commitdiff \| tree
2019-01-22	Oliver Scherer	Explain Ref problems	commit \| commitdiff \| tree
2019-01-22	Oliver Scherer	Expose `AllocId`s for priroda	commit \| commitdiff \| tree
2019-01-21	Oliver Scherer	Bump version file	commit \| commitdiff \| tree
2019-01-21	Oliver Scherer	Update to latest rustc master	commit \| commitdiff \| tree
2019-01-08	Oliver Scherer	Merge pull request #597 from RalfJung/range-map	commit \| commitdiff \| tree
2019-01-07	Oliver Scherer	Merge pull request #598 from solson/rustup	commit \| commitdiff \| tree
2019-01-05	Oliver Scherer	Merge pull request #596 from RalfJung/backtrace	commit \| commitdiff \| tree
2019-01-05	Oliver Scherer	Merge branch 'master' into backtrace	commit \| commitdiff \| tree
2018-12-28	Oliver Scherer	Merge pull request #592 from RalfJung/readme	commit \| commitdiff \| tree
2018-12-26	Oliver Scherer	Merge pull request #589 from RalfJung/check-bounds	commit \| commitdiff \| tree
2018-12-17	Oliver Scherer	Merge pull request #575 from ehuss/add-rustc-workspace...	commit \| commitdiff \| tree
2018-12-17	Oliver Scherer	Adjust tests for funciton pointer changes	commit \| commitdiff \| tree
2018-12-12	Oliver Scherer	Merge 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 Scherer	Use explicit `dyn` trait object	commit \| commitdiff \| tree
2018-11-27	Oliver Scherer	Expose 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 Scherer	Update 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 Schneider	Merge pull request #434 from solson/rustup	commit \| commitdiff \| tree
2018-08-15	Oliver Schneider	Merge pull request #431 from RalfJung/packed	commit \| commitdiff \| tree
2018-08-14	Oliver Schneider	Merge pull request #428 from RalfJung/toolchain	commit \| commitdiff \| tree
2018-08-08	Oliver Schneider	Add comments explaining why we do something complex...	commit \| commitdiff \| tree
2018-08-07	Oliver Schneider	Rustup	commit \| commitdiff \| tree
2018-08-02	Oliver Schneider	Merge pull request #424 from RalfJung/fewer-deps	commit \| commitdiff \| tree
2018-08-01	Oliver Schneider	Merge pull request #421 from RalfJung/storage_dead_ub	commit \| commitdiff \| tree
2018-07-26	Oliver Schneider	Bump min dependency version	commit \| commitdiff \| tree
2018-07-26	Oliver Schneider	Disable blood letting edge features	commit \| commitdiff \| tree
2018-07-26	Oliver Schneider	Update to rustc sanity check branch	commit \| commitdiff \| tree
2018-07-25	Oliver Schneider	Produce the exit codes that compiletest expects	commit \| commitdiff \| tree
2018-07-22	Oliver Schneider	Merge pull request #411 from RalfJung/default-run	commit \| commitdiff \| tree
2018-07-16	Oliver Schneider	Merge pull request #401 from RalfJung/tests	commit \| commitdiff \| tree
2018-07-16	Oliver Schneider	Merge pull request #408 from RalfJung/rustup	commit \| commitdiff \| tree
2018-07-16	Oliver Schneider	Merge branch 'master' into hack_branch_for_miri_do_not_delet...	commit \| commitdiff \| tree
2018-07-12	Oliver Schneider	Merge pull request #395 from RalfJung/tests	commit \| commitdiff \| tree
2018-07-11	Oliver Schneider	Merge pull request #394 from RalfJung/start-fn	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom