2025-03-12T23:17:09Z - 2025-06-12T23:17:09Z

Period: 3 months

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

Overview

21 Active Pull Requests

17 Active Issues

19
Merged Pull Requests 2
Proposed Pull Requests 8
Closed Issues 9
New Issues

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

2 Releases published by 1 user

Published v0.3.1 2025-05-02 08:23:02 -07:00

Published v0.3.0 2025-04-14 15:31:28 -07:00

19 Pull requests merged by 1 user

Merged #195 chore: Update version 2025-05-01 10:41:48 -07:00

Merged #200 doc: Add design limitations about memory 2025-05-01 10:40:53 -07:00

Merged #201 feat(goal): Detect unsafe and sorry 2025-05-01 10:38:00 -07:00

Merged #199 fix: Shield tactics from the environment generated by frontend.process 2025-05-01 09:26:53 -07:00

Merged #187 fix(repl): Elaborate with errToSorry as false by default 2025-05-01 09:00:04 -07:00

Merged #193 fix(goal): Prevent duplication in idempotent tactics 2025-05-01 08:59:37 -07:00

Merged #194 feat(repl): Flush stdout 2025-04-20 09:29:03 -07:00

Merged #189 doc: Update rationale 2025-04-18 01:08:25 -07:00

Merged #136 chore: Version 0.3 2025-04-09 00:23:19 -07:00

Merged #185 chore: Update Lean to v4.18.0 2025-04-08 10:59:54 -07:00

Merged #183 fix: universe commands in environment capture 2025-04-07 20:18:50 -07:00

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

2 Pull requests proposed by 1 user

Proposed #202 chore: Code cleanup 2025-05-02 08:26:40 -07:00

Proposed #205 chore: Update Lean to v4.19.0 2025-05-07 06:54:21 -07:00

8 Issues closed from 1 user

Closed #151 Add unsafe detection in goal.print 2025-05-01 10:41:34 -07:00

Closed #198 Add documentation about what we cannot implement 2025-05-01 10:41:11 -07:00

Closed #192 Goal duplication 2025-05-01 08:59:37 -07:00

Closed #184 Remove CoreM library functions 2025-04-09 00:22:40 -07:00

Closed #186 Draft tactic hangs for some particular cases of have 2025-04-09 00:21:52 -07:00

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

9 Issues created by 1 user

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

Opened #188 Unshielded Tactic 2025-04-12 00:16:37 -07:00

Opened #190 Use non-computable section by default 2025-04-14 16:01:57 -07:00

Opened #191 Code generation of recursors 2025-04-14 16:23:38 -07:00

Opened #196 Documentation about safety 2025-04-23 05:50:17 -07:00

Opened #197 Condition Unification 2025-04-24 08:45:23 -07:00

Opened #203 Pickle proof object 2025-05-05 08:05:15 -07:00

Opened #204 Pipe data extraction functions to file 2025-05-06 09:19:14 -07:00

Opened #206 Execute tactic syntax 2025-06-09 10:12:14 -07:00

6 Unresolved Conversations

Open #137 Pickle environment extensions 2025-05-17 11:22:17 -07:00

Open #170 Recursive Functions and Termination Proofs 2025-05-06 07:47:48 -07:00

Open #78 Add option for Meta.ppGoal 2025-05-05 09:08:26 -07:00

Open #132 Branch unification 2025-04-14 15:41:17 -07:00

Open #98 Use MLList from Batteries 2025-04-09 09:10:05 -07:00

Open #104 goal.delete exceeds max recursion depth 2025-04-09 09:09:59 -07:00