Commit 2023-02-13 05:05 4f818d25

View on Github →

feat: port continuity tactic (#2145) We implement the continuity tactic using aesop, this makes it more robust and reduces the code to trivial macros.

Estimated changes