1. 18 Jul, 2017 1 commit
  2. 08 Jun, 2016 1 commit
  3. 07 Jun, 2016 1 commit
  4. 05 May, 2016 1 commit
  5. 04 May, 2016 1 commit
    • Kim Nguyễn's avatar
      * Cherry pick two fixes by Tommaso Pettrucciani : · b608a836
      Kim Nguyễn authored
      - merging of constraints durring tallying
      - erroneously drop tallying hypotheses once a pair of type (t,s) such. that t<s has been found is candidate.
      
      * Catch the break signal and exit cleanly to allow one to run cduce with gprof enabled.
      b608a836
  6. 03 May, 2016 3 commits
  7. 31 Mar, 2016 2 commits
  8. 25 Mar, 2016 2 commits
  9. 24 Mar, 2016 1 commit
  10. 22 Mar, 2016 2 commits
  11. 05 Dec, 2015 1 commit
  12. 15 Nov, 2015 1 commit
  13. 14 Nov, 2015 4 commits
  14. 13 Nov, 2015 3 commits
  15. 11 Nov, 2015 1 commit
  16. 07 Nov, 2015 2 commits
  17. 06 Nov, 2015 7 commits
  18. 05 Nov, 2015 4 commits
  19. 04 Nov, 2015 2 commits