Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add alternative to remap() in PageStore when not available.
authorMatthieu Volat <mazhe@alkumuna.eu>
Tue, 15 Nov 2016 19:27:14 +0000 (20:27 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Mon, 28 Nov 2016 09:55:07 +0000 (10:55 +0100)
commit1810d57c2b26e27fc5e880e65fcc57f41345249e
treec3ae5fd03afdc8ea34c95faba728d51cf5090e7b
parent37182aa1b48202ace407d6a0808c5494ebddbe85
Add alternative to remap() in PageStore when not available.

Code is a bit simplistic, having way to expand mappings but not
shrink them (so leaving them as they are), but it does the job.
src/mc/PageStore.cpp