Pantograph

feat(serial): Share common when pickling

#289 by aniva was merged 2025-08-26 13:53:42 -07:00

dev

v0.3.8

feat(goal): Branch unification

#248 by aniva was merged 2025-08-17 12:15:36 -07:00

dev

v0.4.0

fix(serial): Erase closures in synthetic mvars

#240 by aniva was merged 2025-07-13 23:00:22 -07:00

dev

v0.3.5

feat: Display Message metadata

#232 by aniva was merged 2025-07-10 11:45:45 -07:00

dev

v0.3.4

feat(serial): Pickle environment delta's

3

#221 by aniva was merged 2025-06-27 16:02:22 -07:00

dev

v0.3.3

feat(serial): Robust environment extension pickling

#216 by aniva was merged 2025-06-24 13:41:06 -07:00

dev

v0.3.3

feat: Output tactic invocation data to file

#208 by aniva was merged 2025-06-17 11:42:37 -07:00

dev

v0.3.2

feat: Pickle constants in goal state

#157 by aniva was merged 2025-01-24 14:52:53 -08:00

dev

v0.2.25

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

#141 by aniva was merged 2024-12-11 16:52:20 -08:00

dev

v0.2.23

feat: Pickling goal states

#129 by aniva was merged 2024-12-05 16:02:26 -08:00

dev

v0.2.21

feat: State and environment pickling

1

#120 by aniva was merged 2024-11-15 23:10:34 -08:00

dev

v0.2.21

feat: Condensed interface

category

feature

part/Serial

#85 by aniva was merged 2024-08-15 22:41:59 -07:00

dev

v0.3

fix: Serialization of projection operators

#64 by aniva was merged 2024-04-09 21:28:53 -07:00

dev

v0.3

perf: Lazy run print monads

category

optimization

part/Serial

#63 by aniva was merged 2024-04-08 10:37:28 -07:00

dev

v0.3

feat: Instantiate mvars during echo

category

feature

part/Serial

#56 by aniva was merged 2024-03-31 17:10:29 -07:00

dev

fix: Instantiation causes infinite loop

#54 by aniva was merged 2024-03-31 16:43:53 -07:00

dev

feat: Instantiation tests

category

feature

part/Serial

#52 by aniva was merged 2024-03-30 00:08:33 -07:00

dev

feat: Remove display of implementation details

1

#50 by aniva was merged 2024-03-28 22:35:38 -07:00

dev

test: Option controlled mvar instantiation

part/Serial

priority

low

#44 by aniva was merged 2024-01-17 22:27:44 -08:00

dev

test: Deserialization

#42 by aniva was merged 2024-01-08 12:21:45 -08:00

dev

v0.2.10