This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
14
Pull Requests
4
Packages
Projects
Releases
1
Wiki
Activity
feat: Pickling goal states
#129
Open
aniva
wants to merge 2 commits from
serial/pickle
into
dev
pull from: serial/pickle
merge into: aniva:dev
aniva:dev
aniva:delate/sexp
aniva:frontend/infotree
aniva:doc/rationale
aniva:misc/build
aniva:goal/tactic
aniva:parse/level
aniva:main
Conversation
0
Commits
2
Files Changed
5
+104
-6
2 Commits
Author
SHA1
Message
Date
Leni Aniva
0f946880ae
test: Environment pickling
2024-12-04 10:44:33 -08:00
Leni Aniva
7c9b092200
test: Dual monad testing stub
2024-11-30 23:21:16 -08:00