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
14
 Projects Packages Public Activity Starred Repositories
10
aniva merged pull request aniva/Pantograph#156 2025-01-13 12:29:12 -08:00
chore: Update version to 0.2.25
aniva deleted branch misc/version from aniva/Pantograph 2025-01-13 12:28:52 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-13 12:28:52 -08:00
b8b46c4a9c Merge pull request 'chore: Update Lean to v4.15.0' (#134) from misc/version into dev
60e78b322e fix: Test failures
06fdf7e678 chore: Update Lean to v4.15.0
5e61282660 test: Source location extraction
9d2a999a4f merge: branch 'dev' into misc/version
Compare 10 commits »
aniva merged pull request aniva/Pantograph#134 2025-01-13 12:28:50 -08:00
chore: Update Lean to v4.15.0
aniva pushed to misc/version at aniva/Pantograph 2025-01-13 12:28:34 -08:00
60e78b322e fix: Test failures
aniva closed issue aniva/Pantograph#127 2025-01-13 11:33:21 -08:00
Drafting tactic in goals
aniva commented on issue aniva/Pantograph#127 2025-01-13 11:33:21 -08:00
Drafting tactic in goals

Done #153

aniva pushed to misc/version at aniva/Pantograph 2025-01-13 11:10:11 -08:00
06fdf7e678 chore: Update Lean to v4.15.0
aniva pushed to misc/version at aniva/Pantograph 2025-01-13 10:30:37 -08:00
5e61282660 test: Source location extraction
9d2a999a4f merge: branch 'dev' into misc/version
db24650aec Merge pull request 'feat: Draft tactic' (#153) from goal/tactic-draft into dev
6a9ba4bb15 Merge branch 'dev' into goal/tactic-draft
ebde7c9eed feat: Prohibit coupling in drafting
Compare 24 commits »
aniva created pull request aniva/Pantograph#156 2025-01-13 10:27:15 -08:00
chore: Update version to 0.2.25
aniva created branch chore/version in aniva/Pantograph 2025-01-13 10:23:05 -08:00
aniva pushed to chore/version at aniva/Pantograph 2025-01-13 10:23:05 -08:00
a3b99279e0 chore: Update version to 0.2.25
aniva deleted branch goal/tactic-draft from aniva/Pantograph 2025-01-13 10:22:38 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-13 10:22:38 -08:00
db24650aec Merge pull request 'feat: Draft tactic' (#153) from goal/tactic-draft into dev
6a9ba4bb15 Merge branch 'dev' into goal/tactic-draft
ebde7c9eed feat: Prohibit coupling in drafting
aa066b8634 fix: Add test
072d351f04 fix: Delete extraneous test
Compare 7 commits »
aniva merged pull request aniva/Pantograph#153 2025-01-13 10:22:36 -08:00
feat: Draft tactic
aniva pushed to goal/tactic-draft at aniva/Pantograph 2025-01-13 10:22:25 -08:00
6a9ba4bb15 Merge branch 'dev' into goal/tactic-draft
ef4e5ecbf8 chore: Update version
a374af3a5f Merge pull request 'fix: Incorrect binder capture' (#152) from bug/incorrect-binder-capture into dev
9eec14503a Merge branch 'dev' into bug/incorrect-binder-capture
814f36eb63 Merge pull request 'feat: Add source location extraction' (#154) from env/inspect into dev
Compare 16 commits »
aniva pushed to goal/tactic-draft at aniva/Pantograph 2025-01-13 10:20:52 -08:00
ebde7c9eed feat: Prohibit coupling in drafting
aniva pushed tag v0.2.24 to aniva/Pantograph 2025-01-10 17:10:56 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-10 17:08:19 -08:00
ef4e5ecbf8 chore: Update version
aniva deleted branch chore/version from aniva/Pantograph 2025-01-10 17:08:19 -08:00