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 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 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
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 created branch env/inspect in aniva/Pantograph 2025-01-10 12:16:53 -08:00
aniva pushed to env/inspect at aniva/Pantograph 2025-01-10 12:16:53 -08:00
97eaadc93c feat: Add source location extraction
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
aniva pushed to goal/tactic-draft at aniva/Pantograph 2025-01-08 22:47:39 -08:00
072d351f04 fix: Delete extraneous test
aniva pushed to goal/tactic-draft at aniva/Pantograph 2025-01-08 22:23:53 -08:00
cb46b47a60 test: Draft tactic test
aniva created pull request aniva/Pantograph#153 2025-01-08 19:57:03 -08:00
feat: Draft tactic
aniva created branch goal/tactic-draft in aniva/Pantograph 2025-01-08 19:56:38 -08:00
aniva pushed to goal/tactic-draft at aniva/Pantograph 2025-01-08 19:56:38 -08:00
5ce6123de7 feat: Draft tactic