summaryrefslogtreecommitdiffhomepage
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Fix Mod -> mod in tests.J08nY2024-07-161-2/+2
* Better print in perf.J08nY2024-07-166-20/+77
* Fix pow in Mod.J08nY2024-07-161-1/+1
* Fix perf.J08nY2024-07-151-3/+3
* Move to function based Mod dispatch.J08nY2024-07-1513-158/+159
* Fix feature flag imports in perf.J08nY2024-07-154-4/+9
* Cleanup new profiler.J08nY2024-07-151-2/+15
* More thorough formula test.J08nY2024-07-151-2/+9
* Add raw profiler.J08nY2024-07-156-14/+29
* Perf test also scalarmult with tracing.J08nY2024-07-151-0/+12
* 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
generated by cgit v1.3 (git 2.53.0) at 2026-03-29 08:22:50 +0000