2025-01-22T21:34:55Z - 2025-02-22T21:34:55Z

Period: 1 month

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

Overview

6 Active Pull Requests

5 Active Issues

6
Merged Pull Requests 0
Proposed Pull Requests 4
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.

1 Release published by 1 user

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

6 Pull requests merged by 1 user

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

4 Issues closed from 1 user

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

1 Issue created by 1 user

Opened #167 Allow alternative environment initiation 2025-01-29 17:02:17 -08:00

2 Unresolved Conversations

Open #136 chore: Version 0.3 2025-01-26 22:04:31 -08:00

Open #137 Pickle environment extensions 2025-01-24 15:06:56 -08:00