Skip to content
Snippets Groups Projects
  1. Apr 02, 2013
  2. Mar 29, 2013
  3. Mar 27, 2013
    • Erwan Jahier's avatar
      Rework the type of Lic expressions w.r.t. predef expressions. · 28f47082
      Erwan Jahier authored
      1) At the Lic level, there's no reason to distinguish betwenn node
      calls, and predef node calls. Indeed it makes things simpler and more
      homogeneous afterwards.
      
      2) int strings are only converted when necessary (constant evaluation).
      
      3) const are handled directly under Lic.by_pos_op instead of being under
         PREDEF_CALL, which make things easier and more logical.
      28f47082
  4. Mar 25, 2013
  5. Mar 22, 2013
  6. Mar 21, 2013
  7. Mar 20, 2013
  8. Mar 19, 2013
  9. Mar 11, 2013
  10. Mar 05, 2013
  11. Feb 25, 2013
  12. Feb 22, 2013
  13. Feb 20, 2013
  14. Feb 13, 2013
  15. Feb 07, 2013
  16. Feb 06, 2013
  17. Feb 04, 2013
    • Erwan Jahier's avatar
      Fix a performance bug (again) due to verbose printing not being lazy. · 07bb13d4
      Erwan Jahier authored
      The only culprit was the one in unifyClock.ml::249, but
      I've lazyfied most of the non-trivial verbose call.
      
      The 2 remaining unresolved testq that were timeout-ing now pass in a few ms...
      
      The whole non-reg test time has been divided by more than 2!
      07bb13d4
    • Erwan Jahier's avatar
      Fix 2 problems in the ec mode: · aaf09392
      Erwan Jahier authored
       - translate merge on bools in terms of current and ite
       - do not print the clock info in node profile in en mode
      
      + various fixes in lustre test files.
      
      nb : now all tests in the should_work dir passes !!!
      aaf09392
  18. Feb 01, 2013
  19. Jan 31, 2013
  20. Jan 29, 2013
  21. Jan 25, 2013
  22. Jan 24, 2013
  23. Jan 19, 2013
  24. Jan 18, 2013
Loading