1. 02 Jan, 2020 1 commit
    • Vivien Kraus's avatar
      I had the wrong type · d205507a
      Vivien Kraus authored
      It does not matter because =tarot_game_free= calls =free= anyway, but
      the type was not correct.
  2. 19 Dec, 2019 2 commits
  3. 21 Oct, 2019 1 commit
  4. 23 Sep, 2019 1 commit
    • Vivien Kraus's avatar
      Fix some annotations · 048bed52
      Vivien Kraus authored
      When trying to get the guile bindings work, I noticed some API
      endpoints were not understood correctly by the introspection scanner.
  5. 20 Sep, 2019 1 commit
    • Vivien Kraus's avatar
      [API] Indicate whether an array is const or non-const · fd9172bd
      Vivien Kraus authored
      To write language bindings to tarot, we need to know whether the array
      has been modified by the function call or not.  If it has been
      modified, then it means that it is an output parameter, but since we
      did not change the memory location it is not indicated as an output
  6. 18 Sep, 2019 1 commit
  7. 27 Aug, 2019 2 commits
  8. 26 Aug, 2019 1 commit
    • Vivien Kraus's avatar
      Define a shortcut for frama-c · b878415e
      Vivien Kraus authored
      Frama-c does not know about =_Alignof=, because this is detected as a
      compiler built-in.  I have not found any way more elegant than that.
  9. 24 Apr, 2019 1 commit
    • Vivien Kraus's avatar
      New safe make target · 3199f641
      Vivien Kraus authored
      The "safe" target will build whatever is needed to ensure that no race
      will occur.