dan-mk

Results 3 comments of dan-mk

Fix destruction of synapses when destroying segment

@rhyolight I'm not sure about the right way to contribute to the test suite, so I'm attaching a modified "hello_tm" that should show the error before 60k iterations. If it...

Error when running basic example: Unexpected end of JSON input

Silly me. I was trying to Dockerize the code myself because I didn't realize how hard it was, and most importantly, I didn't realize there's already a Dockerfile in the...

Installation fails due to node-gyp requiring a more recent nodejs version for z3javascript

Thank you so much for the fork with the changes @JJK96, I could finally run the code and do some tests. I guess you were already able to find a...