1. 14 Aug, 2019 2 commits
  2. 01 Aug, 2019 5 commits
  3. 31 Jul, 2019 2 commits
  4. 30 Jul, 2019 2 commits
  5. 26 Jul, 2019 3 commits
  6. 23 Jul, 2019 2 commits
  7. 16 Jul, 2019 6 commits
  8. 15 Jul, 2019 1 commit
  9. 13 Jul, 2019 2 commits
    • Guillaume Melquiond's avatar
      Fix sessions. · fb28ab2f
      Guillaume Melquiond authored
      All the changes are due to equality "x = x" now being properly detected
      as being trivially true.
      fb28ab2f
    • Guillaume Melquiond's avatar
      Weaken t_equal so that it is modulo attributes, triggers, and locations. · 1843ff78
      Guillaume Melquiond authored
      This makes t_equal_nt_na redundant. Functions t_compare and t_hash are
      changed accordingly. Modules Hterm, Sterm, and Mterm are changed too.
      Strict functions and modules are introduced: t_equal_strict,
      t_compare_strict, t_hash_strict, Hterm_strict, Sterm_strict, Mterm_strict.
      
      Most of the calls to t_equal (and similarly for other symbols) are kept
      unchanged, which means that transformations are now a lot more lenient
      with respect to equality. Only hashconsing of declarations is made to use
      the strict symbols.
      1843ff78
  10. 12 Jul, 2019 1 commit
  11. 11 Jul, 2019 5 commits
  12. 10 Jul, 2019 6 commits
  13. 08 Jul, 2019 2 commits
  14. 06 Jul, 2019 1 commit