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 tag v0.2.23 to aniva/Pantograph 2024-12-11 17:01:19 -08:00
aniva deleted branch goal/print from aniva/Pantograph 2024-12-11 16:52:23 -08:00
aniva pushed to dev at aniva/Pantograph 2024-12-11 16:52:22 -08:00
3744cfaa96 Merge pull request 'feat: Print value of arbitrary mvar and goals in goal state' (#141) from goal/print into dev
0fa57a5a15 Merge branch 'dev' into goal/print
2f732a7f20 feat: Print goals in `goal.print`
eeb336c944 Merge branch 'dev' into goal/print
0725d865de feat: Print value of arbitrary mvar in goal state
Compare 5 commits »
aniva closed issue aniva/Pantograph#138 2024-12-11 16:52:21 -08:00
Articulation of Finished Proof
aniva merged pull request aniva/Pantograph#141 2024-12-11 16:52:21 -08:00
feat: Print value of arbitrary mvar and goals in goal state
aniva pushed to goal/print at aniva/Pantograph 2024-12-11 16:52:07 -08:00
0fa57a5a15 Merge branch 'dev' into goal/print
b9c114fe21 Merge pull request 'doc: Add limitations' (#145) from doc/rationale into dev
bb445f4d73 chore: Update version
f111da7de7 doc: Add limitations
fecab387dc merge: branch 'dev' into doc/rationale
Compare 5 commits »
aniva pushed to dev at aniva/Pantograph 2024-12-11 16:51:26 -08:00
b9c114fe21 Merge pull request 'doc: Add limitations' (#145) from doc/rationale into dev
f111da7de7 doc: Add limitations
fecab387dc merge: branch 'dev' into doc/rationale
Compare 3 commits »
aniva merged pull request aniva/Pantograph#145 2024-12-11 16:51:24 -08:00
doc: Add limitations
aniva pushed to goal/print at aniva/Pantograph 2024-12-11 16:50:03 -08:00
2f732a7f20 feat: Print goals in `goal.print`
aniva pushed to dev at aniva/Pantograph 2024-12-11 16:47:56 -08:00
bb445f4d73 chore: Update version
aniva merged pull request aniva/Pantograph#146 2024-12-11 16:47:54 -08:00
chore: Update version
aniva pushed to goal/print at aniva/Pantograph 2024-12-11 16:40:06 -08:00
eeb336c944 Merge branch 'dev' into goal/print
f14a37897b Merge pull request 'fix: Reset core message log' (#144) from bug/core-state-error-linger into dev
396a787771 feat: Reset message log in MainM
ab77418e24 fix: Drop previous message lists
f2f71a6028 fix: Reset core message log
Compare 35 commits »
aniva created pull request aniva/Pantograph#146 2024-12-11 16:39:16 -08:00
chore: Update version
aniva pushed to chore/version at aniva/Pantograph 2024-12-11 16:39:05 -08:00
bb445f4d73 chore: Update version
aniva pushed to chore/version at aniva/Pantograph 2024-12-11 16:38:54 -08:00
aniva created branch chore/version in aniva/Pantograph 2024-12-11 16:38:54 -08:00
aniva created pull request aniva/Pantograph#145 2024-12-11 15:10:27 -08:00
doc: Add limitations
aniva pushed to doc/rationale at aniva/Pantograph 2024-12-11 15:09:26 -08:00
f111da7de7 doc: Add limitations
aniva pushed to doc/rationale at aniva/Pantograph 2024-12-11 15:05:29 -08:00
fecab387dc merge: branch 'dev' into doc/rationale
aniva created branch doc/rationale in aniva/Pantograph 2024-12-11 15:05:29 -08:00