1. 19 Feb, 2018 1 commit
  2. 01 Feb, 2018 1 commit
  3. 30 Jan, 2018 1 commit
  4. 24 Jan, 2018 1 commit
  5. 16 Oct, 2017 1 commit
  6. 30 Aug, 2017 1 commit
  7. 27 Aug, 2017 1 commit
    • Niels Möller's avatar
      Separate the two uses of the configured value GMP_NUMB_BITS. · b7052093
      Niels Möller authored
      In version.h, GMP_NUMB_BITS is needed only for mini-gmp builds. In
      non-mini-gmp builds, substitute a dummy value there, to make the
      contents of this header file platform independent. In Makefile, we
      always need a properly configured value, and do this with the renamed
      variable NUMB_BITS.
      b7052093
  8. 09 Apr, 2017 1 commit
  9. 21 Mar, 2017 2 commits
  10. 12 Jan, 2017 1 commit
  11. 05 Sep, 2016 1 commit
  12. 15 Nov, 2015 2 commits
  13. 12 May, 2015 1 commit
  14. 31 Mar, 2015 1 commit
  15. 26 Mar, 2015 1 commit
  16. 25 Mar, 2015 1 commit
  17. 19 Mar, 2015 5 commits
  18. 18 Mar, 2015 1 commit
  19. 10 Feb, 2015 2 commits
  20. 19 Jan, 2015 2 commits
  21. 16 Jan, 2015 1 commit
  22. 12 Jan, 2015 1 commit
  23. 06 Dec, 2014 1 commit
  24. 23 Oct, 2014 1 commit
  25. 22 Oct, 2014 1 commit
  26. 20 Oct, 2014 1 commit
  27. 14 Oct, 2014 1 commit
  28. 08 Oct, 2014 1 commit
  29. 04 Oct, 2014 1 commit
  30. 02 Oct, 2014 1 commit
  31. 22 Sep, 2014 2 commits