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
|
968b099dab
|
Treat bool specially, avoid allocation
Because bool as a PyObject won't have a normal destroy operation
|
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
|
cd404dbb0a
|
Add array_class for fr_arrays
|
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 |