feat(serial): Pickle environment delta's #221

Open

aniva wants to merge 4 commits from serial/delta into dev

aniva commented

2025-06-26 11:50:36 -07:00

Owner

This makes the environments smaller, and also add an option to trust the pickle so we don't need to replay constants.

feat(env): Environment merging function
feat(repl): Goal state merging function
fix(goal): Combine environments in replay
fix(goal): Rename aux lemmas during merger

This makes the environments smaller, and also add an option to trust the pickle so we don't need to replay constants. - feat(env): Environment merging function - feat(repl): Goal state merging function - fix(goal): Combine environments in replay - fix(goal): Rename aux lemmas during merger

aniva added this to the 0.3.3 milestone 2025-06-26 11:50:36 -07:00

aniva added the

part/Environment

labels 2025-06-26 11:50:36 -07:00

aniva self-assigned this 2025-06-26 11:50:36 -07:00

aniva changed title from ~~feat: Pickle environment delta's~~ to feat(serial): Pickle environment delta's

2025-06-26 11:50:42 -07:00

aniva added a new dependency 2025-06-26 11:50:52 -07:00

#137 🖇️ Environment Delta Pickling

aniva modified the milestone from 0.3.3 to 0.4.0

2025-06-26 11:55:59 -07:00

aniva added 1 commit 2025-06-26 15:52:01 -07:00

52f71f035e

feat(serial): Background environment in pickling

aniva added 1 commit 2025-06-26 15:52:50 -07:00

4df8fcda97

Merge branch 'dev' into serial/delta

aniva commented

2025-06-26 15:58:04 -07:00

Author

Owner

We can store a pristine version of the environment in the main monad, and calculate deltas w.r.t. this environment.

We can store a pristine version of the environment in the main monad, and calculate deltas w.r.t. this environment.

aniva added a new dependency 2025-06-26 15:58:55 -07:00

#132 Branch unification

aniva added 1 commit 2025-06-26 16:23:34 -07:00

f914e161e8

fix(goal): Reset messages in replay

aniva added 1 commit 2025-06-26 16:42:12 -07:00

349cff6f05

test(goal): Collision of aux lemma names

aniva commented

2025-06-26 21:13:33 -07:00

Author

Owner

There is one test case failing corresponding to adding auxiliary lemmata on both branches.

There is one test case failing corresponding to adding auxiliary lemmata on both branches.

This pull request can be merged automatically.

You are not authorized to merge this pull request.

Sign in to join this conversation.

No reviewers

No Label

part/Environment

pending-measurement

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Blocks

#132 Branch unification

aniva/Pantograph

#137 🖇️ Environment Delta Pickling

aniva/Pantograph

Reference: aniva/Pantograph#221

No description provided.