Commits · cded720f2e33e01ee5168fcb31d077d5c63077eb · verimag / synchrone / lustre-v6

Jul 10, 2015
- expansion of "boolred" in form of equations. · 9d093478
  Mamadou Ndiaye authored 9 years ago
  
  9d093478
Jul 03, 2015
- ok for scade keywords and ASSERTS. · bdeaffab
  Mamadou Ndiaye authored 9 years ago
  
  bdeaffab
Jul 01, 2015
- kcg key word list · 52226f33
  Mamadou Ndiaye authored 9 years ago
  
  52226f33
Jun 25, 2015
- Raise an standard error instead of an internal error when the arity of a node call is bad. · 59b65754
  Erwan Jahier authored 9 years ago
  
  59b65754
Jun 24, 2015
- Update the test/lus2lic-kcg.sum by running the test · 73163db0
  Mamadou Ndiaye authored 9 years ago
  
  73163db0
- Add test scripts for the -kcg option. · a5f15b01
  Erwan Jahier authored 9 years ago
  
  To run it, just launch just: cd test/ make test.kcg
  a5f15b01