feat: Capture environment in drafting #113

aniva · 2024-10-12T16:53:34-07:00

aniva commented

2024-10-12 16:53:34 -07:00

This allows the user to create multiple goal states using one long draft.

aniva added this to the 0.2.19 milestone 2024-10-12 16:53:34 -07:00

aniva added the

labels 2024-10-12 16:53:34 -07:00

aniva self-assigned this 2024-10-12 16:53:35 -07:00

aniva added 2 commits 2024-10-12 16:53:35 -07:00

5a2ae880f4

feat: Capture environment in drafting

946e688dec

test(frontend): Environment capture

aniva commented

2024-10-12 16:55:45 -07:00

In the future we could change sorrysToGoalState to take a Environment argument, but this looks fine.

In the future we could change `sorrysToGoalState` to take a `Environment` argument, but this looks fine.

aniva added 1 commit 2024-10-12 16:58:07 -07:00

72e41e1e1e

Merge branch 'dev' into frontend/environment

aniva referenced this pull request

2024-10-12 16:59:33 -07:00

feat: Enable environment capture during `frontend.process` #112

aniva merged commit a11127a64e into dev

2024-10-12 16:59:41 -07:00

aniva deleted branch frontend/environment

2024-10-12 16:59:41 -07:00

aniva referenced this issue from a commit

2024-10-12 16:59:43 -07:00

Merge pull request 'feat: Capture environment in drafting' (#113) from frontend/environment into dev

aniva added a new dependency 2024-10-21 11:24:12 -07:00

#114 Incremental and intercepted parsing of Lean code

aniva referenced this pull request

2024-10-21 11:25:45 -07:00

Incremental and intercepted parsing of Lean code #114

Sign in to join this conversation.

No reviewers

No Label

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

#114 Incremental and intercepted parsing of Lean code

aniva/Pantograph

Reference: aniva/Pantograph#113