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 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 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 deleted branch goal/tactic-draft from aniva/Pantograph 2025-01-13 10:22:38 -08:00
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
aniva merged pull request aniva/Pantograph#155 2025-01-10 17:08:19 -08:00
chore: Update version
aniva created pull request aniva/Pantograph#155 2025-01-10 12:55:54 -08:00
chore: Update version
aniva pushed to chore/version at aniva/Pantograph 2025-01-10 12:55:34 -08:00
ef4e5ecbf8 chore: Update version
aniva created branch chore/version in aniva/Pantograph 2025-01-10 12:55:34 -08:00
aniva closed issue aniva/Pantograph#150 2025-01-10 12:49:46 -08:00
Allow LSP-like behaviour of finding definition location via symbol
aniva pushed to dev at aniva/Pantograph 2025-01-10 12:49:17 -08:00
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
524314721b feat: Gate type error collection behind flag
5a05e9e8d4 test: Add binder capturing test
48b924fae2 fix(frontend): Incorrect capture of binder term
Compare 5 commits »
aniva deleted branch bug/incorrect-binder-capture from aniva/Pantograph 2025-01-10 12:49:17 -08:00