Quentin Sabah

Results 108 comments of Quentin Sabah

Having a flat representation should be less memory consuming in the worst case when all the produced values for an ADT have the longest branch(es) form, because it saves one...

Hi, This datastructure is designed specifically to be paired with `ConcurrentFlyweight`. That explain why the interface may not look like something we would use standalone. Maybe it would be preferable...

I am currently experimenting some kind of programmatic type descriptors in this branch: https://github.com/quentin/souffle/tree/libsouffle The types of relations and values are made available through a `TypeDesc` object. A `TypeRegistry` allow...

You can construct ADT values using the records interface. ADT values are stored like regular records, but with some degree of nesting. ADT values, like Record values, are numeric index...

@aeflores Good point, actually I have been "cheating" by taking an iterator on the `tuple` with `it = tuple::begin()` and then storing arbitrary `RamDomain` values into it `*it = adt_ref;`....

Hi, Can you make sure the functor library is built with openmp support if the souffle interpreter was too ? Try adding `-fopenmp` to the `g++` command.

I believe we could have some kind of `souffle-compile-functors` similar to `souffle-compile`. Or alternatively we could isolate the `SymbolTable` interface from the implementation, so that functors only have to know...

Hi, I am able to reproduce with Linux but the bug depends on the allocator behavior. I could not reproduce with valgrind for instance. The map `functorInfo` has mappings for...

Je partage l'idéal de réussir à reprendre tout ou une partie du terme `profond` afin de conserver une certaine harmonie. Mais je serai aussi ravi qu'une autre racine permette de...

> `Neurotrucage profond` ![drole](https://user-images.githubusercontent.com/42100/89007202-9b7bc380-d308-11ea-854f-92f09771eeb4.png)