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

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

2020-12-07	Jonah Williams	Fix README.md typo "extend" -> "extent"	commit \| commitdiff \| tree \| snapshot
2020-12-06	bors	Auto merge of #1641 - JCTyblaidd:update_release_sequenc...	commit \| commitdiff \| tree \| snapshot
2020-12-06	JCTyblaidd	Fix caps	commit \| commitdiff \| tree \| snapshot
2020-12-06	JCTyBlaidd	Fix typo	commit \| commitdiff \| tree \| snapshot
2020-12-06	JCTyBlaidd	Update release sequence handling to C++20 semantics.	commit \| commitdiff \| tree \| snapshot
2020-12-05	bors	Auto merge of #1640 - RalfJung:readme, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-12-05	Ralf Jung	readme: mention data races, and mention cross-interpret...	commit \| commitdiff \| tree \| snapshot
2020-12-05	bors	Auto merge of #1639 - m-ou-se:allocator, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-12-04	Mara Bos	Use new std::alloc::Allocator interface.	commit \| commitdiff \| tree \| snapshot
2020-11-30	bors	Auto merge of #1636 - RalfJung:rustup, r=oli-obk	commit \| commitdiff \| tree \| snapshot
2020-11-30	bors	Auto merge of #1635 - RalfJung:readme, r=oli-obk	commit \| commitdiff \| tree \| snapshot
2020-11-29	Ralf Jung	remove miri-rustc-tests	commit \| commitdiff \| tree \| snapshot
2020-11-29	Ralf Jung	update README	commit \| commitdiff \| tree \| snapshot
2020-11-29	bors	Auto merge of #1617 - JCTyblaidd:data_race_detector...	commit \| commitdiff \| tree \| snapshot
2020-11-29	Ralf Jung	fix some typos	commit \| commitdiff \| tree \| snapshot
2020-11-28	JCTyBlaidd	Fix typos - looked into the papers handling of timestam...	commit \| commitdiff \| tree \| snapshot
2020-11-27	JCTyBlaidd	Apply review changes, incrementing the clocks twice...	commit \| commitdiff \| tree \| snapshot
2020-11-22	JCTyBlaidd	Fix review changes	commit \| commitdiff \| tree \| snapshot
2020-11-22	bors	Auto merge of #1633 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-22	Ralf Jung	rustup; test sorting for provenance-correctness	commit \| commitdiff \| tree \| snapshot
2020-11-20	bors	Auto merge of #1632 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-20	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2020-11-19	bors	Auto merge of #1630 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-19	Ralf Jung	avoid fallback logic (and we do not need the flag value...	commit \| commitdiff \| tree \| snapshot
2020-11-19	Mara Bos	Make weak syscalls in std work.	commit \| commitdiff \| tree \| snapshot
2020-11-19	est31	Normalize column numbers	commit \| commitdiff \| tree \| snapshot
2020-11-19	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2020-11-15	JCTyBlaidd	Run rustfmt on vector_clock.rs and data_race.rs	commit \| commitdiff \| tree \| snapshot
2020-11-15	JCTyBlaidd	Add comment regarding seq-cst ordering & add test for...	commit \| commitdiff \| tree \| snapshot
2020-11-15	JCTyBlaidd	Convert extra benchmark program into cfg option.	commit \| commitdiff \| tree \| snapshot
2020-11-15	JCTyBlaidd	Tidy up comments and function layout, should fix most...	commit \| commitdiff \| tree \| snapshot
2020-11-12	bors	Auto merge of #1624 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-12	Ralf Jung	rustup; less strict timing tests	commit \| commitdiff \| tree \| snapshot
2020-11-11	bors	Auto merge of #1623 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-11	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2020-11-10	bors	Auto merge of #1621 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-10	Ralf Jung	test btreemap with raw ptr tracking	commit \| commitdiff \| tree \| snapshot
2020-11-10	Ralf Jung	remove some unnecessary feature flags	commit \| commitdiff \| tree \| snapshot
2020-11-10	Ralf Jung	rustup and update test	commit \| commitdiff \| tree \| snapshot
2020-11-07	bors	Auto merge of #1615 - jyn514:contributing-instructions...	commit \| commitdiff \| tree \| snapshot
2020-11-07	Joshua Nelson	Improve contributing instructions	commit \| commitdiff \| tree \| snapshot
2020-11-07	bors	Auto merge of #1612 - camelid:patch-1, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-07	Camelid	CONTRIBUTING.md: Update comment	commit \| commitdiff \| tree \| snapshot
2020-11-07	bors	Auto merge of #1620 - RalfJung:overflow, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-07	Ralf Jung	enable overflow checks in the standard library	commit \| commitdiff \| tree \| snapshot
2020-11-06	JCTyBlaidd	More aggressive vector index re-use, and added some...	commit \| commitdiff \| tree \| snapshot
2020-11-05	bors	Auto merge of #1619 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-05	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2020-11-05	JCTyBlaidd	Move to use of thread termination hook for vector re...	commit \| commitdiff \| tree \| snapshot
2020-11-05	JCTyBlaidd	Split out vector_clock to separate file, general tidy...	commit \| commitdiff \| tree \| snapshot
2020-11-04	JCTyBlaidd	Detect races between atomic and non-atomic accesses...	commit \| commitdiff \| tree \| snapshot
2020-11-03	bors	Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-11-03	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2020-11-02	JCTyBlaidd	Add newlines at end of file + use replace.	commit \| commitdiff \| tree \| snapshot
2020-11-02	JCTyBlaidd	Mark all new tests as disabled on windows	commit \| commitdiff \| tree \| snapshot
2020-11-02	JCTyBlaidd	Fix & rebase	commit \| commitdiff \| tree \| snapshot
2020-11-02	JCTyBlaidd	Add tests, and fix bug in atomic RMW relaxed stores	commit \| commitdiff \| tree \| snapshot
2020-11-02	JCTyBlaidd	Initial data-race detector,	commit \| commitdiff \| tree \| snapshot
2020-10-31	Ralf Jung	fix trophy case URL	commit \| commitdiff \| tree \| snapshot
2020-10-31	Ralf Jung	test Rc with raw pointer tracking	commit \| commitdiff \| tree \| snapshot
2020-10-31	Ralf Jung	fix writing to read-only raw pointer in thread-local...	commit \| commitdiff \| tree \| snapshot
2020-10-31	Ralf Jung	Stacked Borrows: test raw-ref-to-field with raw ptr...	commit \| commitdiff \| tree \| snapshot
2020-10-31	bors	Auto merge of #1613 - RalfJung:test-normalize, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-31	Ralf Jung	backtrace tests: support more ways of checking out...	commit \| commitdiff \| tree \| snapshot
2020-10-30	Camelid	CONTRIBUTING.md: Use `build --stage 1` instead of ...	commit \| commitdiff \| tree \| snapshot
2020-10-30	bors	Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-30	Ralf Jung	increase timeout to avoid spurious test failures	commit \| commitdiff \| tree \| snapshot
2020-10-30	bors	Auto merge of #1610 - camelid:patch-2, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-30	Camelid	Update locally-built rustc instructions	commit \| commitdiff \| tree \| snapshot
2020-10-29	bors	Auto merge of #1609 - camelid:patch-1, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-29	Camelid	Fix link in README	commit \| commitdiff \| tree \| snapshot
2020-10-29	bors	Auto merge of #1607 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-29	Ralf Jung	rustup	commit \| commitdiff \| tree \| snapshot
2020-10-28	bors	Auto merge of #1606 - RalfJung:trophy, r=oli-obk	commit \| commitdiff \| tree \| snapshot
2020-10-28	bors	Auto merge of #1603 - RalfJung:track-raw, r=oli-obk	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	update trophy case	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	test raw pointer tracking; we cannot track raw pointers...	commit \| commitdiff \| tree \| snapshot
2020-10-28	bors	Auto merge of #1604 - RalfJung:std-debug-assert, r...	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	expand flag docs	commit \| commitdiff \| tree \| snapshot
2020-10-28	bors	Auto merge of #1605 - RalfJung:readme, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	remove outdated CI badges	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	disable debug assertions in the standard library	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	run some tests with raw pointer tracking	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	add an option to track raw pointer tags in Stacked...	commit \| commitdiff \| tree \| snapshot
2020-10-28	Ralf Jung	Stacked Borrows: print affected memory location on...	commit \| commitdiff \| tree \| snapshot
2020-10-27	bors	Auto merge of #1602 - RalfJung:box, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-27	Ralf Jung	test Box::into_raw aliasing	commit \| commitdiff \| tree \| snapshot
2020-10-27	bors	Auto merge of #1601 - RalfJung:misc, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-27	Ralf Jung	pointer tag tracking: also show when tag is being created	commit \| commitdiff \| tree \| snapshot
2020-10-27	Ralf Jung	Use bash to make sure &> works	commit \| commitdiff \| tree \| snapshot
2020-10-25	bors	Auto merge of #1600 - RalfJung:rustup, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-25	Ralf Jung	rustup; make panic output less dependent on stdlib...	commit \| commitdiff \| tree \| snapshot
2020-10-24	bors	Auto merge of #1599 - camelid:default-args-const, r...	commit \| commitdiff \| tree \| snapshot
2020-10-24	Camelid	Make `miri_default_args()` a constant	commit \| commitdiff \| tree \| snapshot
2020-10-24	bors	Auto merge of #1598 - camelid:hide-readlink-error,...	commit \| commitdiff \| tree \| snapshot
2020-10-24	bors	Auto merge of #1596 - camelid:fix-readme, r=RalfJung	commit \| commitdiff \| tree \| snapshot
2020-10-24	bors	Auto merge of #1594 - camelid:dont-force-install-xargo...	commit \| commitdiff \| tree \| snapshot
2020-10-23	Camelid	Hide readlink error in `./miri`	commit \| commitdiff \| tree \| snapshot
2020-10-23	Camelid	Fix README	commit \| commitdiff \| tree \| snapshot
2020-10-23	Camelid	Don't force-install xargo	commit \| commitdiff \| tree \| snapshot
next

Empowering everyone to build reliable and efficient software.

RSS Atom