Tom van Dijk
Tom van Dijk
I just had a first good look at the ZDD branch that needs to be merged eventually with `master`. Most of is it good state. Unfortunately the examples are not...
Opening this issue for if anyone has some comment on this. Currently Sylvan writes and reads BDDs in a somewhat awkward binary file format. While this is nice for parsing,...
Lace 2.0
Lace 2.0 is a redesign of the API, work in progress. The **problem to be solved** is that in its current (pre-2.0) state, Lace is quite intrusive for a developer...
Work on the DFTL (distraction-free tangle learning) algorithm. This was a rather tricky algorithm to study, but unfortunately it admits an exponential lower bound following fibonacci's sequence. This counterexample doesn't...
Currently there is no way to control who is allowed to upload/replace/rename/delete files. It would be nice to add Permissions. There is a simple way to add the permissions to...
Current default are not good. @Meijuh
Lace HRE
Lace should be a HRE module thing
I suggest we move to use subtree instead of submodule. We can add ".sh" files that assist updating a subtree from commit A to commit B. Advantage - users no...