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

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

2019-12-09	Oliver Scherer	Use the machine stop error instead of abusing other...	blob \| commitdiff \| raw
2019-12-08	Oliver Scherer	Rename track-id to track-pointer-tag	blob \| commitdiff \| raw \| diff to current
2019-12-08	Oliver Scherer	Detect all variants of stack removals	blob \| commitdiff \| raw \| diff to current
2019-12-08	Oliver Scherer	Add a scheme to find the place where an id was destroyed	blob \| commitdiff \| raw \| diff to current
2019-12-02	bors	Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-12-02	Ralf Jung	fix init_allocation_extra	blob \| commitdiff \| raw \| diff to current
2019-12-02	Ralf Jung	adjust for init_allocation_extra	blob \| commitdiff \| raw \| diff to current
2019-11-19	bors	Auto merge of #693 - Aaron1011:feature/panic_unwind_fin...	blob \| commitdiff \| raw \| diff to current
2019-11-17	Aaron Hill	Support unwinding after a panic	blob \| commitdiff \| raw \| diff to current
2019-11-17	bors	Auto merge of #1055 - RalfJung:panic-stub, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-11-14	bors	Auto merge of #1053 - RalfJung:clean, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-11-14	bors	Auto merge of #1052 - RalfJung:icefix, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-11-14	Ralf Jung	do full deref-check before reborrowing	blob \| commitdiff \| raw \| diff to current
2019-11-13	bors	Auto merge of #1022 - christianpoveda:fix-fd-access...	blob \| commitdiff \| raw \| diff to current
2019-11-11	bors	Auto merge of #1047 - RalfJung:uprust, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-11-11	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2019-11-09	Christian Poveda	Fix merge conflicts	blob \| commitdiff \| raw \| diff to current
2019-11-08	bors	Auto merge of #1044 - RalfJung:uprust, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-11-08	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2019-10-30	bors	Auto merge of #1027 - RalfJung:typo, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-10-30	Ralf Jung	fix typo	blob \| commitdiff \| raw \| diff to current
2019-10-21	Christian Poveda	Fix merge conflicts	blob \| commitdiff \| raw \| diff to current
2019-10-21	bors	Auto merge of #1010 - RalfJung:xargo, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-10-20	bors	Auto merge of #1009 - RalfJung:expect_none, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2019-10-20	Ralf Jung	use expect_none and unwrap_none where it makes sense	blob \| commitdiff \| raw \| diff to current
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom