Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Group
  • https://leni.sh

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
aniva created branch io/serial in aniva/Pantograph 2024-03-29 23:46:33 -07:00
aniva pushed tag v0.2.14 to aniva/Pantograph 2024-03-28 22:40:03 -07:00
aniva pushed to dev at aniva/Pantograph 2024-03-28 22:36:26 -07:00
aeed233846 Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev
3e1a14222c Merge branch 'dev' into misc/toolchain
bdb060b79f build: Dev shell
c5404b8210 build: Ignore test files when building target
1d1a151a4b doc: Main README.md
Compare 5 commits »
aniva merged pull request aniva/Pantograph#51 2024-03-28 22:36:26 -07:00
chore: Version bump and toolchain cleanup
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 22:35:55 -07:00
3e1a14222c Merge branch 'dev' into misc/toolchain
0ade3d1637 Merge pull request 'feat: Remove display of implementation details' (#50) from io/serial into dev
d853cb8cc2 chore: Version bump
78a3b240ba test: Catalog has no numeric symbols
35c4ea693d feat: Stop cataloging internal/detail dependencies
Compare 7 commits »
aniva pushed to dev at aniva/Pantograph 2024-03-28 22:35:40 -07:00
0ade3d1637 Merge pull request 'feat: Remove display of implementation details' (#50) from io/serial into dev
d853cb8cc2 chore: Version bump
78a3b240ba test: Catalog has no numeric symbols
35c4ea693d feat: Stop cataloging internal/detail dependencies
d9af064888 test: Elimination of aux lemmas
Compare 6 commits »
aniva deleted branch io/serial from aniva/Pantograph 2024-03-28 22:35:40 -07:00
aniva merged pull request aniva/Pantograph#50 2024-03-28 22:35:38 -07:00
feat: Remove display of implementation details
aniva commented on pull request aniva/Pantograph#50 2024-03-28 22:35:26 -07:00
feat: Remove display of implementation details

Trillium testing was ok. Approved

aniva created pull request aniva/Pantograph#51 2024-03-28 22:35:05 -07:00
chore: Version bump and toolchain cleanup
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 22:26:58 -07:00
bdb060b79f build: Dev shell
c5404b8210 build: Ignore test files when building target
Compare 2 commits »
aniva created branch misc/toolchain in aniva/Pantograph 2024-03-28 22:12:21 -07:00
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 22:12:21 -07:00
1d1a151a4b doc: Main README.md
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 22:08:42 -07:00
d853cb8cc2 chore: Version bump
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 20:44:25 -07:00
78a3b240ba test: Catalog has no numeric symbols
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 19:56:13 -07:00
9adef4364c test: Catalog has no numeric symbols
aniva created pull request aniva/Pantograph#50 2024-03-28 19:51:15 -07:00
feat: Remove display of implementation details
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 19:50:24 -07:00
35c4ea693d feat: Stop cataloging internal/detail dependencies
d9af064888 test: Elimination of aux lemmas
Compare 2 commits »
aniva created branch io/serial in aniva/Pantograph 2024-03-28 18:57:04 -07:00
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 18:57:04 -07:00
01a23b338a feat: Unfold aux lemmas when printing root expr