aboutsummaryrefslogtreecommitdiff
path: root/test/ec/test_regress.py
Commit message (Collapse)AuthorAgeFilesLines
* Add repro for #71.J08nY2025-06-171-1/+16
|
* Fix multiple mult in rpa context.J08nY2025-03-121-1/+1
|
* Move to function based Mod dispatch.J08nY2024-07-151-18/+18
|
* Fix assumption eval.J08nY2023-11-071-0/+7
| | | | Fixes #53.
* Add test-vector test to ECDSA.J08nY2023-08-251-1/+0
|
* Fix issue #14.J08nY2023-08-251-2/+16
| | | | | Not really an issue, the prime in the test did not satisfy the formula assumption so it should have failed.
* Move EC tests to pytest fully.J08nY2023-08-081-95/+96
|
* Add profiling of sca.combine submodule.J08nY2021-11-271-1/+1
|
* Add reproducer for issue #14.J08nY2021-05-201-2/+22
|
* Handle fully symbolic assumptions.J08nY2021-05-201-1/+17
| | | | Fixes #13.
* Implement fixes from DeepSource.J08nY2021-04-101-3/+5
|
* Use black.J08nY2021-04-101-6/+9
|
* Introduce explicit field argument to formula calls.J08nY2021-01-191-2/+2
|
* Fix Edwards yzsuared to_model. Extend regression test for #10.J08nY2021-01-061-0/+3
|
* Pin sympy version requirement. Extend regression test for #9.J08nY2021-01-061-0/+6
|
* Fix Edwards yz/yzsquared to_model.J08nY2021-01-061-0/+12
| | | | Fixes #10.
* Resolve out rationals introduced by SymPy.J08nY2021-01-061-0/+15
| | | | Fixes #9.
* Update EFD and add regression test.J08nY2021-01-041-0/+9
| | | | Fixes #8.
* Fix pollution of formula variables by ints and subsequent float results.J08nY2020-12-171-0/+27
Fixes #7.