Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
13
 Projects Packages Public Activity Starred Repositories
9
aniva closed issue aniva/Pantograph#132 2025-06-27 16:02:48 -07:00
Branch unification
aniva commented on issue aniva/Pantograph#132 2025-06-27 16:02:44 -07:00
Branch unification

Solved in #221

aniva deleted branch serial/delta from aniva/Pantograph 2025-06-27 16:02:24 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-27 16:02:24 -07:00
2a87ed2e46 Merge pull request 'feat(serial): Pickle environment delta's' (#221) from serial/delta into dev
f4b6996f9e test: Ignore branch unification test
349cff6f05 test(goal): Collision of aux lemma names
f914e161e8 fix(goal): Reset messages in replay
4df8fcda97 Merge branch 'dev' into serial/delta
Compare 6 commits »
aniva merged pull request aniva/Pantograph#221 2025-06-27 16:02:22 -07:00
feat(serial): Pickle environment delta's
aniva pushed to serial/delta at aniva/Pantograph 2025-06-27 16:01:49 -07:00
f4b6996f9e test: Ignore branch unification test
aniva commented on pull request aniva/Pantograph#221 2025-06-27 15:49:16 -07:00
feat(serial): Pickle environment delta's

Without the DeclNameGenerator mechanism to be introduced in 4.21.0, we are looking at something like

def merge (dst src src' : Environment) : Environment × Std.HashMap Name Name…
aniva merged pull request aniva/OpenMusicScores#12 2025-06-26 21:15:27 -07:00
Some more touhou scores
aniva pushed to main at aniva/OpenMusicScores 2025-06-26 21:15:27 -07:00
85c0e079a6 Merge pull request 'Some more touhou scores' (#12) from touhou into main
5624818b66 Add more finger positions
f64747df91 Add finger positions and rings
f9d1a5522e Finger positions for section 5
3f12fa15f5 Move incorrect section label
Compare 18 commits »
aniva commented on pull request aniva/Pantograph#221 2025-06-26 21:13:33 -07:00
feat(serial): Pickle environment delta's

There is one test case failing corresponding to adding auxiliary lemmata on both branches.

aniva pushed to serial/delta at aniva/Pantograph 2025-06-26 16:42:11 -07:00
349cff6f05 test(goal): Collision of aux lemma names
aniva pushed to serial/delta at aniva/Pantograph 2025-06-26 16:23:33 -07:00
f914e161e8 fix(goal): Reset messages in replay
aniva closed issue aniva/Pantograph#188 2025-06-26 15:58:34 -07:00
Unshielded Tactic Execution
aniva commented on issue aniva/Pantograph#188 2025-06-26 15:58:34 -07:00
Unshielded Tactic Execution

Solved #219

aniva commented on pull request aniva/Pantograph#221 2025-06-26 15:58:04 -07:00
feat(serial): Pickle environment delta's

We can store a pristine version of the environment in the main monad, and calculate deltas w.r.t. this environment.

aniva pushed to serial/delta at aniva/Pantograph 2025-06-26 15:52:49 -07:00
4df8fcda97 Merge branch 'dev' into serial/delta
7c300e081d Merge pull request 'feat(goal): Add unshielded tactic execution mode' (#219) from goal/automatic-mode into dev
9a9659fdb2 feat(delate): Show fragments for each goal
1de8df73f8 refactor(goal): Delete unused functions
4d9e229707 refactor(repl): Tactic into goal section
Compare 14 commits »
aniva deleted branch goal/automatic-mode from aniva/Pantograph 2025-06-26 15:52:18 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-26 15:52:18 -07:00
7c300e081d Merge pull request 'feat(goal): Add unshielded tactic execution mode' (#219) from goal/automatic-mode into dev
9a9659fdb2 feat(delate): Show fragments for each goal
1de8df73f8 refactor(goal): Delete unused functions
4d9e229707 refactor(repl): Tactic into goal section
7fba24d57a fix(tactic): Filter out sibling fragments
Compare 13 commits »
aniva merged pull request aniva/Pantograph#219 2025-06-26 15:52:17 -07:00
feat(goal): Add unshielded tactic execution mode
aniva pushed to serial/delta at aniva/Pantograph 2025-06-26 15:52:00 -07:00
52f71f035e feat(serial): Background environment in pickling