2025-07-12T11:13:13Z - 2025-07-19T11:13:13Z

Period: 1 week

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

5 Active Pull Requests

4 Active Issues

5
Merged Pull Requests 0
Proposed Pull Requests 3
Closed Issues 1
New Issue

Excluding merges, 0 authors have pushed 0 commits to dev and 18 commits to all branches. On dev, 0 files have changed and there have been 0 additions and 0 deletions.

5 Pull requests merged by 1 user

Merged #245 doc: Remove stale repl documentation 2025-07-18 15:12:31 -07:00

Merged #244 test(frontend): Circular sorry 2025-07-13 23:14:57 -07:00

Merged #242 fix(frontend): Capture local instances in MetaTranslate 2025-07-13 23:03:14 -07:00

Merged #240 fix(serial): Erase closures in synthetic mvars 2025-07-13 23:00:22 -07:00

Merged #237 chore: Update version to 0.3.5 2025-07-12 12:09:33 -07:00

3 Issues closed from 1 user

Closed #238 Test Lean-Repl bugs 2025-07-13 23:16:15 -07:00

Closed #241 Sorry capture with instances doesn't work 2025-07-13 23:03:14 -07:00

Closed #239 Pending mvars cause generation of closures 2025-07-13 23:02:21 -07:00

1 Issue created by 1 user

Opened #243 Potential memory leak in CompactedRegion 2025-07-13 22:59:47 -07:00

3 Unresolved Conversations

Open #234 feat(frontend): Refactor function 2025-07-18 15:12:42 -07:00

Open #170 🖇️ Recursive Functions and Termination Proofs 2025-07-16 17:47:53 -07:00

Open #210 Test long-running behaviour of the REPL executable 2025-07-16 10:41:16 -07:00