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

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

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-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-23	Oliver Scherer	Update to Memory -> Allocation method move	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom