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 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
aniva deleted branch frontend/env-init from aniva/Pantograph 2025-03-28 18:56:24 -07:00
aniva pushed to dev at aniva/Pantograph 2025-03-28 18:56:24 -07:00
48485a868b Merge pull request 'feat: Update `CoreM` options from parsed header' (#177) from frontend/env-init into dev
9980fd9c39 test(repl): Environment loading from header
8adab24157 fix: Call sites in `Main.lean`
c2b7501649 refactor: Remove `CoreM` from `MainM`
0fea0b50c9 Merge branch 'dev' into frontend/env-init
Compare 6 commits »
aniva merged pull request aniva/Pantograph#177 2025-03-28 18:56:22 -07:00
feat: Update `CoreM` options from parsed header
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-28 18:46:24 -07:00
9980fd9c39 test(repl): Environment loading from header
aniva commented on pull request aniva/Pantograph#177 2025-03-28 13:01:14 -07:00
feat: Update CoreM options from parsed header

Need to write some tests to prevent regression, and this will be good to go.

aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-28 00:56:27 -07:00
8adab24157 fix: Call sites in `Main.lean`
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-28 00:51:00 -07:00
c2b7501649 refactor: Remove `CoreM` from `MainM`
aniva pushed to frontend/env-init at aniva/Pantograph 2025-03-25 12:27:48 -07:00
0fea0b50c9 Merge branch 'dev' into frontend/env-init
fb91b521fb Merge pull request 'chore: Update Lean to v4.17.0, version to v0.3' (#178) from chore/version into dev
ebf514b92b chore: Update nix flake
d305918bb9 chore: Update Lean to v4.17.0
Compare 4 commits »
aniva commented on issue aniva/Pantograph#175 2025-03-24 18:21:48 -07:00
Add tracing tags in delation

Done #176

aniva closed issue aniva/Pantograph#175 2025-03-24 18:21:48 -07:00
Add tracing tags in delation
aniva pushed to dev at aniva/Pantograph 2025-03-24 18:05:27 -07:00
fb91b521fb Merge pull request 'chore: Update Lean to v4.17.0, version to v0.3' (#178) from chore/version into dev
ebf514b92b chore: Update nix flake
d305918bb9 chore: Update Lean to v4.17.0
Compare 3 commits »
aniva deleted branch chore/version from aniva/Pantograph 2025-03-24 18:05:27 -07:00