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.22 to aniva/Pantograph 2024-12-11 09:11:41 -08:00

aniva deleted tag v0.2.22 from aniva/Pantograph 2024-12-11 09:11:38 -08:00

aniva deleted branch bug/core-state-error-linger from aniva/Pantograph 2024-12-11 09:09:35 -08:00

aniva pushed to dev at aniva/Pantograph 2024-12-11 09:09:35 -08:00

f14a37897b Merge pull request 'fix: Reset core message log' (#144) from bug/core-state-error-linger into dev

396a787771 feat: Reset message log in MainM

ab77418e24 fix: Drop previous message lists

f2f71a6028 fix: Reset core message log

Compare 4 commits »

aniva merged pull request aniva/Pantograph#144 2024-12-11 09:09:34 -08:00

fix: Reset core message log

aniva created pull request aniva/Pantograph#144 2024-12-11 09:07:26 -08:00

fix: Reset core message log

aniva pushed to bug/core-state-error-linger at aniva/Pantograph 2024-12-11 09:06:52 -08:00

396a787771 feat: Reset message log in MainM

aniva pushed to bug/core-state-error-linger at aniva/Pantograph 2024-12-11 09:05:55 -08:00

ab77418e24 fix: Drop previous message lists

aniva pushed to bug/core-state-error-linger at aniva/Pantograph 2024-12-11 09:02:33 -08:00

f2f71a6028 fix: Reset core message log

aniva created branch bug/core-state-error-linger in aniva/Pantograph 2024-12-11 09:02:33 -08:00

aniva pushed tag v0.2.22 to aniva/Pantograph 2024-12-11 01:28:40 -08:00

aniva deleted branch lib/export from aniva/Pantograph 2024-12-11 01:28:01 -08:00

aniva pushed to lib/export at aniva/Pantograph 2024-12-11 01:27:18 -08:00

aniva created branch lib/export in aniva/Pantograph 2024-12-11 01:27:18 -08:00

aniva commented on issue aniva/Pantograph#126 2024-12-11 01:26:00 -08:00

Extraction of new symbols in each compilation unit

Done #128

aniva closed issue aniva/Pantograph#126 2024-12-11 01:26:00 -08:00

Extraction of new symbols in each compilation unit

aniva commented on issue aniva/Pantograph#125 2024-12-11 01:25:53 -08:00

Wrong code/Compilation Failure Extraction

Done #128

aniva closed issue aniva/Pantograph#125 2024-12-11 01:25:53 -08:00

Wrong code/Compilation Failure Extraction

aniva pushed to dev at aniva/Pantograph 2024-12-11 01:25:37 -08:00

5d76626912 Merge pull request 'feat: Extract type error and new constants' (#128) from frontend/infotree into dev

7cba8efd54 Merge branch 'dev' into frontend/infotree

95503c45e4 doc: frontend.process newConstants

681c3fb78d fix: Disallow indeterminant type `sorry`

37a5884be4 fix: Use `ppSyntax` instead of `ppTactic`

Compare 18 commits »

aniva deleted branch frontend/infotree from aniva/Pantograph 2024-12-11 01:25:37 -08:00