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 dev at aniva/Pantograph 2025-01-10 17:08:19 -08:00
ef4e5ecbf8 chore: Update version
aniva merged pull request aniva/Pantograph#155 2025-01-10 17:08:19 -08:00
chore: Update version
aniva deleted branch chore/version from aniva/Pantograph 2025-01-10 17:08:19 -08:00
aniva created pull request aniva/Pantograph#155 2025-01-10 12:55:54 -08:00
chore: Update version
aniva created branch chore/version in aniva/Pantograph 2025-01-10 12:55:34 -08:00
aniva pushed to chore/version at aniva/Pantograph 2025-01-10 12:55:34 -08:00
ef4e5ecbf8 chore: Update version
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 deleted branch bug/incorrect-binder-capture from aniva/Pantograph 2025-01-10 12:49:17 -08:00
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 merged pull request aniva/Pantograph#152 2025-01-10 12:49:15 -08:00
fix: Incorrect binder capture
aniva pushed to bug/incorrect-binder-capture at aniva/Pantograph 2025-01-10 12:49:04 -08:00
9eec14503a Merge branch 'dev' into bug/incorrect-binder-capture
814f36eb63 Merge pull request 'feat: Add source location extraction' (#154) from env/inspect into dev
4a4b02d7b0 test: Source location extraction
97eaadc93c feat: Add source location extraction
07e737eb81 Merge pull request 'feat: Simplify sexp printing' (#149) from delate/sexp into dev
Compare 10 commits »
aniva pushed to dev at aniva/Pantograph 2025-01-10 12:47:38 -08:00
814f36eb63 Merge pull request 'feat: Add source location extraction' (#154) from env/inspect into dev
4a4b02d7b0 test: Source location extraction
97eaadc93c feat: Add source location extraction
Compare 3 commits »
aniva merged pull request aniva/Pantograph#154 2025-01-10 12:47:36 -08:00
feat: Add source location extraction
aniva pushed to env/inspect at aniva/Pantograph 2025-01-10 12:47:27 -08:00
4a4b02d7b0 test: Source location extraction
aniva created pull request aniva/Pantograph#154 2025-01-10 12:17:41 -08:00
feat: Add source location extraction
aniva pushed to env/inspect at aniva/Pantograph 2025-01-10 12:16:53 -08:00
97eaadc93c feat: Add source location extraction
aniva created branch env/inspect in aniva/Pantograph 2025-01-10 12:16:53 -08:00
aniva commented on issue aniva/Pantograph#150 2025-01-10 09:40:03 -08:00
Allow LSP-like behaviour of finding definition location via symbol

Key function references:

def locationLinksOfInfo (kind : GoToKind) (ictx : InfoWithCtx)
    (infoTree? : Option InfoTree := none) : RequestM (Array LocationLink) := do
aniva deleted branch chore/version from aniva/Pantograph 2025-01-10 09:29:02 -08:00
aniva pushed to goal/tactic-draft at aniva/Pantograph 2025-01-08 22:53:18 -08:00
aa066b8634 fix: Add test