2025-01-03T21:46:01Z - 2025-04-03T20:46:01Z

Period: 3 months

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

Overview

27 Active Pull Requests

13 Active Issues

26
Merged Pull Requests 1
Proposed Pull Request 11
Closed Issues 2
New Issues

Excluding merges, 1 author has pushed 3 commits to dev and 74 commits to all branches. On dev, 3 files have changed and there have been 24 additions and 3 deletions.

2 Releases published by 1 user

Published v0.2.25 2025-01-28 17:43:32 -08:00

Published v0.2.24 2025-01-10 17:10:27 -08:00

26 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

Merged #168 chore: Version bump 2025-02-25 15:16:44 -08:00

Merged #166 fix: Use in-context environment in sorry collection 2025-01-28 17:42:55 -08:00

Merged #165 doc: Manual about env.{describe,module_read} 2025-01-26 22:04:29 -08:00

Merged #164 chore: Code cleanup 2025-01-26 22:04:13 -08:00

Merged #161 fix: Panic in exprProjToApp 2025-01-24 15:05:05 -08:00

Merged #159 feat: Module reading functions 2025-01-24 15:01:17 -08:00

Merged #157 feat: Pickle constants in goal state 2025-01-24 14:52:53 -08:00

Merged #158 feat: Draft tactic REPL interface 2025-01-16 10:32:48 -08:00

Merged #156 chore: Update version to 0.2.25 2025-01-13 12:29:12 -08:00

Merged #134 chore: Update Lean to v4.15.0 2025-01-13 12:28:50 -08:00

Merged #153 feat: Draft tactic 2025-01-13 10:22:36 -08:00

Merged #155 chore: Update version 2025-01-10 17:08:19 -08:00

Merged #152 fix: Incorrect binder capture 2025-01-10 12:49:15 -08:00

Merged #154 feat: Add source location extraction 2025-01-10 12:47:36 -08:00

Merged #149 feat: Simplify sexp printing 2025-01-07 17:31:30 -08:00

Merged #148 fix: Unnecessary instantiation call 2025-01-07 17:31:09 -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

11 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

Closed #162 Take generated constants into account 2025-01-31 13:16:42 -08:00

Closed #163 Clean up code 2025-01-26 22:04:51 -08:00

Closed #142 Pickle new constants generated in proof state 2025-01-24 15:05:54 -08:00

Closed #160 Projection conversion function panics 2025-01-24 15:05:34 -08:00

Closed #127 Drafting tactic in goals 2025-01-13 11:33:21 -08:00

Closed #150 Allow LSP-like behaviour of finding definition location via symbol 2025-01-10 12:49:46 -08:00

2 Issues created by 1 user

Opened #170 Allow generation of recursive functions 2025-02-25 17:07:56 -08:00

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

4 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