2025-03-27T20:38:29Z - 2025-04-03T20:38:29Z

Period: 1 week

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

Overview

5 Active Pull Requests

3 Active Issues

4
Merged Pull Requests 1
Proposed Pull Request 2
Closed Issues 1
New Issue

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

4 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

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

2 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

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

2 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