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

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

2021-10-09	Martin Habovštiak	Document threading support a bit more ...suggests the users to look into GitHub issues to learn more.	commit \| commitdiff \| tree
2021-09-29	DrMeepster	implement `#[global_allocator]`	commit \| commitdiff \| tree
2021-09-02	DrMeepster	remove commented out code	commit \| commitdiff \| tree
2021-09-02	DrMeepster	add support for #[start]	commit \| commitdiff \| tree
2021-08-24	Oli Scherer	Try out gitpod	commit \| commitdiff \| tree
2021-06-06	Ralf Jung	expand comment	commit \| commitdiff \| tree
2021-06-03	Ralf Jung	fix typo	commit \| commitdiff \| tree
2021-05-30	Ralf Jung	add comment to debug impl	commit \| commitdiff \| tree
2021-05-27	scottmcm	Add `copy_within` to the SB trophy case	commit \| commitdiff \| tree
2021-05-04	Diana	Fix dead self-link	commit \| commitdiff \| tree
2021-03-24	Johnathan Van Why	README.md: Apply RalfJung's suggestion	commit \| commitdiff \| tree
2021-03-17	bstrie	Replace deprecated `collections::Bound`	commit \| commitdiff \| tree
2021-03-09	Daniel McNab	Add link to pr for documentation	commit \| commitdiff \| tree
2021-03-09	Oli Scherer	mir-opt-level 4 is the new 3	commit \| commitdiff \| tree
2021-03-08	Daniel McNab	Opt-in to rustc_private for `rust-analyzer`	commit \| commitdiff \| tree
2021-03-05	Smittyvb	Check arg count	commit \| commitdiff \| tree
2021-03-02	Henry Boisdequin	Add in `atomic_{min,max}_x` intrinsics	commit \| commitdiff \| tree
2021-03-02	Henry Boisdequin	fmt data_race.rs and intrinsics.rs	commit \| commitdiff \| tree
2021-01-30	Oli Scherer	Update README.md	commit \| commitdiff \| tree
2021-01-30	Oli Scherer	Update README.md	commit \| commitdiff \| tree
2021-01-28	Oli Scherer	Document -Zmiri-compare-exchange-weak-failure-rate	commit \| commitdiff \| tree
2021-01-23	Corey Farwell	Test aarch64-apple-darwin	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Tidy new_allocation	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Update rust version	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Rework to work with machine hook.	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Update src/data_race.rs	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Fix review changes	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Change to disable mir-opt in compile-flags	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Disable tests in windows	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Defeat the mir-opt=3 optimizer.	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Update note	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Fix bug with reporting wrong thread for races with...	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Add concurrent caller location test	commit \| commitdiff \| tree
2020-12-13	JCTyblaidd	Fix nits ... bjorn3 <bjorn3@users.noreply.github.com>	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Increase sleep times for the scheduler	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	Remove old FIXME	commit \| commitdiff \| tree
2020-12-13	JCTyBlaidd	More tests, fix issue 1643 and detect races with allocation.	commit \| commitdiff \| tree
2020-12-07	Jonah Williams	Fix README.md typo "extend" -> "extent"	commit \| commitdiff \| tree
2020-12-06	JCTyblaidd	Fix caps	commit \| commitdiff \| tree
2020-12-06	JCTyBlaidd	Fix typo	commit \| commitdiff \| tree
2020-12-06	JCTyBlaidd	Update release sequence handling to C++20 semantics.	commit \| commitdiff \| tree
2020-11-29	Ralf Jung	fix some typos	commit \| commitdiff \| tree
2020-11-28	JCTyBlaidd	Fix typos - looked into the papers handling of timestamps...	commit \| commitdiff \| tree
2020-11-27	JCTyBlaidd	Apply review changes, incrementing the clocks twice...	commit \| commitdiff \| tree
2020-11-22	JCTyBlaidd	Fix review changes	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Run rustfmt on vector_clock.rs and data_race.rs	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Add comment regarding seq-cst ordering & add test for...	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Convert extra benchmark program into cfg option.	commit \| commitdiff \| tree
2020-11-15	JCTyBlaidd	Tidy up comments and function layout, should fix most...	commit \| commitdiff \| tree
2020-11-07	Camelid	CONTRIBUTING.md: Update comment	commit \| commitdiff \| tree
2020-11-06	JCTyBlaidd	More aggressive vector index re-use, and added some...	commit \| commitdiff \| tree
2020-11-05	JCTyBlaidd	Move to use of thread termination hook for vector re...	commit \| commitdiff \| tree
2020-11-05	JCTyBlaidd	Split out vector_clock to separate file, general tidy...	commit \| commitdiff \| tree
2020-11-04	JCTyBlaidd	Detect races between atomic and non-atomic accesses...	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Add newlines at end of file + use replace.	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Mark all new tests as disabled on windows	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Fix & rebase	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Add tests, and fix bug in atomic RMW relaxed stores	commit \| commitdiff \| tree
2020-11-02	JCTyBlaidd	Initial data-race detector,	commit \| commitdiff \| tree
2020-10-29	Camelid	Fix link in README	commit \| commitdiff \| tree
2020-10-11	Ralf Jung	Improve wording	commit \| commitdiff \| tree
2020-10-09	Yonggang Luo	Update README.md ...disabled on Windows targets](https://github.com/rust-lang/miri/issues/1302).	commit \| commitdiff \| tree
2020-10-04	Ralf Jung	more punctuation	commit \| commitdiff \| tree
2020-10-03	Mara Bos	Add FIXME about type of `addr` in futex implementation.	commit \| commitdiff \| tree
2020-10-03	Mara Bos	Add note about use of force_ptr in futex implementation.	commit \| commitdiff \| tree
2020-10-02	Mara Bos	Add note about arguments in futex implementation.	commit \| commitdiff \| tree
2020-09-18	Ralf Jung	fmt Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	better optimization suppression ... bjorn3 <bjorn3@users.noreply.github.com>	commit \| commitdiff \| tree
2020-08-13	Samrat Man Singh	Remove unnecessary whitespace	commit \| commitdiff \| tree
2020-08-11	Oliver Scherer	Bump for rustc changes	commit \| commitdiff \| tree
2020-07-09	Ralf Jung	Cleanup code	commit \| commitdiff \| tree
2020-07-02	Gary Guo	Remove likely and unlikely from intrinsics shim	commit \| commitdiff \| tree
2020-06-08	Youngsuk Kim	Add a case to list of 'StackedBorrows violations' ...link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion...	commit \| commitdiff \| tree
2020-05-09	Ralf Jung	Typo	commit \| commitdiff \| tree
2020-05-09	Ralf Jung	Wording Co-authored-by: Oliver Scherer <github35764891676564198441@oli-obk.de>	commit \| commitdiff \| tree
2020-05-07	Ralf Jung	adjust wording	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Adjust wording	commit \| commitdiff \| tree
2020-04-30	Ralf Jung	Tweak error wording	commit \| commitdiff \| tree
2020-04-25	Hero Bird	Update README.md	commit \| commitdiff \| tree
2020-04-25	Hero Bird	Add miri trophy for LazyArray::swap (ink! PR) Details to the found in https://github.com/rust-lang/miri/issues/1364.	commit \| commitdiff \| tree
2020-04-23	Brian Anderson	Update README.md	commit \| commitdiff \| tree
2020-04-14	Samrat Man Singh	Reword comment in mach_timebase_info	commit \| commitdiff \| tree
2020-04-02	Youngsuk Kim	Update comments in src/shims/time.rs	commit \| commitdiff \| tree
2020-04-02	Youngsuk Kim	Update comments in src/shims/time.rs	commit \| commitdiff \| tree
2020-04-02	Youngsuk Kim	Update comments in src/shims/time.rs	commit \| commitdiff \| tree
2020-03-27	Ralf Jung	adjust MemoryKind comment	commit \| commitdiff \| tree
2020-03-27	Youngsuk Kim	Modify reference to issue 1013	commit \| commitdiff \| tree
2020-03-27	Ralf Jung	env: more precise error	commit \| commitdiff \| tree
2020-03-15	Youngsuk Kim	Minor typo fix	commit \| commitdiff \| tree
2020-02-26	Ralf Jung	fix Windows build failure	commit \| commitdiff \| tree
2020-02-14	David Cook	Removing file after rename must succeed	commit \| commitdiff \| tree
2020-01-25	David Cook	Shim intrinsics::atomic_singlethreadfence, etc.	commit \| commitdiff \| tree
2020-01-18	Yoshua Wuyts	Document miri can only be installed on nightly	commit \| commitdiff \| tree
2020-01-14	jethrogb	Update .gitattributes See https://github.com/rust-lang/rust/pull/57858	commit \| commitdiff \| tree
2020-01-09	Oliver Scherer	Document all the things	commit \| commitdiff \| tree
2020-01-09	Oliver Scherer	Remove trailing newline	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Use names that actually represent what's going on	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Make the non-halting diagnostic scheme independent...	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Remove debugging hint until we can actuall use `note:`	commit \| commitdiff \| tree
2020-01-08	Oliver Scherer	Process delayed errors on every step	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom