homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

More kernel tweaks #7

Closed fingolfin closed 5 years ago

fingolfin commented 5 years ago

With this, the segfault in the test suite seems to be gone for me.

There are more things that could and should be cleaned up in the kernel and library code of this package. I'd submit some thoughts and suggestions on this to your issue tracker, but you may want to resolve https://github.com/kamalsaleh/CddInterface/issues/9 first.

kamalsaleh commented 5 years ago

Thank you Max. It is very nice to learn these new gap kernel vocabularies. The PR is helpfull and will be merged as soon as we clarify the use of CONST_CSTR_STRING.