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

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

2019-05-15	Ralf Jung	refactor to simplify	blob \| commitdiff \| raw
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
2018-12-21	Ralf Jung	Merge pull request #572 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-20	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	Merge branch 'master' into retag-to-raw	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	treat ref-to-raw cast like a reborrow: do a special...	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	Merge pull request #568 from RalfJung/cleanup	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	make some functions private to StackedBorrows	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	avoid repeating signatures in EvalContext extension...	blob \| commitdiff \| raw \| diff to current
2018-12-08	Ralf Jung	Merge pull request #564 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-08	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-12-07	Ralf Jung	Merge remote-tracking branch 'origin/master' into stack...	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	Merge branch 'master' into stacked-borrows-2-phase	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	Merge branch 'master' into fixme	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	Merge pull request #557 from RalfJung/fix-mutability-gap	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	use assert	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	fix mutability gap: do not allow shared mutation when...	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	assert some sense	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	support for basic (non-overlapping) 2-phase borrows	blob \| commitdiff \| raw \| diff to current
2018-11-30	Ralf Jung	Merge pull request #553 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-28	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-28	Oliver S̶c̶h̶n̶e̶i...	Typo	blob \| commitdiff \| raw \| diff to current
2018-11-28	Ralf Jung	Merge remote-tracking branches 'origin/master' and...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	barriers prevent deallocation	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	no barriers for boxes	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	implement function barriers	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	track call IDs	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	adjust for memory_allocated hook, make RangeMap preallo...	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge branch 'master' into self-referential-generator	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge pull request #519 from solson/allocations	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge remote-tracking branch 'origin/master' into alloc...	blob \| commitdiff \| raw \| diff to current
2018-11-23	Oliver Scherer	Update to Memory -> Allocation method move	blob \| commitdiff \| raw \| diff to current
2018-11-22	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	Merge branch 'master' into partially-invalidate-mut	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	Merge pull request #539 from RalfJung/no-frozen-mut	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	slightly more verbose error msg	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	if let	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	on a deref, check that we are not using a mutable ref...	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge branch 'master' into cargo-miri-2018	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge pull request #526 from RalfJung/mut-visitor	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	adjust for InboundsCheck parameter of memory bounds...	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge branch 'miri-backtrace' into mut-visitor	blob \| commitdiff \| raw \| diff to current
2018-11-19	Ralf Jung	Merge remote-tracking branch 'origin/master' into mut...	blob \| commitdiff \| raw \| diff to current
2018-11-17	Ralf Jung	Boxes can also use the fast path	blob \| commitdiff \| raw \| diff to current
2018-11-17	Ralf Jung	add comment about not using builtin_deref	blob \| commitdiff \| raw \| diff to current
2018-11-17	Ralf Jung	escape-on-cast, now ptr-deref does not change the tag...	blob \| commitdiff \| raw \| diff to current
2018-11-17	Ralf Jung	also consider boxes like unique references	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Factor out common top-level code from escape-to-raw...	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	retagging: descent into values, type-driven	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Merge pull request #524 from RalfJung/escape-to-raw	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Merge remote-tracking branch 'origin/master' into escap...	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	add a sanity assertion	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	we no longer even try pushing to a frozen location	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	let's call this a redundant reborrow	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	generalize reborrow-to-raw exception to a general redun...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	adjust comment	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	Separate deref and access into different operations...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	better test the special exception for reading through...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	make freezing inherently part of the high-level reactiv...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	Retag is the only operation that generates new tags	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	Merge pull request #522 from RalfJung/alloc-extra	blob \| commitdiff \| raw \| diff to current
2018-11-14	Ralf Jung	update for memory_deallocated moving to AllocExtra	blob \| commitdiff \| raw \| diff to current
2018-11-12	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #516 from RalfJung/rc	blob \| commitdiff \| raw \| diff to current
2018-11-12	Ralf Jung	Update rustc for AllocationExtra trait	blob \| commitdiff \| raw \| diff to current
2018-11-08	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #513 from RalfJung/new-interior-mut	blob \| commitdiff \| raw \| diff to current
2018-11-08	Ralf Jung	treat shared and raw borrows alike	blob \| commitdiff \| raw \| diff to current
2018-11-08	Ralf Jung	re-do large parts of stacked borrows, now with proper...	blob \| commitdiff \| raw \| diff to current
2018-11-05	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #510 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-05	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom