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
12
 Projects Packages Public Activity Starred Repositories
9
aniva created pull request aniva/Cosplay#8 2024-12-06 12:45:51 -08:00
feat: Add cq-editor as dev dependency
aniva pushed to chore/version at aniva/Cosplay 2024-12-06 12:42:40 -08:00
8e4553311b doc: Instructions for using cq-editor
016b717b41 feat: Add cq-editor in dev dependencies
Compare 2 commits »
aniva created branch chore/version in aniva/Cosplay 2024-12-06 12:27:48 -08:00
aniva pushed to chore/version at aniva/Cosplay 2024-12-06 12:27:48 -08:00
eace8745f3 chore: Update cadquery
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.14.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 created branch bug/nested-tactic-failure in aniva/Pantograph 2024-12-05 21:36:03 -08:00
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 commented on pull request aniva/Pantograph#134 2024-12-05 19:29:44 -08:00
chore: Update Lean to v4.14.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 »