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 pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-06 00:08:52 -08:00
929311a042 fix: Only signal failure when there is error
aniva commented on pull request aniva/Pantograph#134 2024-12-06 00:01:07 -08:00
chore: Update Lean to v4.15.0

nix flake check passed on x86_64-linux

aniva commented on pull request aniva/Pantograph#135 2024-12-06 00:00:03 -08:00
fix: Capture nested tactic failure

Should be good to go. Pending feedback from original author.

aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:16:29 -08:00
0415baaaff chore: Cleanup old `TestM`
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:12:16 -08:00
34a4bf5b73 feat: Export GoalState.tryTactic
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:11:51 -08:00
a62ac51c37 chore: Remove all redundant filenames
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 22:08:01 -08:00
7aafd6956f fix: Capture composite tactic failure
aniva created pull request aniva/Pantograph#135 2024-12-05 21:42:42 -08:00
fix: Capture nested tactic failure
aniva pushed to bug/nested-tactic-failure at aniva/Pantograph 2024-12-05 21:36:03 -08:00
2e2658bde7 test: Add test case for composite tactic
aniva created branch bug/nested-tactic-failure in aniva/Pantograph 2024-12-05 21:36:03 -08:00
aniva commented on pull request aniva/Pantograph#134 2024-12-05 19:29:44 -08:00
chore: Update Lean to v4.15.0

nix flake check passed on aarch64_darwin

aniva created pull request aniva/Pantograph#134 2024-12-05 19:00:10 -08:00
chore: Update Lean to v4.14.0
aniva pushed to misc/version at aniva/Pantograph 2024-12-05 18:59:30 -08:00
fb3d36584f chore: Add formatter, update lean4-nix
aniva created branch misc/version in aniva/Pantograph 2024-12-05 18:55:45 -08:00
aniva pushed to misc/version at aniva/Pantograph 2024-12-05 18:55:45 -08:00
13dd11e995 chore: Update Lean to v4.14
aniva pushed to dev at aniva/Pantograph 2024-12-05 17:24:21 -08:00
adb44c4fdb Merge pull request 'doc: Design Rationale Document' (#123) from doc/rationale into dev
4bd50c17ac Merge branch 'dev' into doc/rationale
a51bf6f807 Merge branch 'dev' into doc/rationale
5d676154f1 doc: Fix documentation link
ce3af887be doc: Rationale document
Compare 6 commits »
aniva deleted branch doc/rationale from aniva/Pantograph 2024-12-05 17:24:21 -08:00
aniva merged pull request aniva/Pantograph#123 2024-12-05 17:24:20 -08:00
doc: Design Rationale Document
aniva pushed to doc/rationale at aniva/Pantograph 2024-12-05 17:24:00 -08:00
4bd50c17ac Merge branch 'dev' into doc/rationale
f59df97c84 Merge pull request 'doc: Documentation cleanup and update' (#133) from chore/cleanup into dev
95408d1d52 doc: Unify types
d00e376943 doc: Remove outdated documentation
ebf9ab24f7 Merge pull request 'feat: Pickling goal states' (#129) from serial/pickle into dev
Compare 14 commits »
aniva pushed to dev at aniva/Pantograph 2024-12-05 17:23:27 -08:00
f59df97c84 Merge pull request 'doc: Documentation cleanup and update' (#133) from chore/cleanup into dev
95408d1d52 doc: Unify types
d00e376943 doc: Remove outdated documentation
Compare 3 commits »