Leni Aniva aniva
  • Stanford University Centaur Lab
  • https://leni.sh
  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
aniva pushed to dev at aniva/Pantograph 2024-03-31 16:43:54 -07:00
2d422dc532 Merge pull request 'fix: Instantiation causes infinite loop' (#54) from output/expr into dev
6235d61433 fix: unfoldAuxLemma should be coreM
e13b119ed1 fix: Instantiation causes infinite loop
Compare 3 commits »
aniva merged pull request aniva/Pantograph#54 2024-03-31 16:43:53 -07:00
fix: Instantiation causes infinite loop
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 16:43:39 -07:00
2130bcf357 test: Library test
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 16:12:29 -07:00
840d2acbd8 docs: Update README.md
7283c5c970 refactor: Use library functions when possible
Compare 2 commits »
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 16:06:40 -07:00
52d3283b5c refactor: Use library goalStartExpr function
aniva created pull request aniva/Pantograph#55 2024-03-31 15:56:05 -07:00
feat: Specify type in echo
aniva created branch expr/echo in aniva/Pantograph 2024-03-31 15:55:32 -07:00
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 15:55:32 -07:00
65ac0d5c58 feat: Specify type in echo
aniva pushed to output/expr at aniva/Pantograph 2024-03-31 15:41:09 -07:00
6235d61433 fix: unfoldAuxLemma should be coreM
aniva created pull request aniva/Pantograph#54 2024-03-30 00:18:38 -07:00
fix: Instantiation causes infinite loop
aniva created branch output/expr in aniva/Pantograph 2024-03-30 00:18:27 -07:00
aniva pushed to output/expr at aniva/Pantograph 2024-03-30 00:18:27 -07:00
e13b119ed1 fix: Instantiation causes infinite loop
aniva deleted branch io/serial from aniva/Pantograph 2024-03-30 00:08:34 -07:00
aniva pushed to dev at aniva/Pantograph 2024-03-30 00:08:34 -07:00
0c260addcf Merge pull request 'feat: Instantiation tests' (#52) from io/serial into dev
90f7f251e9 Merge branch 'dev' into io/serial
bc83a5732e feat: Instantiation tests
Compare 3 commits »
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 »