Fix asymptotics of BasePattern

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.

26 stars 9 forks source link

Closed uncomputable closed 2 months ago

uncomputable commented 2 months ago

Depends on #80 (because of the inference context parameters)

Fixes #39 Fixes #40

apoelstra commented 2 months ago

Can be rebased now. CI failure is "real" (cargo fmt). Nice!

uncomputable commented 2 months ago

Rebased

apoelstra commented 2 months ago

In 25f810963b58cff14a7306edbd744b3c1d7595e8:

The commit messages says the existing method was O(2^n) but you mean to say O(n^2) ... and really, O(n * depth).

uncomputable commented 2 months ago

Addressed the comments