1. 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
  2. 29 Sep, 2017 1 commit
  3. 23 May, 2017 1 commit
  4. 14 Mar, 2017 1 commit
  5. 08 Feb, 2017 1 commit
  6. 01 Jun, 2016 1 commit
  7. 13 Dec, 2015 1 commit
  8. 17 Sep, 2015 1 commit
  9. 21 Feb, 2014 1 commit
  10. 28 Jan, 2014 1 commit
  11. 14 Jan, 2014 1 commit
  12. 20 Nov, 2013 1 commit
  13. 29 Oct, 2013 1 commit