feat: Allow the UndoLog to be supplied separately - #29

Merged

nikomatsakis merged 18 commits into

rust-lang:masterfrom

Marwes:detach_undo_log

Apr 9, 2020

Commits on Feb 25, 2020

feat: Allow the UndoLog to supplied separately
Markus Westerlind
committed
9c416dc

Commits on Feb 26, 2020

Prevent 'Storage' types from being modified without a log
Markus Westerlind
committed
f10d1d3
Add UNificationStorage back
Markus Westerlind
committed
bd84def
Allow Rollback on the wrapper storage types
Markus Westerlind
committed
4b08d1c
Relax UnificationTable::new
Markus Westerlind
committed
1f370f2
Don't require UndoLogs for calling len
Markus Westerlind
committed
528af9a
Fix persistent tables
Markus Westerlind
committed
25f94c2
Split UnificationStore into a Mut variant which do not require snapshotting
Markus Westerlind
committed
30daa1d

Commits on Mar 3, 2020

Add some documentation
Markus Westerlind
committed
ffbc9c3

Commits on Mar 20, 2020

docL Document the undo_log module
Markus Westerlind
committed
5ae2cfa
test: Check the unified undo log addition
Markus Westerlind
committed
fac8c2d

Commits on Apr 7, 2020

Fix review comments
Markus Westerlind
committed
ee9764b
Fix review comments
Markus Westerlind
committed
7d7d5e9
Fix review comments
Markus Westerlind
committed
beeafed
Fix review comments
Markus Westerlind
committed
9568b3b
refactor: Restrict with_log to the Storage types
Markus Westerlind
committed
b1934a1
refactor: Clarify reverse forwarding
Markus Westerlind
committed
c0ab90a
doc: Explain the opaqueness of `T` in UndoLogs<T>
Markus Westerlind
committed
7e3b49b