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

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

2019-01-07	Ralf Jung	deduplicate RangeMap elements in iter_mut	blob \| commitdiff \| raw
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
2018-11-03	Ralf Jung	Merge pull request #506 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-03	Ralf Jung	comment on mut-to-shr transmutes	blob \| commitdiff \| raw \| diff to current
2018-11-02	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	use crate:: import to make edition port easier later	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	rename RefKind to UsageKind, because it not only used...	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	put all the logic into reactivatable()	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	unify checks on memory access and reborrowing, and...	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	basic retagging (no fn_entry); this also makes us catch...	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	stub Retag hook; fix tests for removal of -Zmir-emit...	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	Merge pull request #492 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	fix nits	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-30	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-26	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-24	Ralf Jung	make some things public for the benefit of priroda	blob \| commitdiff \| raw \| diff to current
2018-10-23	Ralf Jung	remove code duplication by letting reactivatable()...	blob \| commitdiff \| raw \| diff to current
2018-10-23	Ralf Jung	also run compile-fail tests with and without optimizations	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	Merge pull request #487 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	get rid of implicit Raw at bottom of stack; locals...	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	respect memory's privacy	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	rustc update and be very selective about what we accept...	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	adapt to rustc API changes and factor out computing...	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	expand comment about incomplete support for interior...	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-17	Ralf Jung	bump for ENABLE_PTR_TRACKING_HOOKS, and remove some...	blob \| commitdiff \| raw \| diff to current
2018-10-17	Ralf Jung	stacked borrows: enforcement at memory accesses	blob \| commitdiff \| raw \| diff to current
2018-10-16	Ralf Jung	stacked borrows: track refs and derefs	blob \| commitdiff \| raw \| diff to current
2018-10-16	Ralf Jung	add Borrow tag to pointers; remove old locking code	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.

RSS Atom