Tom van Dijk

There is now some ZDD support in the master branch, but a lot of interesting ZDD functionality is not yet implemented.

Unfortunately this is not an easy issue to address. I will look at it eventually but it has low priority because I need to study the paper again to resolve...

Some of those warnings are in Boost even. A lot of duplicate warnings about the what() method of the exception and a lot of warnings about a copy constructor. Doesn't...

I'm not aware of Weave. As far as I can see one difference is that Weave is not for C? While Lace is for C? You can easily compile Lace...

I have written two papers about it back in 2014 when it was in active development and there are examples in the benchmarks folder. For example `benchmarks/fib/fib-lace.c` is a simple...

Internally as described in my early PhD work, Lace uses a special queue that is optimized for this particular task. It's the topic of one of the papers. The infrastructure...

By the way you could probably easily check benchmarks if you have experience with Weave. I see here https://github.com/mratsim/weave/tree/master/benchmarks that several of these are from Cilk so probably quite similar...

Takes some effort to install this with outdated `nim` on Manjaro, had to install manual, then figure out how to run stuff, guessing that simply `nim r benchmarks/nqueens/weave_nqueens.nim 14` is...

Using `nim c -d:danger ...` to compile to a native executable... ``` [tom@ryve weave]$ ./benchmarks/nqueens/weave_nqueens 15 Scheduler: Weave (eager flowvars) Benchmark: N-queens Threads: 6 Time(us) 24365.958984375 Max RSS (KB): 23080...

In case you wonder if I cheat with `fib`, it is completely fine-grained: ``` TASK_1(int, pfib, int, n) { if( n < 2 ) { return n; } else {...