-
Gwenaël Delaval authored
- Option -simple-scheduler active for scheduling post-ctrln code generation - Handle implication operator in Sigali backend - Compatibility with reatk >= 0.14
e0d1900f
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/.
- Option -simple-scheduler active for scheduling post-ctrln code generation - Handle implication operator in Sigali backend - Compatibility with reatk >= 0.14