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
12
 Projects Packages Public Activity Starred Repositories
9
aniva deleted branch io/serial from aniva/Pantograph 2024-03-30 00:08:34 -07:00
aniva merged pull request aniva/Pantograph#52 2024-03-30 00:08:33 -07:00
feat: Instantiation tests
aniva pushed to io/serial at aniva/Pantograph 2024-03-30 00:08:24 -07:00
90f7f251e9 Merge branch 'dev' into io/serial
ff8a462bcd Merge pull request 'fix: Build failure on macOS due to LLVM version' (#53) from misc/toolchain into dev
431bdab236 doc: Reason why not to follow nixpkgs
a4a1dfabef Merge branch 'dev' into misc/toolchain
08874d433f fix: Update flake so lean builds on Darwin
Compare 9 commits »
aniva pushed to dev at aniva/Pantograph 2024-03-30 00:07:29 -07:00
ff8a462bcd Merge pull request 'fix: Build failure on macOS due to LLVM version' (#53) from misc/toolchain into dev
431bdab236 doc: Reason why not to follow nixpkgs
a4a1dfabef Merge branch 'dev' into misc/toolchain
08874d433f fix: Update flake so lean builds on Darwin
5c970bfeed fix: Lean build failure on macOS
Compare 5 commits »
aniva merged pull request aniva/Pantograph#53 2024-03-30 00:07:27 -07:00
fix: Build failure on macOS due to LLVM version
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-30 00:03:49 -07:00
431bdab236 doc: Reason why not to follow nixpkgs
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-30 00:01:34 -07:00
a4a1dfabef Merge branch 'dev' into misc/toolchain
c701210f53 Merge pull request 'feat: Query arbitrary assignment in goal' (#47) from goal/relation into dev
113e65e193 Merge branch 'dev' into goal/relation
8853b17fee test: More diagnostics for tests
Compare 4 commits »
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-29 23:59:20 -07:00
08874d433f fix: Update flake so lean builds on Darwin
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-29 23:50:45 -07:00
5c970bfeed fix: Lean build failure on macOS
aeed233846 Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev
Compare 2 commits »
aniva created pull request aniva/Pantograph#53 2024-03-29 23:50:17 -07:00
fix: Build failure on macOS due to LLVM version
aniva created pull request aniva/Pantograph#52 2024-03-29 23:48:38 -07:00
feat: Instantiation tests
aniva pushed to dev at aniva/Pantograph 2024-03-29 23:48:22 -07:00
c701210f53 Merge pull request 'feat: Query arbitrary assignment in goal' (#47) from goal/relation into dev
113e65e193 Merge branch 'dev' into goal/relation
8853b17fee test: More diagnostics for tests
Compare 3 commits »
aniva merged pull request aniva/Pantograph#47 2024-03-29 23:48:21 -07:00
feat: Query arbitrary assignment in goal
aniva pushed to goal/relation at aniva/Pantograph 2024-03-29 23:47:49 -07:00
113e65e193 Merge branch 'dev' into goal/relation
aeed233846 Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev
3e1a14222c Merge branch 'dev' into misc/toolchain
0ade3d1637 Merge pull request 'feat: Remove display of implementation details' (#50) from io/serial into dev
bdb060b79f build: Dev shell
Compare 37 commits »
aniva pushed to io/serial at aniva/Pantograph 2024-03-29 23:46:34 -07:00
bc83a5732e feat: Instantiation tests
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 merged pull request aniva/Pantograph#51 2024-03-28 22:36:26 -07:00
chore: Version bump and toolchain cleanup
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 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 »