| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
This does not mappter for propagateAllScopeConstraints(),
but propagateAdditionToType gets more exact this way.
|
| |
|
|
|
|
| |
Modified graph width calculation to not depend on order of nodes
|
|\ |
|
| | |
|
| | |
|
|\| |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
|\| |
|
| | |
|
|\| |
|
| | |
|
| |
| |
| | |
https://github.com/kris7t
|
| | |
|
| |
| |
| |
| |
| | |
Proof of concept implementation, mixing diversity checking and optimization
may not be very effective in practice
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|