gitlab.inria.fr / fpottier/unionfind / commits
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| d01b1150 | CHANGES. | François Pottier <f****r@i****r> | 7 months ago | |
| d8d878c5 | Fix [make versions]. | François Pottier <f****r@i****r> | 7 months ago | |
| 8e425699 | Headers. | François Pottier <f****r@i****r> | 7 months ago | |
| d68d7a8c | CHANGES. | François Pottier <f****r@i****r> | 7 months ago | |
| 21ce5d94 | README. | François Pottier <f****r@i****r> | 7 months ago | |
| ff3551f1 | AUTHORS | François Pottier <f****r@i****r> | 7 months ago | |
| a0502756 | TODO. | François Pottier <f****r@i****r> | 7 months ago | |
| d1b517a5 | Update the documentation (src/index.mld). | François Pottier <f****r@i****r> | 7 months ago | |
| df0815ac | StoreStore: update some comments. | François Pottier <f****r@i****r> | 7 months ago | |
| 99cce563 | TODO. | François Pottier <f****r@i****r> | 7 months ago | |
| 771c3b07 | test/Stored: tweak the printed scenario. | François Pottier <f****r@i****r> | 7 months ago | |
| 94a0863e | Test UnionFind.Stored. | François Pottier <f****r@i****r> | 7 months ago | |
| dfeabbee | Typo. | François Pottier <f****r@i****r> | 7 months ago | |
| c2b90c9d | ConcurrentUnionFind: make [content] an atomic field. | François Pottier <f****r@i****r> | 7 months ago | |
| 83e3a17f | Makefile. | François Pottier <f****r@i****r> | 11 months ago | |
| de1a1155 | New submodule [UnionFind.Stored]. |
Gabriel Scherer <g****r@g****m>
Committed by: François Pottier <f****r@i****r> |
about 1 year ago | |
| 5deca2ab | Update some comments. |
Gabriel Scherer <g****r@g****m>
Committed by: François Pottier <f****r@i****r> |
about 1 year ago | |
| 0d6a9f4e | implement the Store interface using the Store library |
Gabriel Scherer <g****r@g****m>
Committed by: François Pottier <f****r@i****r> |
about 1 year ago | |
| 49df66e9 | [minor] rename Store.ml into Store_intf.ml to avoid naming conflicts |
Gabriel Scherer <g****r@g****m>
Committed by: François Pottier <f****r@i****r> |
about 1 year ago | |
| 73b3609f | Scale down again; I was too optimistic. | François Pottier <f****r@i****r> | about 1 year ago | |
| 1fabc3da | Comment. | François Pottier <f****r@i****r> | about 1 year ago | |
| c6403596 | Optimize by scheduling all safe operations at once. | François Pottier <f****r@i****r> | about 1 year ago | |
| 905880a8 | Reformulate and comment. | François Pottier <f****r@i****r> | about 1 year ago | |
| 0959ef7b | Scale the sizes a bit further up. | François Pottier <f****r@i****r> | about 1 year ago | |
| 6955a034 | Impose the precondition that no thread is doomed. | François Pottier <f****r@i****r> | about 1 year ago | |
| 6de1aed5 | Optimization in [serialize]: fail if any thread is now doomed. | François Pottier <f****r@i****r> | about 1 year ago | |
| 7b43aa3d | Comment. | François Pottier <f****r@i****r> | about 1 year ago | |
| 096f305b | CHANGES. | François Pottier <f****r@i****r> | about 1 year ago | |
| d5ca6c12 | TODO. | François Pottier <f****r@i****r> | about 1 year ago | |
| 6ffe083b | Update test/concurrent/Makefile. | François Pottier <f****r@i****r> | about 1 year ago | |
| 5c38eb6e | Try smaller sizes with the slow algorithm. | François Pottier <f****r@i****r> | about 1 year ago | |
| a0bc1ac1 | Fix output. | François Pottier <f****r@i****r> | about 1 year ago | |
| 41ca67f6 | Allow testing Concurrent Union-Find with more than 2 threads. | François Pottier <f****r@i****r> | about 1 year ago | |
| 24323b31 | Rename [serializable] to [serializable2] and implement a new serializability ... | François Pottier <f****r@i****r> | about 1 year ago | |
| 96e6be4c | Comment. | François Pottier <f****r@i****r> | about 1 year ago | |
| e704cd32 | Documentation. | François Pottier <f****r@i****r> | about 1 year ago | |
| 837ca643 | Serialize: better verbose output. | François Pottier <f****r@i****r> | about 1 year ago | |
| 178d5fb3 | CHANGES. | François Pottier <f****r@i****r> | about 1 year ago | |
| e19bbb80 | Update [make versions]. | François Pottier <f****r@i****r> | about 1 year ago | |
| b90f1949 | TODO. | François Pottier <f****r@i****r> | about 1 year ago | |
| 9991dc51 | Require 4.12. | François Pottier <f****r@i****r> | about 1 year ago | |
| 46b1fe04 | Documentation comment. | François Pottier <f****r@i****r> | about 1 year ago | |
| 99cc9958 | Makefile tweaks. | François Pottier <f****r@i****r> | about 1 year ago | |
| 4df76032 | A better message. | François Pottier <f****r@i****r> | about 1 year ago | |
| 3e349dcd | Makefile: let [make test] run [dune test]. Eliminate some useless messages. | François Pottier <f****r@i****r> | about 1 year ago | |
| f32165bf | A better progress message. | François Pottier <f****r@i****r> | about 1 year ago | |
| d6a1505f | Do not classify the benchmark as a test in the eyes of [dune]. It is too slow. | François Pottier <f****r@i****r> | about 1 year ago | |
| e31e41a0 | Better indentation in the verbose output. | François Pottier <f****r@i****r> | about 1 year ago | |
| 259c62db | Serialize: the verbose output should now be complete. | François Pottier <f****r@i****r> | about 1 year ago | |
| 28c146cb | Specialize [run_until] again. | François Pottier <f****r@i****r> | about 1 year ago | |
| 75a9a7b0 | Serialize: use output buffers inside speculative execution. | François Pottier <f****r@i****r> | about 1 year ago | |
| 9e4beb03 | Style. | François Pottier <f****r@i****r> | about 1 year ago | |
| dd75ff39 | Serialize: use buffers everywhere. | François Pottier <f****r@i****r> | about 1 year ago | |
| 2c412ee0 | Improvements in the printers. | François Pottier <f****r@i****r> | about 1 year ago | |
| 7a6d3d61 | Remove useless flush. | François Pottier <f****r@i****r> | about 1 year ago | |
| f7aaf2ec | Makefile | François Pottier <f****r@i****r> | about 1 year ago | |
| 52208e7f | Main: improvements. | François Pottier <f****r@i****r> | about 1 year ago | |
| 2b269b7b | Serialize: fix another bug (a mistake in my reasoning). | François Pottier <f****r@i****r> | about 1 year ago | |
| 339ba541 | Main: perform more tests. | François Pottier <f****r@i****r> | about 1 year ago | |
| 97658ec5 | Fix bug in Serialize. A symmetric condition was missing. | François Pottier <f****r@i****r> | about 1 year ago | |
| 2fb732b6 | Propagate thread IDs. | François Pottier <f****r@i****r> | about 1 year ago | |
| f2a28901 | More verbose output. | François Pottier <f****r@i****r> | about 1 year ago | |
| 8f137b5d | No parentheses and comma when printing an operation. | François Pottier <f****r@i****r> | about 1 year ago | |
| 33b53bda | Whitespace and newlines. | François Pottier <f****r@i****r> | about 1 year ago | |
| 36f81a9a | Serialize: detailed verbose output. | François Pottier <f****r@i****r> | about 1 year ago | |
| 7b9814f5 | Verbosity. | François Pottier <f****r@i****r> | about 1 year ago | |
| 98084676 | Serialize: add printers. | François Pottier <f****r@i****r> | about 1 year ago | |
| 8a3e5b69 | Heavier concurrent tests of the concurrent union-find. Bug found. | François Pottier <f****r@i****r> | about 1 year ago | |
| 60353b43 | Add a sequential test of the concurrent union-find. | François Pottier <f****r@i****r> | about 1 year ago | |
| ffee45e0 | Fix the [dprintf] prologues of the new tests. | François Pottier <f****r@i****r> | about 1 year ago | |
| 4b76c0b7 | Fix stupid bug in [union] in [Serialize]. | François Pottier <f****r@i****r> | about 1 year ago | |
| 5c6436dc | TODO. | François Pottier <f****r@i****r> | about 1 year ago | |
| e83e3e45 | Add a test of UnionFind.Make(StoreMap), including [copy]. | François Pottier <f****r@i****r> | about 1 year ago | |
| b6af436c | Fix [is_valid] in the reference implementation. | François Pottier <f****r@i****r> | about 1 year ago | |
| 33270831 | Add a (partial) test of UnionFind.Make(StoreTransactionalRef). | François Pottier <f****r@i****r> | about 1 year ago | |
| 80f0f6b2 | Add a test of UnionFind.Make(StoreRef). | François Pottier <f****r@i****r> | about 1 year ago | |
| e1bcf8f7 | Fix [is_valid] in the reference implementation; it was too permissive. | François Pottier <f****r@i****r> | about 1 year ago | |
| 0c26aa4c | Back to [default] switch in the hope of fixing [make test]. | François Pottier <f****r@i****r> | about 1 year ago | |
| efd245fa | dune-project | François Pottier <f****r@i****r> | about 1 year ago | |
| 3469f98f | Add a test of UnionFind.Make(StoreVector). | François Pottier <f****r@i****r> | about 1 year ago | |
| 739620cc | Reference implementation: add [is_valid]. | François Pottier <f****r@i****r> | about 1 year ago | |
| a0a91ee2 | Rename a subdirectory. | François Pottier <f****r@i****r> | about 1 year ago | |
| e4907c71 | Move the micro-benchmark into a subdirectory. | François Pottier <f****r@i****r> | about 1 year ago | |
| 61c0c18f | New Monolith test of UnionFindBasic.ml. | François Pottier <f****r@i****r> | about 1 year ago | |
| f54a0375 | Add a simple reference implementation of union-find in a vector, without path... | François Pottier <f****r@i****r> | about 1 year ago | |
| b4077c0b | A small Makefile simplification. | François Pottier <f****r@i****r> | about 1 year ago | |
| e30cb2c2 | Update dune version. | François Pottier <f****r@i****r> | about 1 year ago | |
| e812e85a | [make test] | François Pottier <f****r@i****r> | about 1 year ago | |
| 3c81cac8 | Renaming and main. | François Pottier <f****r@i****r> | about 1 year ago | |
| 7a358005 | New module [Record]. | François Pottier <f****r@i****r> | about 1 year ago | |
| 40cfe03d | New function [parallel]. | François Pottier <f****r@i****r> | about 1 year ago | |
| e33d06aa | Rename Linearize to Serialize, and add an .mli file for it. | François Pottier <f****r@i****r> | about 1 year ago | |
| 10afb967 | TODO. | François Pottier <f****r@i****r> | about 1 year ago | |
| 24cffa03 | A first (highly commented) algorithm to test whether an observed concurrent e... | François Pottier <f****r@i****r> | about 1 year ago | |
| 31e08449 | Include Concurrent in the micro-benchmark. | François Pottier <f****r@i****r> | about 1 year ago | |
| 7c3dadfb | Expose the concurrent Union-Find as a submodule [Concurrent]. | François Pottier <f****r@i****r> | about 1 year ago | |
| c602085b | TODO. | François Pottier <f****r@i****r> | about 1 year ago | |
| b3b69dcf | TODO. | François Pottier <f****r@i****r> | about 1 year ago | |
| 701f920f | A first version of concurrent union-find. Untested. | François Pottier <f****r@i****r> | about 1 year ago | |
| e4b37bd3 | Update header. Update [make headache]. | François Pottier <f****r@i****r> | about 1 year ago |