2025-06-19 - 2025-12-19
Overview
Excluding merges,
1 author
has pushed
3 commits
to main and
7 commits
to all branches.
On main,
4 files
have changed
and there have been
2774 additions
and
1774 deletions.
4 pull requests merged by 1 user
Merged
#4 add seeding for rng
Merged
#3 fix error handler
Merged
#2 clippy lints
Merged
#1 Better color choices
1 pull request proposed by 1 user
Proposed
#5 WIP: Change A* heuristic to be a proper estimate