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 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 pushed to goal/tactic-draft at aniva/Pantograph 2025-01-08 19:56:38 -08:00
5ce6123de7 feat: Draft tactic
aniva created branch goal/tactic-draft in aniva/Pantograph 2025-01-08 19:56:38 -08:00
aniva pushed to misc/version at aniva/Pantograph 2025-01-07 17:52:36 -08:00
f891960362 fix: Volatile test
aniva pushed to misc/version at aniva/Pantograph 2025-01-07 17:51:53 -08:00
6302b747b8 feat: Improve error message clarity
aniva deleted branch delate/sexp from aniva/Pantograph 2025-01-07 17:31:32 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-07 17:31:31 -08:00
07e737eb81 Merge pull request 'feat: Simplify sexp printing' (#149) from delate/sexp into dev
53bad1c4c9 refactor: Remove obsolete sanitize option
7a3b89cc0e feat: Simplify sexp binder
c0090dec97 fix: Quote string literal in sexp
Compare 4 commits »