git.lizzy.rs Git - rust.git/history - src/stacked

]> git.lizzy.rs Git - rust.git/history - src/stacked_borrows.rs

2019-10-18	bors	Auto merge of #1004 - JohnTitor:use-memory, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-10-18	Yuki Okushi	Use memory field instead of memory()	blob \| commitdiff \| raw \| diff to current
2019-09-30	Christian Poveda	Reserve fides for stdio and fix merge issues	blob \| commitdiff \| raw \| diff to current
2019-09-28	bors	Auto merge of #957 - christianpoveda:ptr-align-offset...	blob \| commitdiff \| raw \| diff to current
2019-09-28	bors	Auto merge of #963 - rust-lang:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-09-26	Oliver Scherer	Rustup to `sty` -> `kind` changes	blob \| commitdiff \| raw \| diff to current
2019-08-09	bors	Auto merge of #896 - tmandry:add-generator-uninhabited...	blob \| commitdiff \| raw \| diff to current
2019-08-08	bors	Auto merge of #871 - RalfJung:miri-rustc-cleanup, r...	blob \| commitdiff \| raw \| diff to current
2019-08-05	bors	Auto merge of #888 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-05	Ralf Jung	fix for latest rustc	blob \| commitdiff \| raw \| diff to current
2019-08-04	bors	Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-03	bors	Auto merge of #881 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-03	Ralf Jung	adjust for rustc changes	blob \| commitdiff \| raw \| diff to current
2019-08-03	bors	Auto merge of #877 - christianpoveda:ldexp-shim, r...	blob \| commitdiff \| raw \| diff to current
2019-08-03	bors	Auto merge of #878 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-08-03	Ralf Jung	fix for error refactoring	blob \| commitdiff \| raw \| diff to current
2019-08-02	bors	Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-08-02	bors	Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2019-08-02	Ralf Jung	comment	blob \| commitdiff \| raw \| diff to current
2019-08-02	Ralf Jung	make reborrow shallow, and fix tests for that	blob \| commitdiff \| raw \| diff to current
2019-07-24	bors	Auto merge of #853 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-24	bors	Auto merge of #854 - lzutao:warn-idioms, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-24	Lzu Tao	build: Warn if not use 2018 idioms	blob \| commitdiff \| raw \| diff to current
2019-07-11	bors	Auto merge of #830 - RalfJung:check-place, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-10	Ralf Jung	force pointers before reborrowing; fixes cargo miri...	blob \| commitdiff \| raw \| diff to current
2019-07-06	bors	Auto merge of #799 - rust-lang:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-06	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2019-07-04	bors	Auto merge of #822 - RalfJung:tls, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-03	bors	Auto merge of #820 - RalfJung:intptrcast, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-07-03	Ralf Jung	don't call Stacked Borrows hooks at all when validation...	blob \| commitdiff \| raw \| diff to current
2019-07-01	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2019-06-29	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2019-06-29	Ralf Jung	some module comments	blob \| commitdiff \| raw \| diff to current
2019-06-26	bors	Auto merge of #779 - christianpoveda:intptrcast-model...	blob \| commitdiff \| raw \| diff to current
2019-06-25	Christian Poveda	Fix merge conflicts	blob \| commitdiff \| raw \| diff to current
2019-06-24	Christian Poveda	Reorganize MemoryExtra and AllocExtra structures	blob \| commitdiff \| raw \| diff to current
2019-06-24	bors	Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-06-23	Ralf Jung	adjust for refactored memory pointer checks	blob \| commitdiff \| raw \| diff to current
2019-06-21	Christian Poveda	Implement intptrcast methods	blob \| commitdiff \| raw \| diff to current
2019-06-13	Ralf Jung	Merge pull request #769 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2019-06-13	Ralf Jung	rustup for lifetime refactorings	blob \| commitdiff \| raw \| diff to current
2019-06-08	Ralf Jung	Merge pull request #765 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2019-06-08	Ralf Jung	rustup for EvalResult rename	blob \| commitdiff \| raw \| diff to current
2019-06-03	Ralf Jung	remove too expensive debug assertion (#755)	blob \| commitdiff \| raw \| diff to current
2019-06-03	Ralf Jung	Merge branch 'master' into debug	blob \| commitdiff \| raw \| diff to current
2019-06-02	Ralf Jung	Tag static/const allocations (#748)	blob \| commitdiff \| raw \| diff to current
2019-06-02	Ralf Jung	use new rustc infrastructure to tag the base pointer...	blob \| commitdiff \| raw \| diff to current
2019-05-31	Ralf Jung	remove too expensive debug assertion	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	Merge branch 'master' into miri-build	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	fix for latest rustc (#746)	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	fix for latest rustc	blob \| commitdiff \| raw \| diff to current
2019-05-24	Oliver Scherer	Merge pull request #742 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-24	Ralf Jung	avoid printing the tag twice	blob \| commitdiff \| raw \| diff to current
2019-05-24	Ralf Jung	avoid having both Debug and Display for a type and...	blob \| commitdiff \| raw \| diff to current
2019-05-23	Ralf Jung	Merge pull request #741 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-23	Ralf Jung	use prettier printing	blob \| commitdiff \| raw \| diff to current
2019-05-23	Ralf Jung	Merge pull request #740 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-23	Ralf Jung	hopefully improve error message a bit	blob \| commitdiff \| raw \| diff to current
2019-05-19	Ralf Jung	Merge pull request #732 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-19	Ralf Jung	typo	blob \| commitdiff \| raw \| diff to current
2019-05-19	Ralf Jung	Use `drain` instead of manually rolling it ourselves...	blob \| commitdiff \| raw \| diff to current
2019-05-19	Oliver Scherer	Prefer `drain` over manual implementation of `drain`	blob \| commitdiff \| raw \| diff to current
2019-05-17	Oliver Scherer	Merge pull request #730 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-17	Ralf Jung	nits	blob \| commitdiff \| raw \| diff to current
2019-05-17	Ralf Jung	test and support two-phase reborrows of raw pointers...	blob \| commitdiff \| raw \| diff to current
2019-05-17	Ralf Jung	reading does not remove Unique, it just invalidates...	blob \| commitdiff \| raw \| diff to current
2019-05-17	Ralf Jung	give up on two-phase borrows	blob \| commitdiff \| raw \| diff to current
2019-05-15	Ralf Jung	refactor to simplify	blob \| commitdiff \| raw \| diff to current
2019-05-15	Ralf Jung	make writes act stack-like	blob \| commitdiff \| raw \| diff to current
2019-05-13	Oliver Scherer	Merge pull request #726 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-11	Ralf Jung	Update src/stacked_borrows.rs	blob \| commitdiff \| raw \| diff to current
2019-05-11	Ralf Jung	rename per-location part of reborowing to 'granting'	blob \| commitdiff \| raw \| diff to current
2019-04-30	Ralf Jung	Merge pull request #718 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-30	bjorn3	Apply suggestions from code review	blob \| commitdiff \| raw \| diff to current
2019-04-30	Ralf Jung	SharedReadOnly reborrows are never weak	blob \| commitdiff \| raw \| diff to current
2019-04-19	Oliver Scherer	Merge pull request #699 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-19	Ralf Jung	two-phase-borrow comment	blob \| commitdiff \| raw \| diff to current
2019-04-18	Tim Diekmann	Merge branch 'master' into realloc	blob \| commitdiff \| raw \| diff to current
2019-04-18	Ralf Jung	Merge pull request #695 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	embrace find_map and some whitespace changes	blob \| commitdiff \| raw \| diff to current
2019-04-17	Oliver Scherer	Apply suggestions from code review	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	barriers are dead, long live protectors -- this enables...	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	abstract mapping over all the stacks in some memory...	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	let the permission of a new pointer depend on the type...	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	some failures are impossible	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	more comments	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	make run-pass tests pass. tweak how we remove barriers.	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	rewrite Stacked Borrows Core. this passes stacked-borro...	blob \| commitdiff \| raw \| diff to current
2019-04-06	Ralf Jung	Merge branch 'master' into patch-1	blob \| commitdiff \| raw \| diff to current
2019-04-03	Oliver Scherer	Merge pull request #672 from rust-lang/update	blob \| commitdiff \| raw \| diff to current
2019-04-03	Oliver Scherer	Update to rustc nightly	blob \| commitdiff \| raw \| diff to current
2019-02-26	Ralf Jung	Merge pull request #635 from alexreg/cosmetic-2	blob \| commitdiff \| raw \| diff to current
2019-02-26	Alexander Regueiro	Various cosmetic improvements.	blob \| commitdiff \| raw \| diff to current
2019-02-14	Ralf Jung	Merge remote-tracking branch 'origin/master' into str...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Ralf Jung	Merge branch 'master' into format-padding	blob \| commitdiff \| raw \| diff to current
2019-02-12	Ralf Jung	Merge pull request #629 from RalfJung/rename	blob \| commitdiff \| raw \| diff to current
2019-02-12	Ralf Jung	rename things away from 'Shr' that are used for much...	blob \| commitdiff \| raw \| diff to current
2019-02-12	Ralf Jung	be more clear which stack we are talking about	blob \| commitdiff \| raw \| diff to current
2019-01-08	Oliver Scherer	Merge pull request #597 from RalfJung/range-map	blob \| commitdiff \| raw \| diff to current
2019-01-07	Ralf Jung	deduplicate RangeMap elements in iter_mut	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom