Skip to content
Snippets Groups Projects
  1. Sep 03, 2014
  2. Aug 27, 2014
  3. Aug 26, 2014
  4. Aug 25, 2014
  5. Aug 22, 2014
  6. Aug 07, 2014
    • Erwan Jahier's avatar
      non-reg tests: try to remove tests that fail for bad reasons. · 5c16363d
      Erwan Jahier authored
      For instance, do not launch tests that perform result comparison (via
      lurette) on files that contains extern nodes (as they cannot be
      executed) or package.  Package do not work because appending the
      tested lustre file with the generated oracle as I do is wrong in
      presence of package.
      
      Moreover, my current test process is not able to test programs which
      main node IOs are not all on the base clock. I have fixed this by
      patching the examples.
      
      # of expected passes 		1508 -> 1512
      # of unexpected failures	130 -> 84
      5c16363d
  7. Jul 11, 2014
  8. Jul 04, 2014
  9. Dec 10, 2013
  10. Dec 06, 2013
  11. May 31, 2013
  12. May 28, 2013
  13. May 22, 2013
    • Erwan Jahier's avatar
      Fix a bug when expanding nodes (-en). A Node that calls a node that · 499a3f47
      Erwan Jahier authored
      itself calls another node on a non-trivial clock (i.e., using a when)
      was not producing correct code.
      
      I've fixed this by performing the fix-point on nodes rather than on
      equations. Indeed its more natural and efficient, and it avoid the
      problem above. However, I did not really fix the problem, but just
      turn around it. All tests seems to work fine though.
      
      nb : #FAILS=81->80 (and -2 unresolved, but because I fixed the prog)
      499a3f47
  14. Apr 25, 2013
  15. Apr 22, 2013
  16. Jan 24, 2013
  17. Jan 18, 2013
  18. Jan 16, 2013
  19. Jan 11, 2013
Loading