ndcroos
ndcroos
@palmskog I need base.v for `not_symmetry`. I still need to delete code in (mostly) `base.v` that is not needed.
I got a lot of errors executing `make` that are due to `easy` --> `done` changes, so I think it is makes more sense to revert all the `easy` -->...
Files where replacing 'easy' didn't work: * theory/series * implementations/dyadics.v * misc/util.v (because of circular dependency)
@spitters I only need to do the benchmarking, using `make pretty-timed`, but I have not figured out yet how to execute the benchmark for the made changes. Help with this...
Hi, I am still busy working on the other issues, but I'd like to work on this after these.
Hi Yaël, can you assign this to me?
@YaelDillies I was planning to start working on it again around mid-September, and I haven't made partial progress. So @nikil-ravi can just start and I will try to find another...
Hi, can I work on this issue please?
Hi, can I work on this please?
Hello, I'd like to work on this issue. Could you assign to to me please?