SeLFiE: improve the message from semantic_induct

data61 / PSL

Other

65 stars 9 forks source link

Closed yutakang closed 3 years ago

yutakang commented 4 years ago

It should show more intermediate status updates.

For example, it should show recommendations w/o variable generalisations while computing generalisation heuristics.

yutakang commented 4 years ago

Now that the SeLFiE interpreter works much faster. Maybe we don't need this.

yutakang commented 3 years ago

Right. We do not need this feature.