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 commented on issue aniva/Pantograph#162 2025-01-24 15:06:34 -08:00
Take generated constants into account

Need an example ...

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#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 deleted branch env/module from aniva/Pantograph 2025-01-24 15:01:18 -08:00
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 merged pull request aniva/Pantograph#159 2025-01-24 15:01:17 -08:00
feat: Module reading functions
aniva pushed to env/module at aniva/Pantograph 2025-01-24 15:01:04 -08:00
f7f1272145 Merge branch 'dev' into env/module
549be79cbf Merge pull request 'feat: Pickle constants in goal state' (#157) from serial/pickle into dev
59935e386b Merge pull request 'feat: Draft tactic REPL interface' (#158) from tactic/draft into dev
62363cb943 fix: Over-eager assertion of fvarId validity
9d445783c2 feat: Draft tactic REPL interface
Compare 6 commits »
aniva pushed to env/module at aniva/Pantograph 2025-01-24 15:00:49 -08:00
be8dee6731 test: Add test for module read
aniva pushed to dev at aniva/Pantograph 2025-01-24 14:52:54 -08:00
549be79cbf Merge pull request 'feat: Pickle constants in goal state' (#157) from serial/pickle into dev
fef7f1e2f3 feat: Pickle constants in goal state
Compare 2 commits »
aniva deleted branch serial/pickle from aniva/Pantograph 2025-01-24 14:52:54 -08:00
aniva merged pull request aniva/Pantograph#157 2025-01-24 14:52:53 -08:00
feat: Pickle constants in goal state
aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-24 14:44:54 -08:00
5c1e7599c0 feat: Projection export function
aniva opened issue aniva/Pantograph#163 2025-01-23 09:39:36 -08:00
Clean up code