Ramana Kumar 040df7d520 Fix incorrect treatment of returning boolean ... This fixes the free: invalid pointer problem.		2022-10-02 22:12:08 +01:00
..
Makefile	Start on Python interface without SWIG	2022-10-02 00:52:12 +01:00
ckzg.c	Fix incorrect treatment of returning boolean	2022-10-02 22:12:08 +01:00
tests.py	Add proof verification, but test currently fails	2022-10-02 14:01:33 +01:00
tests_swig.py	Forgot to update Python module name	2022-10-01 21:41:05 +01:00