pos, branch master [no description] https://projects.horel.org/thibaut/pos/atom/?h=master 2016-05-12T02:11:21Z Adding the abstract 2016-05-12T02:11:21Z Thibaut Horel thibaut.horel@gmail.com 2016-05-12T02:11:21Z urn:sha1:1703977b8697e1713859abf91005a0c09b144320 Add final code used during experiments 2016-05-12T02:03:53Z Thibaut Horel thibaut.horel@gmail.com 2016-05-12T02:03:53Z urn:sha1:236b06a88f709ca6c70ce0c7adfb57f9f0b2a60d Adding the bibliography 2016-05-12T02:01:32Z Thibaut Horel thibaut.horel@gmail.com 2016-05-12T02:01:32Z urn:sha1:aa709603639d6a010ae20bc7fc2856c92693ecf6 Adding the report 2016-05-12T02:01:19Z Thibaut Horel thibaut.horel@gmail.com 2016-05-12T02:01:19Z urn:sha1:83dabfa1ea162ff4d85aaf6f649c6ded7f8aa9f8 Add Fisher-Yates schuffle 2016-05-06T03:24:44Z Thibaut Horel thibaut.horel@gmail.com 2016-05-06T03:24:44Z urn:sha1:2fdccd98d65b03f6550d1824a7c5541cb1d175cf Parallelizing the DFS construction (huge performance gain!) 2016-05-06T02:31:39Z Thibaut Horel thibaut.horel@gmail.com 2016-05-06T02:31:39Z urn:sha1:be4c150fe17c4869e80acd2a18a380aa91c49d65 Add parallel building 2016-05-06T00:30:09Z Thibaut Horel thibaut.horel@gmail.com 2016-05-06T00:30:09Z urn:sha1:38f36429617583277028cc7faaf615d3607e827c Add readme 2016-05-05T19:00:56Z Thibaut Horel thibaut.horel@gmail.com 2016-05-05T19:00:56Z urn:sha1:67e72810da5014a6e1a355dc1cdc8455c96de8a6 Add some comments for proof extraction 2016-05-05T03:14:36Z Thibaut Horel thibaut.horel@gmail.com 2016-05-05T03:13:36Z urn:sha1:7356dc77e0ea986dfd798e9d122e66131b804111 Add batch proof extraction: sorting helps more than batching, will have to investigate page faults 2016-05-05T03:10:15Z Thibaut Horel thibaut.horel@gmail.com 2016-05-05T03:10:15Z urn:sha1:27ff4c4aa4988c65caf6093b9dcc3c00f6c00743