Sébastien Villemot
|
e48e761b94
|
Block decomposition: various minor cleanups
|
2020-04-23 14:41:18 +02:00 |
Sébastien Villemot
|
8eafd9ab4f
|
Block decomposition: various refactorings
|
2020-04-17 19:23:52 +02:00 |
Sébastien Villemot
|
1d92adacf4
|
Block decomposition: fix bug with mfs > 0 introduced in 5431451db3
|
2020-04-17 18:19:07 +02:00 |
Sébastien Villemot
|
5431451db3
|
Block decomposition: refactor algorithms on the variable dependency graph
In particular, move them into a separate class rather than a namespace.
|
2020-04-10 12:55:07 +02:00 |