15 Commits

Author SHA1 Message Date
Ramana Kumar
1ff5eed9d0
Remove globalize-symbol - now using patched submodule 2022-11-04 22:34:04 +00:00
Ramana Kumar
36a172f7ca
Update python ckzg.c 2022-11-04 09:18:56 +00:00
Ramana Kumar
37e9be5705
Fix references to min-src 2022-11-01 14:28:51 +00:00
Ramana Kumar
434c9ae9b9
Remove unused code, remove min- prefix 2022-11-01 14:24:02 +00:00
Dankrad Feist
2e435a7e26
Add py_ecc tests to min-bindings 2022-10-04 00:41:24 +01:00
Dankrad Feist
1e41ed4d36
Test equivalence with py_ecc 2022-09-19 19:56:43 +01:00
Ramana Kumar
bd65d49ffd
Check the proof fails on wrong data 2022-09-19 15:40:18 +01:00
Ramana Kumar
80b1c973cf
Make the tests the default make target 2022-09-19 15:40:18 +01:00
Ramana Kumar
701da680ce
Add tests of prove and verify 2022-09-19 15:40:18 +01:00
Ramana Kumar
306dcf5bac
Assume word size is 64
Avoids incompatible pointer type warnings on my system.
Ideally this would be sensitive to the host.
2022-09-19 15:40:18 +01:00
Ramana Kumar
43d54b8154
Add some comments to Python file, rename to tests 2022-09-19 15:40:18 +01:00
Ramana Kumar
9aa1dc289f
Compare result to Python evaluation 2022-09-19 15:40:17 +01:00
Ramana Kumar
8e5209c491
Work example up to evaluating a poly_l 2022-09-19 15:40:17 +01:00
Ramana Kumar
560127f1f5
Add some rudimentary Python access + example 2022-09-19 15:40:17 +01:00
Ramana Kumar
8eb99bcc96
Initial attempt to swig for python 2022-09-19 15:40:15 +01:00