2025-02-03 - 2026-02-03
Overview
Excluding merges,
1 author
has pushed
8 commits
to main and
12 commits
to all branches.
On main,
4 files
have changed
and there have been
2844 additions
and
1782 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