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

  • Joined on 2023-08-21
aniva created branch env/module in aniva/Pantograph 2025-01-24 20:21:49 -08:00
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 20:19:34 -08:00
970c16a0a4 chore: Use `StateRefT` in `Repl.lean`
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 19:25:03 -08:00
6a7830cb71 fix: Remove spurious print
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 19:23:18 -08:00
787c9e606d chore: Cleanup REPL loop
aniva created pull request aniva/Pantograph#164 2025-01-24 19:12:08 -08:00
chore: Code cleanup
aniva pushed to chore/cleanup at aniva/Pantograph 2025-01-24 19:11:24 -08:00
976646fb67 chore: Use repeat-break structure
418d630255 fix: Remove unused variable
Compare 2 commits »
aniva created branch chore/cleanup in aniva/Pantograph 2025-01-24 19:11:24 -08:00
aniva reopened issue aniva/Pantograph#162 2025-01-24 15:06:36 -08:00
Take generated constants into account
aniva closed issue aniva/Pantograph#162 2025-01-24 15:06:34 -08:00
Take generated constants into account
aniva commented on issue aniva/Pantograph#162 2025-01-24 15:06:34 -08:00
Take generated constants into account

Need an example ...

aniva commented on issue aniva/Pantograph#142 2025-01-24 15:05:54 -08:00
Pickle new constants generated in proof state

Partially fixed #157

aniva closed issue aniva/Pantograph#142 2025-01-24 15:05:54 -08:00
Pickle new constants generated in proof state
aniva commented on issue aniva/Pantograph#160 2025-01-24 15:05:34 -08:00
Projection conversion function panics

Fixed #161

aniva closed issue aniva/Pantograph#160 2025-01-24 15:05:34 -08:00
Projection conversion function panics
aniva deleted branch bug/expr-proj-to-app-panic from aniva/Pantograph 2025-01-24 15:05:07 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-24 15:05:06 -08:00
b67d3eccc4 Merge pull request 'fix: Panic in `exprProjToApp`' (#161) from bug/expr-proj-to-app-panic into dev
6f792b0657 Merge branch 'dev' into bug/expr-proj-to-app-panic
5c1e7599c0 feat: Projection export function
8ce4cbdcf5 feat: Printing field projection in sexp
3a26bb1924 fix: Analyze projection application
Compare 6 commits »
aniva merged pull request aniva/Pantograph#161 2025-01-24 15:05:05 -08:00
fix: Panic in `exprProjToApp`
aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-24 15:03:17 -08:00
6f792b0657 Merge branch 'dev' into bug/expr-proj-to-app-panic
ed1d5d7b58 Merge pull request 'feat: Module reading functions' (#159) from env/module into dev
f7f1272145 Merge branch 'dev' into env/module
be8dee6731 test: Add test for module read
549be79cbf Merge pull request 'feat: Pickle constants in goal state' (#157) from serial/pickle into dev
Compare 12 commits »
aniva pushed to dev at aniva/Pantograph 2025-01-24 15:01:18 -08:00
ed1d5d7b58 Merge pull request 'feat: Module reading functions' (#159) from env/module into dev
f7f1272145 Merge branch 'dev' into env/module
be8dee6731 test: Add test for module read
bc4bf47c8b feat: Implement repl interfaces
c9f524b9ae feat: Implement `env.describe` and `env.module_read`
Compare 6 commits »
aniva deleted branch env/module from aniva/Pantograph 2025-01-24 15:01:18 -08:00