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

Masterworkable #16

Open
wants to merge 26 commits into
base: master
Choose a base branch
from
Open

Masterworkable #16

wants to merge 26 commits into from

Conversation

Jianchu
Copy link
Member

@Jianchu Jianchu commented Feb 13, 2017

Some updates:
Statistic measurement updates: made thread safe, and collect new data.
Constraint graph updates: update with new slot manager, remove "missing constraint logic"
Dataflow updates: fix bugs in LUB, NP, and missing location.

This change will break Ontology, so don't merge it at this moment.

@CharlesZ-Chen CharlesZ-Chen self-assigned this May 25, 2017
@CharlesZ-Chen
Copy link
Member

Hi @Jianchu , is it possible for you to provide a bit hint about why and what specific changes in this PR will break Ontology?

Thanks!

@wmdietl
Copy link
Member

wmdietl commented Jan 29, 2018

@CharlesZ-Chen Are there changes in this PR that haven't been merged into CFI?
I assume this is out of date and can be closed.

@CharlesZ-Chen
Copy link
Member

@wmdietl I'm a bit forget what we've merged into CFI and what we still left in terms of this PR...

Let me re-catch the context and to see if we can close this PR safely.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants