2 Commits

Author	SHA1	Message	Date
Ralf Jung	66b4bb7cf2	stacked borrows: track refs and derefs	2018-10-16 18:35:27 +02:00
Ralf Jung	b84f7e2029	add Borrow tag to pointers; remove old locking code	2018-10-16 18:35:27 +02:00