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 tag v0.2.19 to aniva/Pantograph 2024-10-13 12:21:45 -07:00

aniva deleted branch frontend/environment from aniva/Pantograph 2024-10-12 16:59:43 -07:00

aniva pushed to dev at aniva/Pantograph 2024-10-12 16:59:43 -07:00

a11127a64e Merge pull request 'feat: Capture environment in drafting' (#113) from frontend/environment into dev

72e41e1e1e Merge branch 'dev' into frontend/environment

946e688dec test(frontend): Environment capture

5a2ae880f4 feat: Capture environment in drafting

Compare 4 commits »

aniva merged pull request aniva/Pantograph#113 2024-10-12 16:59:41 -07:00

feat: Capture environment in drafting

aniva closed issue aniva/Pantograph#112 2024-10-12 16:59:33 -07:00

feat: Enable environment capture during frontend.process

aniva commented on issue aniva/Pantograph#112 2024-10-12 16:59:33 -07:00

feat: Enable environment capture during frontend.process

Done #113

aniva pushed to frontend/environment at aniva/Pantograph 2024-10-12 16:58:06 -07:00

72e41e1e1e Merge branch 'dev' into frontend/environment

5b278d68d4 Merge pull request 'feat: Let tactic in REPL' (#111) from repl/tactic-let into dev

645d9c9250 feat: Let tactic in REPL

Compare 3 commits »

aniva commented on pull request aniva/Pantograph#113 2024-10-12 16:55:45 -07:00

feat: Capture environment in drafting

In the future we could change sorrysToGoalState to take a Environment argument, but this looks fine.

aniva deleted branch repl/tactic-let from aniva/Pantograph 2024-10-12 16:54:15 -07:00

aniva pushed to dev at aniva/Pantograph 2024-10-12 16:54:15 -07:00

5b278d68d4 Merge pull request 'feat: Let tactic in REPL' (#111) from repl/tactic-let into dev

645d9c9250 feat: Let tactic in REPL

Compare 2 commits »

aniva merged pull request aniva/Pantograph#111 2024-10-12 16:54:13 -07:00

feat: Let tactic in REPL

aniva commented on pull request aniva/Pantograph#111 2024-10-12 16:54:06 -07:00

feat: Let tactic in REPL

Testing seems fine. Approved.

aniva created pull request aniva/Pantograph#113 2024-10-12 16:53:35 -07:00

feat: Capture environment in drafting

aniva pushed to frontend/environment at aniva/Pantograph 2024-10-12 16:52:42 -07:00

946e688dec test(frontend): Environment capture

aniva pushed to frontend/environment at aniva/Pantograph 2024-10-12 16:50:30 -07:00

5a2ae880f4 feat: Capture environment in drafting

aniva created branch frontend/environment in aniva/Pantograph 2024-10-12 16:50:30 -07:00

aniva opened issue aniva/Pantograph#112 2024-10-12 16:38:31 -07:00

feat: Enable environment capture during frontend.process

aniva created pull request aniva/Pantograph#111 2024-10-12 16:18:04 -07:00

feat: Let tactic in REPL

aniva created branch repl/tactic-let in aniva/Pantograph 2024-10-12 16:17:33 -07:00

aniva pushed to repl/tactic-let at aniva/Pantograph 2024-10-12 16:17:33 -07:00

645d9c9250 feat: Let tactic in REPL