aboutsummaryrefslogtreecommitdiffhomepage
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* Save free_symbols call.J08nY2024-07-121-8/+17
* Perf ZVP with Flint as well.J08nY2024-07-111-3/+3
* Fix DeepSource issues.J08nY2024-07-111-2/+2
* Fix perf filename for flint.J08nY2024-07-113-6/+6
* Add support for python-flint-based Mod.J08nY2024-07-115-5/+4
* Fix issues from new sympy flint use.J08nY2024-07-112-19/+1
* Fix divpoly tests.J08nY2024-07-111-11/+14
* Pin sympy temporarily until they fix their stuff.J08nY2024-07-101-3/+3
* New tree API.J08nY2024-06-042-3/+3
* Improve execution tree API.J08nY2024-06-041-32/+40
* Speedup RPA tests.J08nY2024-06-031-4/+20
* Fix configuration enumeration.J08nY2024-06-031-1/+0
* Tests for CPUTraceManager and tests for constant input.J08nY2024-06-021-43/+44
* Add Ladder sort-of regression test.J08nY2024-05-311-0/+36
* Add bit_length to Mod.J08nY2024-05-271-0/+5
* Fix DeepSourcce issues.J08nY2024-04-166-12/+19
* Add random walk metrics to tree description.J08nY2024-04-141-0/+1
* Add early deduplication to Map.from_sets.J08nY2024-04-131-0/+10
* Fix tree building with deduplicated dmaps.J08nY2024-04-121-0/+46
* Fix None codomain addition in dmap.J08nY2024-04-111-0/+5
* Fix dmap indexing with callable cfg.J08nY2024-04-091-0/+12
* Improve tree building with more quantities.J08nY2024-04-081-0/+1
* Abstract out tree building in RPA and extract common RE class.J08nY2024-04-081-3/+1
* Fix scalarmult hash impls to allow for proper inclusion in sets.J08nY2024-04-041-5/+32
* Short circuit in ZVP eliminate_y if already eliminated.J08nY2024-04-031-0/+3
* Get rid of bunch of warnings.J08nY2024-02-012-12/+27
* Add comparison for formulas.J08nY2024-01-311-2/+5
* Rename formula expand.J08nY2024-01-311-2/+2
* Move formula expand to work with sets.J08nY2024-01-312-2/+3
* Fix dmap cfgs.J08nY2024-01-291-0/+1
* More docs for trees.J08nY2024-01-291-7/+10
* Add dmap deduplication.J08nY2024-01-291-10/+23
* Add dmap merging.J08nY2024-01-281-0/+18
* Allow merging of config sets in dmap.J08nY2024-01-281-8/+43
* Fix formula tests.J08nY2024-01-271-4/+4
* Fix CodeFormula hash.J08nY2024-01-271-2/+11
* Add EFD -> Code transformation.J08nY2024-01-271-3/+8
* Mark randomized tests with xfail.J08nY2024-01-261-1/+3
* Add tests for DPA and CPA.J08nY2024-01-261-0/+46
* Add tests for leakagetarget.J08nY2024-01-261-0/+29
* Move CodeFormulas.J08nY2024-01-261-0/+13
* Fix OpResult repr.J08nY2024-01-251-1/+10
* Fix issues with pickling and equality checks of EC objects.J08nY2024-01-252-1/+90
* Return a point deterministically for zer ZVP polynomial.J08nY2024-01-241-45/+15
* Add newline.J08nY2024-01-231-1/+1
* Fix PARI DCP solution.J08nY2024-01-231-1/+9
* Add heuristic for PARI stack size allocation.J08nY2024-01-231-0/+8
* Add domain param to map. Fix callable columns.J08nY2024-01-221-8/+8
* Fix and speedup tree construction.J08nY2024-01-211-6/+2
* Make map take codomain.J08nY2024-01-211-4/+8
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-01-22 07:24:43 +0000