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 closed issue aniva/Pantograph#84 2024-08-31 19:50:54 -07:00

Move towards Expr based interface

aniva commented on issue aniva/Pantograph#84 2024-08-31 19:50:54 -07:00

Move towards Expr based interface

Done #85

aniva pushed to main at aniva/ReproduciblePython 2024-08-27 22:32:11 -07:00

f2916e1785 feat: Add torch stub

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-26 10:42:35 -07:00

edec0f5733 feat: Use CoreM for diag monad

aniva deleted branch misc/test-driver from aniva/Pantograph 2024-08-18 12:24:57 -07:00

aniva pushed to dev at aniva/Pantograph 2024-08-18 12:24:56 -07:00

76765c913c test: Use `lake test`. Retired `Makefile`

aniva merged pull request aniva/Pantograph#87 2024-08-18 12:24:56 -07:00

test: Use `lake test`. Retired `Makefile`

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-18 12:24:51 -07:00

0c529c5cd9 Merge branch 'misc/test-driver' into tactic/eval

76765c913c test: Use `lake test`. Retired `Makefile`

Compare 2 commits »

aniva created pull request aniva/Pantograph#87 2024-08-18 12:23:54 -07:00

test: Use lake test. Retired Makefile

aniva pushed to misc/test-driver at aniva/Pantograph 2024-08-18 12:23:24 -07:00

76765c913c test: Use `lake test`. Retired `Makefile`

aniva created branch misc/test-driver in aniva/Pantograph 2024-08-18 12:23:24 -07:00

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-17 16:48:02 -07:00

3733c10a4e refactor: Unify call convention

aniva commented on pull request aniva/Pantograph#83 2024-08-17 02:10:31 -07:00

feat: Prograde tactics

Fixed one of the old glaring bugs of the let tactic where the binder was not introduced. Fixed flake build failure.

Waiting for downstream testing in Trillium before merging.

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-17 02:07:26 -07:00

5d43068ec3 fix: Flake check failure

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-17 02:00:25 -07:00

f87eed817f build: Move non-package output to legacyPackages

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-17 00:53:48 -07:00

43e11f1ba3 refactor: Always display isInaccessible

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-17 00:50:23 -07:00

0c469027c6 fix: Refactor mvar collection in assign tactic

e1b7eaab12 fix: Let tactic not bringing binder into scope

Compare 2 commits »

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-16 00:33:05 -07:00

d17b21e282 fix: Use `getMVarsNoDelayed`

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-15 23:41:43 -07:00

5b4f8a37eb refactor: All Tactic/ tactics into MetaM form

aniva pushed to tactic/eval at aniva/Pantograph 2024-08-15 23:23:32 -07:00

1e7a186bb1 refactor: MetaM form of define (evaluate)