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 closed issue aniva/Pantograph#6 2023-11-07 16:47:48 -08:00

Missing proofs in code

aniva commented on pull request aniva/Pantograph#27 2023-11-07 16:43:45 -08:00

feat: Allow selective continuation of goals

Tested on aniva/Trillium#69 and seems stable. Merge.

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 13:10:28 -08:00

8218d3f004 fix: Do not show parent state in continue

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 13:08:14 -08:00

736e68639f fix: New goal state not inserted correctly

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 12:11:22 -08:00

cfd1cfd107 Merge branch 'dev' into goal/continuation

5ac5198f51 fix: Remove the error prone SemihashMap

Compare 2 commits »

aniva deleted branch misc/bookkeeping from aniva/Pantograph 2023-11-07 12:10:27 -08:00

aniva pushed to dev at aniva/Pantograph 2023-11-07 12:10:27 -08:00

5ac5198f51 fix: Remove the error prone SemihashMap

aniva merged pull request aniva/Pantograph#30 2023-11-07 12:10:25 -08:00

fix: Remove the error prone SemihashMap

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 12:10:16 -08:00

764be6d14b fix: Remove the error prone SemihashMap

aniva created pull request aniva/Pantograph#30 2023-11-07 12:05:02 -08:00

fix: Remove the error prone SemihashMap

aniva pushed to misc/bookkeeping at aniva/Pantograph 2023-11-07 12:04:40 -08:00

5ac5198f51 fix: Remove the error prone SemihashMap

aniva created branch misc/bookkeeping in aniva/Pantograph 2023-11-07 12:04:40 -08:00

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-06 12:20:18 -08:00

7076669c3d chore: Code formatting

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-06 11:51:44 -08:00

245e76b2f1 feat: Print the root mvar name

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-06 11:45:57 -08:00

7c28cf4ed0 Merge branch 'dev' into goal/continuation

c5f563598d chore: Remove unnecessary unsafe's

Compare 2 commits »

aniva pushed to dev at aniva/Pantograph 2023-11-06 11:45:00 -08:00

c5f563598d chore: Remove unnecessary unsafe's

aniva deleted branch misc/cleanup from aniva/Pantograph 2023-11-06 11:45:00 -08:00

aniva merged pull request aniva/Pantograph#29 2023-11-06 11:44:58 -08:00

chore: Remove unnecessary unsafe's

aniva created pull request aniva/Pantograph#29 2023-11-06 11:44:49 -08:00

chore: Remove unnecessary unsafe's

aniva pushed to misc/cleanup at aniva/Pantograph 2023-11-06 11:44:17 -08:00

c5f563598d chore: Remove unnecessary unsafe's