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.

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

Mandarin V2 (draft) #312

Draft
wants to merge 30 commits into
base: master
Choose a base branch
from

Conversation

ssiccha
Copy link
Collaborator

@ssiccha ssiccha commented Feb 25, 2022

Alternative handling of crises. Performance is OKish now. I need to clean up and write docs and tests.

@ssiccha ssiccha added the mandarins This issue is likely to be resolved by the addition of mandarins label Feb 25, 2022
@ssiccha ssiccha marked this pull request as draft February 25, 2022 17:26
@ssiccha ssiccha force-pushed the ss/mandarins-crisis-handling-option-2 branch from 2f8a80f to 23d08b2 Compare March 6, 2022 09:35
ssiccha added 13 commits March 10, 2022 07:24
Old commit msg of a commit which was squashed into this one and which
was nonsense:
RecogniseGeneric: recognise image only once

This is preparation for the implementation of Mandarins. The following
case is going to be handled by the Mandarins. Previously, if in an image
node writing of random elements as SLPs in the image node's nice
generators failed, that image node would be discarded and recomputed.
and related type and family.
@ssiccha ssiccha force-pushed the ss/mandarins-crisis-handling-option-2 branch from 23d08b2 to 236e811 Compare March 10, 2022 06:27
@ssiccha
Copy link
Collaborator Author

ssiccha commented Aug 29, 2022

Just wanted to let you know that I still plan to work on this @fingolfin. I obviously didn't have the time lately, but I hope to get around to it in November or December, when work becomes a bit less busy.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
mandarins This issue is likely to be resolved by the addition of mandarins
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant