aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 11 Pull Requests 1 Packages Projects Releases Wiki Activity

feat: Print value of arbitrary mvar and goals in goal state #141

Merged
aniva merged 4 commits from goal/print into dev 2024-12-11 16:52:20 -08:00
Conversation 0 Commits 4 Files Changed 4 +50 -14

4 Commits

Author SHA1 Message Date
Leni Aniva 0fa57a5a15
Merge branch 'dev' into goal/print 2024-12-11 16:51:58 -08:00
Leni Aniva 2f732a7f20
feat: Print goals in `goal.print` 2024-12-11 16:49:52 -08:00
Leni Aniva eeb336c944
Merge branch 'dev' into goal/print 2024-12-11 16:40:01 -08:00
Leni Aniva 0725d865de
feat: Print value of arbitrary mvar in goal state 2024-12-10 14:14:59 -08:00