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 branch repl/io-exception in aniva/Pantograph 2024-10-08 00:17:51 -07:00
aniva pushed to repl/io-exception at aniva/Pantograph 2024-10-08 00:17:51 -07:00
5e776a1b49 feat: Catch and print IO errors
aniva pushed to misc/version at aniva/Pantograph 2024-10-08 00:15:50 -07:00
2e1276c21c chore: Update LSpec dependency
aniva commented on pull request aniva/Pantograph#108 2024-10-07 09:54:46 -07:00
chore: Update Lean to v4.12.0

LSpec merged to mainline: 504a8cecf8

aniva commented on pull request aniva/Pantograph#108 2024-10-06 16:48:03 -07:00
chore: Update Lean to v4.12.0

Lean 4's Nix build system is deprecated: zulip,…

aniva pushed to misc/version at aniva/Pantograph 2024-10-06 16:46:53 -07:00
c3494edc75 fix: Flake build
aniva pushed to misc/version at aniva/Pantograph 2024-10-06 16:12:41 -07:00
25dd1a32ba Merge branch 'dev' into misc/version
9119f47a8f chore: Remove more thin wrappers
8d774d3281 feat: Remove most filters on catalog
Compare 3 commits »
aniva merged pull request aniva/Pantograph#105 2024-10-06 16:12:23 -07:00
feat: Remove most filters on catalog
aniva pushed to dev at aniva/Pantograph 2024-10-06 16:12:23 -07:00
9119f47a8f chore: Remove more thin wrappers
8d774d3281 feat: Remove most filters on catalog
Compare 2 commits »
aniva deleted branch env/catalog from aniva/Pantograph 2024-10-06 16:12:23 -07:00
aniva created pull request aniva/Pantograph#108 2024-10-06 16:10:51 -07:00
chore: Update Lean to v4.12.0
aniva pushed to misc/version at aniva/Pantograph 2024-10-06 16:10:28 -07:00
c3076cbb7d chore: Update Lean to v4.12.0
aniva pushed to misc/version at aniva/Pantograph 2024-10-06 15:52:46 -07:00
aniva created branch misc/version in aniva/Pantograph 2024-10-06 15:52:46 -07:00
aniva pushed to env/catalog at aniva/Pantograph 2024-10-06 15:31:16 -07:00
95be491bbb Merge branch 'dev' into env/catalog
22ddfaaf21 Merge pull request 'feat: Error reporting in frontend' (#107) from frontend/error into dev
d0321e72dd feat: Add message diagnostics to frontend.process
452c390711 Merge pull request 'feat: Collect holes in Lean file and put them into a `GoalState`' (#99) from frontend/collect-holes into dev
10cb32e03f Merge branch 'dev' into frontend/collect-holes
Compare 18 commits »
aniva closed issue aniva/Pantograph#106 2024-10-05 22:40:54 -07:00
Report error when frontend parsing fails
aniva commented on issue aniva/Pantograph#106 2024-10-05 22:40:53 -07:00
Report error when frontend parsing fails

Done #107

aniva pushed to dev at aniva/Pantograph 2024-10-05 22:39:25 -07:00
22ddfaaf21 Merge pull request 'feat: Error reporting in frontend' (#107) from frontend/error into dev
d0321e72dd feat: Add message diagnostics to frontend.process
Compare 2 commits »
aniva deleted branch frontend/error from aniva/Pantograph 2024-10-05 22:39:25 -07:00
aniva merged pull request aniva/Pantograph#107 2024-10-05 22:39:24 -07:00
feat: Error reporting in frontend