Big bottoms ....
When all the inputs of a node are bottoms ... Delete the node (even if it is an unknown gate).
This is to be done in the dangling_bottoms
functions ...
Software Heritage, une initiative non-lucrative de l'INRIA, clonera et archivera tous les dépôts en visibilité publique sur ce gitlab. Si vous ne souhaitez pas que cela arrive, vous pouvez modifier la visibilité de vos dépôts en allant dans Settings -> General -> Visibility, project features, permissions -> Project visibility. Pour plus d'informations sur l'initiative, vous pouvez vous rendre à la page https://www.softwareheritage.org/.
When all the inputs of a node are bottoms ... Delete the node (even if it is an unknown gate).
This is to be done in the dangling_bottoms
functions ...