1. 21 Feb, 2014 3 commits
  2. 28 Jan, 2014 1 commit
  3. 26 Jan, 2014 1 commit
  4. 14 Jan, 2014 2 commits
  5. 20 Nov, 2013 1 commit
  6. 19 Nov, 2013 1 commit
  7. 04 Nov, 2013 1 commit
  8. 29 Oct, 2013 2 commits
  9. 28 Oct, 2013 1 commit
  10. 06 Sep, 2013 1 commit
  11. 05 Sep, 2013 2 commits
  12. 02 Aug, 2013 4 commits
  13. 18 Jul, 2013 1 commit
  14. 10 Jul, 2013 1 commit
  15. 09 Jul, 2013 2 commits
  16. 17 May, 2013 1 commit
  17. 07 May, 2013 2 commits
  18. 06 May, 2013 1 commit
  19. 22 Apr, 2013 1 commit
  20. 11 Apr, 2013 1 commit
    • Nicolas Berthier's avatar
      Minor but correction in sigali output. · 8497bafa
      Nicolas Berthier authored
      - Translation to z3z now evaluates constant expressions instead of
        abstracting them. This non-feature could cause "false" synthesis
        failures due to non-translatable yet constant expressions possibly
        introduced by tomato (or manually), for instance `not false' in node
        `n' bellow:
      
          node n (a: bool) returns (ok: bool)
            contract assume true enforce ok with ()
          let
            ok = a or not false;
          tel
      8497bafa
  21. 15 Mar, 2013 1 commit
    • Nicolas Berthier's avatar
      Corrected a bug in generation of C records. · 899d33af
      Nicolas Berthier authored
      Corrected a somewhat unnoticeable but ugly bug in the generation of C
      records, that could mess up the field names when they were not
      assigned in the same order as in the declaration of the type.
      899d33af
  22. 12 Mar, 2013 1 commit
  23. 11 Mar, 2013 1 commit
  24. 08 Feb, 2013 1 commit
  25. 05 Feb, 2013 2 commits
  26. 04 Feb, 2013 1 commit
    • Gwenaël Delaval's avatar
      Makefile-distrib update · 5b178495
      Gwenaël Delaval authored
      Makefile-distrib: include install-sh script in source distribution
      (mandatory for autoconf).
      
      Enable simulator by default (for automatic builds on pipol: some ctest
      versions does not allow options passing to configure scripts).
      5b178495
  27. 28 Jan, 2013 2 commits
  28. 26 Jan, 2013 1 commit