2025-03-03T21:42:20Z - 2025-04-03T20:42:20Z

Period: 1 month

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

Overview

11 Active Pull Requests

6 Active Issues

10
Merged Pull Requests 1
Proposed Pull Request 5
Closed Issues 1
New Issue

Excluding merges, 1 author has pushed 1 commit to dev and 33 commits to all branches. On dev, 2 files have changed and there have been 22 additions and 1 deletion.

10 Pull requests merged by 1 user

Merged #181 fix: env.add Declarations with universe levels 2025-03-29 15:48:13 -07:00

Merged #182 test: Update LSpec 2025-03-29 15:44:30 -07:00

Merged #179 feat: Tactic with timeout 2025-03-28 21:31:59 -07:00

Merged #177 feat: Update CoreM options from parsed header 2025-03-28 18:56:22 -07:00

Merged #178 chore: Update Lean to v4.17.0, version to v0.3 2025-03-24 18:05:25 -07:00

Merged #176 feat(delate): Unfold matchers 2025-03-17 18:37:55 -07:00

Merged #173 feat(frontend): Alternative methods of initializing environment 2025-03-14 16:48:40 -07:00

Merged #174 fix(goal): Name generation not available due to context 2025-03-14 16:48:17 -07:00

Merged #172 fix: Manifest key error 2025-03-08 22:53:08 -08:00

Merged #169 chore: Cleanup the library system 2025-03-08 21:19:01 -08:00

1 Pull request proposed by 1 user

Proposed #183 fix: variable and universe commands in environment capture 2025-03-29 22:23:27 -07:00

5 Issues closed from 1 user

Closed #102 Timeout for tactics 2025-03-28 21:32:05 -07:00

Closed #167 Allow alternative environment initiation 2025-03-28 19:08:09 -07:00

Closed #175 Add tracing tags in delation 2025-03-24 18:21:48 -07:00

Closed #147 Move Tactics to a Standalone Library 2025-03-08 21:20:16 -08:00

Closed #171 GoalState.withContext should allow lifting 2025-03-08 21:20:03 -08:00

1 Issue created by 1 user

Opened #180 Implement MonadBacktrack for MainM and backtrack goal states as well 2025-03-29 12:42:09 -07:00

5 Unresolved Conversations

Open #132 Branch unification 2025-03-29 19:07:02 -07:00

Open #136 chore: Version 0.3 2025-03-28 21:32:01 -07:00

Open #137 Pickle environment extensions 2025-03-24 18:22:55 -07:00

Open #117 One stop env.add 2025-03-08 21:20:25 -08:00

Open #170 Allow generation of recursive functions 2025-03-08 20:50:04 -08:00