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 created pull request aniva/Pantograph#182 2025-03-29 15:23:38 -07:00

test: Update LSpec

aniva created branch test/build in aniva/Pantograph 2025-03-29 15:22:41 -07:00

aniva pushed to test/build at aniva/Pantograph 2025-03-29 15:22:41 -07:00

2885671490 test: Update LSpec

aniva created pull request aniva/Pantograph#181 2025-03-29 14:52:32 -07:00

fix: env.add Declarations with universe levels

aniva created branch bug/env-add-level in aniva/Pantograph 2025-03-29 14:52:03 -07:00

aniva pushed to bug/env-add-level at aniva/Pantograph 2025-03-29 14:52:03 -07:00

b9ff9e8f13 feat(repl): Optional type argument in `env.add`

9ea099827f fix(env): Adding declarations with universe levels

Compare 2 commits »

aniva opened issue aniva/Pantograph#180 2025-03-29 12:42:09 -07:00

Implement MonadBacktrack for MainM and backtrack goal states as well

aniva closed issue aniva/Pantograph#102 2025-03-28 21:32:05 -07:00

Timeout for tactics

aniva commented on issue aniva/Pantograph#102 2025-03-28 21:32:05 -07:00

Timeout for tactics

Done #179

aniva deleted branch repl/timeout from aniva/Pantograph 2025-03-28 21:32:01 -07:00

aniva pushed to dev at aniva/Pantograph 2025-03-28 21:32:01 -07:00

3c07188cdf Merge pull request 'feat: Tactic with timeout' (#179) from repl/timeout into dev

0528a1592e fix: Print internal exceptions nicely

4610348fed feat: `CoreM` timeout

be505b8050 feat: Run cancel token with timeout

Compare 4 commits »

aniva merged pull request aniva/Pantograph#179 2025-03-28 21:31:59 -07:00

feat: Tactic with timeout

aniva pushed to repl/timeout at aniva/Pantograph 2025-03-28 21:31:47 -07:00

0528a1592e fix: Print internal exceptions nicely

aniva pushed to repl/timeout at aniva/Pantograph 2025-03-28 20:42:29 -07:00

4610348fed feat: `CoreM` timeout

aniva commented on pull request aniva/Pantograph#179 2025-03-28 19:26:51 -07:00

feat: Tactic with timeout

Need to ensure timeout doesn't crash the REPL.

aniva closed issue aniva/Pantograph#167 2025-03-28 19:08:09 -07:00

Allow alternative environment initiation

aniva commented on issue aniva/Pantograph#167 2025-03-28 19:08:08 -07:00

Allow alternative environment initiation

Done #177

aniva created pull request aniva/Pantograph#179 2025-03-28 19:07:46 -07:00

feat: Tactic with timeout

aniva pushed to repl/timeout at aniva/Pantograph 2025-03-28 19:07:09 -07:00

be505b8050 feat: Run cancel token with timeout

aniva created branch repl/timeout in aniva/Pantograph 2025-03-28 19:07:09 -07:00