1. 31 Oct, 2019 2 commits
  2. 13 Oct, 2019 2 commits
  3. 30 Oct, 2018 4 commits
  4. 12 Oct, 2018 2 commits
  5. 19 Jun, 2018 1 commit
    • 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
  6. 07 Jun, 2018 1 commit
  7. 06 Jun, 2018 1 commit
  8. 02 Mar, 2018 2 commits
  9. 29 Sep, 2017 1 commit
  10. 28 Sep, 2017 15 commits
  11. 21 Sep, 2017 1 commit
    • Nicolas Berthier's avatar
      Bug correction in normalization of merge: fix propagation of type annotations · 100c08ee
      Nicolas Berthier authored
      Minils.CtrlNbacGen relies on such type annotations to generat
      Controllable-Nbac nodes.  This fix allows the use of ReaX to enforce
      contracts of nodes involving merge operations on tuples over multiple
      data types, such as:
      
        (a, b) = merge c
                 (true -> ((true when c), (0 when c)))
                 (false -> ((false whenot c), (2 whenot c)));
      
      This kind of code previously led to erroneous Controllable-Nbac code.
      100c08ee
  12. 20 Sep, 2017 1 commit
  13. 23 May, 2017 7 commits