• Gwenaël Delaval's avatar
    Version 1.05.00 · e0d1900f
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.