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

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

2020-01-08	Oliver Scherer	Tell the user about stacked borrow debugging flags	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Emit errors without halting interpretation	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Add a scheme for registering and obtaining errors even...	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Move error reporting to its own module	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Trailing return	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Split error reporting from main eval function	commit \| commitdiff \| tree
2019-12-27	Oliver Scherer	Remove `to_ptr` uses	commit \| commitdiff \| tree
2019-12-23	Oliver Scherer	Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22)	commit \| commitdiff \| tree
2019-12-23	Oliver Scherer	Rustfmt all the things	commit \| commitdiff \| tree
2019-12-21	Oliver Scherer	Rustup to rustc 1.42.0-nightly (9ff30a781 2019-12-21)	commit \| commitdiff \| tree
2019-12-10	Oliver Scherer	Update README.md	commit \| commitdiff \| tree
2019-12-09	Oliver Scherer	Use the machine stop error instead of abusing other...	commit \| commitdiff \| tree
2019-12-08	Oliver Scherer	Remove a flaky test	commit \| commitdiff \| tree
2019-12-08	Oliver Scherer	Document the new flag	commit \| commitdiff \| tree
2019-12-08	Oliver Scherer	Rename track-id to track-pointer-tag	commit \| commitdiff \| tree
2019-12-08	Oliver Scherer	Detect all variants of stack removals	commit \| commitdiff \| tree
2019-12-08	Oliver Scherer	Vocabulary fix	commit \| commitdiff \| tree
2019-12-08	Oliver Scherer	Add a scheme to find the place where an id was destroyed	commit \| commitdiff \| tree
2019-11-03	Oliver Scherer	Use the upstream `exact_div` implementation	commit \| commitdiff \| tree
2019-09-26	Oliver Scherer	Rustup to `sty` -> `kind` changes	commit \| commitdiff \| tree
2019-09-26	Oliver Scherer	Update to latest nightly	commit \| commitdiff \| tree
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-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