1. 13 Jul, 2021 3 commits
  2. 09 Jul, 2021 1 commit
  3. 08 Jul, 2021 1 commit
  4. 05 Jul, 2021 8 commits
  5. 01 Jul, 2021 1 commit
  6. 15 Mar, 2021 3 commits
  7. 11 Mar, 2021 3 commits
  8. 17 Aug, 2020 1 commit
  9. 19 Jun, 2020 2 commits
  10. 17 Jun, 2020 1 commit
  11. 16 Jun, 2020 6 commits
  12. 12 Jun, 2020 1 commit
  13. 11 May, 2020 4 commits
  14. 18 Mar, 2020 1 commit
  15. 17 Mar, 2020 1 commit
  16. 13 Mar, 2020 1 commit
    • erwan's avatar
      fix: try to do a better job with extern types. · 777c3f4f
      erwan authored
      In the -2c mode, in presence of extern types, I was defining them as int.
      The idea was to have something that compiles, and then to ask the user
      to redefine its extern types.
      
      Now I define extern types as string (char*).
      
      The rationale of this change is that before, the generated code was only
      working for int, which is pretty useless as an extern type.
      
      Have string by default is actually much more useful, for instance to use
      string in a Lustre program.
      
      Also, adapt to changes done in lutils, where the string type has ben added.
      (sha:8619aa285ca8322ab9, i.e., > lutils  1.49.10)
      777c3f4f
  17. 03 Mar, 2020 1 commit
  18. 14 Feb, 2020 1 commit