1. 30 Mar, 2022 1 commit
  2. 03 Mar, 2022 2 commits
  3. 29 Jan, 2021 1 commit
  4. 09 Jul, 2020 1 commit
  5. 28 May, 2020 1 commit
  6. 26 Mar, 2019 1 commit
  7. 10 Aug, 2018 1 commit
  8. 07 Aug, 2018 3 commits
  9. 05 Apr, 2018 1 commit
    • Thibault Martin's avatar
      Update des oracles · 91675920
      Thibault Martin authored
      Mise à jour des oracles de alluses après bugfix, ajout des oracles
      pour le critère ASSERT (beta)
      91675920
  10. 05 Apr, 2017 1 commit
  11. 14 Nov, 2014 2 commits
  12. 13 Nov, 2014 1 commit
  13. 04 Apr, 2014 1 commit
  14. 17 Mar, 2014 1 commit
  15. 14 Mar, 2014 1 commit
  16. 13 Mar, 2014 1 commit
  17. 12 Mar, 2014 2 commits
  18. 13 Dec, 2013 1 commit
    • Mickaël Delahaye's avatar
      Finalize GenLabels for use with special Frama-C · 7fc3bc0f
      Mickaël Delahaye authored
      The last commit aimed to add a special Frama-C version in which
      it is possible to switch useLogicalOperators on and off.
      The goal is the same Frama-C can be used for inserting the labels and generating test cases with PathCrawler.
      7fc3bc0f