2025-08-21 - 2025-09-21
Overview
Excluding merges,
1 author
has pushed
1 commit
to main and
1 commit
to all branches.
On main,
6 files
have changed
and there have been
152 additions
and
19 deletions.
1 pull request merged by 1 user
Merged
#114 Rewind through the descent history
1 pull request proposed by 1 user
Proposed
#118 feat: Point coordinate regulators
3 issues created by 2 users
Opened
#115 Give feedback for blocked manipulation
Opened
#116 Awkward factorization of realization results
Opened
#117 Nudging keys confusing
1 unresolved conversation
Open
#100
Nudging after a first realization fails can cause a panic