Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

The ability to lift a meta #352

Closed
2 of 4 tasks
ice1000 opened this issue Mar 26, 2022 · 1 comment
Closed
2 of 4 tasks

The ability to lift a meta #352

ice1000 opened this issue Mar 26, 2022 · 1 comment
Assignees
@ice1000 @wsx-ucb
Labels
meta variables
Milestone
v0.19

Comments

@ice1000
Copy link
Member

ice1000 commented Mar 26, 2022 •
edited
Loading

This means 3 things:

  1. Lift a meta
  2. Unlift the solution
  3. Report error when unlifted to negative
  4. Support spines with lifted variables
@ice1000 ice1000 self-assigned this Mar 26, 2022
@ice1000 ice1000 modified the milestones: v0.16, v0.17 Mar 26, 2022
@ice1000 ice1000 mentioned this issue Mar 26, 2022
Merged
bors bot added a commit that referenced this issue Mar 26, 2022
@bors @ice1000
MERGE: #354
c67474d 
354: Lift a meta and unlift the solution r=ice1000 a=ice1000

Related to #352
bors r+

Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>
@wsx-ucb wsx-ucb self-assigned this Mar 30, 2022
@ice1000 ice1000 modified the milestones: v0.17, v0.18 Apr 8, 2022
@ice1000 ice1000 modified the milestones: v0.18, v0.19 May 10, 2022
@ice1000
Copy link
Member Author

ice1000 commented Aug 9, 2022

I misunderstood the feature. Superseded by #440

@ice1000 ice1000 closed this as completed Aug 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ice1000 ice1000

@wsx-ucb wsx-ucb

Labels
meta variables
Projects
None yet
Milestone
v0.19
Development

No branches or pull requests
2 participants
@ice1000 @wsx-ucb