aboutsummaryrefslogtreecommitdiff
path: root/test/ec/test_formula.py
Commit message (Expand)AuthorAgeFilesLines
* Fix multiple mult in rpa context.J08nY2025-03-121-17/+18
* Add more metadata to networkx_graph.J08nY2024-08-261-9/+30
* Add parallel version of formula expansion.J08nY2024-08-261-1/+8
* Move library formulas from test to main package.J08nY2024-07-241-3/+3
* Move to function based Mod dispatch.J08nY2024-07-151-2/+2
* More thorough formula test.J08nY2024-07-151-2/+9
* Save free_symbols call.J08nY2024-07-121-8/+17
* Fix issues from new sympy flint use.J08nY2024-07-111-1/+1
* Fix DeepSourcce issues.J08nY2024-04-161-1/+1
* Add comparison for formulas.J08nY2024-01-311-2/+5
* Rename formula expand.J08nY2024-01-311-2/+2
* Add EFD -> Code transformation.J08nY2024-01-271-3/+8
* Fix issues with pickling and equality checks of EC objects.J08nY2024-01-251-1/+7
* Add madd-secp256k1-v040vojtechsu2023-12-161-0/+7
* Add tests for formula similarity metrics.J08nY2023-12-051-14/+12
* Add default partition test.J08nY2023-12-051-0/+7
* Add test for formula expansion.J08nY2023-12-051-0/+14
* Fix typing.J08nY2023-12-051-5/+1
* Unify formula gen and formula tests.J08nY2023-12-051-11/+94
* Integrate formula expansion.J08nY2023-12-051-23/+305
* Make stuff picklable.J08nY2023-10-141-0/+6
* Move EC tests to pytest fully.J08nY2023-08-081-87/+102
* Use black.J08nY2021-04-101-12/+40
* Introduce symbolic Mod.J08nY2021-01-201-0/+18
* Introduce explicit field argument to formula calls.J08nY2021-01-191-6/+6
* Fixup the packaging, put cfg into a proper subpackage.J08nY2020-12-261-1/+1
* Make certain aspects of the library configurable.J08nY2020-12-171-0/+5
* Handle formula assumptions.J08nY2020-12-171-0/+18
* Fix type errors and increase code coverage.J08nY2020-06-141-0/+5
* Cleanup curves script.J08nY2020-03-161-1/+1
* Add the concept of a configuration. Add enumeration of configurations.J08nY2020-02-121-3/+1
* Rework context handling into a tree-based approach.J08nY2020-02-111-0/+35
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-11-08 10:40:59 +0000