2025-01-15T13:53:17Z - 2025-01-22T13:53:17Z

Period: 1 week

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

Overview

3 Active Pull Requests

2 Active Issues

1
Merged Pull Request 2
Proposed Pull Requests 0
Closed Issues 2
New Issues

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

1 Pull request merged by 1 user

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

2 Pull requests proposed by 1 user

Proposed #159 feat: Module reading functions 2025-01-15 21:03:50 -08:00

Proposed #161 fix: Panic in exprProjToApp 2025-01-16 10:33:45 -08:00

2 Issues created by 1 user

Opened #160 Projection conversion function panics 2025-01-16 08:41:08 -08:00

Opened #162 Take generated constants into account 2025-01-18 12:16:49 -08:00

1 Unresolved Conversation

Open #136 chore: Version 0.3 2025-01-16 10:32:50 -08:00