1. 12 Oct, 2019 3 commits
  2. 11 Oct, 2019 19 commits
  3. 10 Oct, 2019 6 commits
  4. 09 Oct, 2019 1 commit
    • Vivien Kraus's avatar
      Simplify the generated code · 8b39e9ad
      Vivien Kraus authored
      The current code is too slow to process through frama-c.  With a set
      of assignments like that, it should be easier to process.
      8b39e9ad
  5. 08 Oct, 2019 11 commits