add garbage collection option - #83

Open

RexWzh wants to merge 14 commits into

leanprover-community:masterfrom

Lean-zh:gc-option

Commits on Apr 10, 2025

add gc option
RexWzh
committed
4ab23f9
add gc option tests
RexWzh
committed
8e88e86

Commits on Apr 11, 2025

update readme
RexWzh
committed
cf63ddc

Commits on Apr 14, 2025

Merge branch 'master' into gc-option
RexWzh
committed
75643c6
@ohyeat: replace loop by tail recursion
RexWzh
committed
bac41b9

Commits on Apr 15, 2025

rename `gc` to `discard`
RexWzh
committed
f867ab2
rename discard to record
RexWzh
committed
91abba5
record for proof states
RexWzh
committed
edc5079

Commits on May 3, 2025

Merge branch 'master' into gc-option
RexWzh
committed
4979b94
rename tests
RexWzh
committed
b1cb4e7

Commits on Jul 4, 2025

update test scripts
RexWzh
committed
d374f1b

Commits on Jul 23, 2025

Merge remote-tracking branch 'origin/master' into gc-option
RexWzh
committed
42d2bc7
Merge branch 'fix-tests' into gc-option
RexWzh
committed
a66d357
fix error test
RexWzh
committed
3d71944