1. 05 Nov, 2017 1 commit
  2. 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
  3. 26 Aug, 2017 1 commit
  4. 06 Sep, 2016 1 commit
  5. 12 Jul, 2016 1 commit
  6. 20 Jun, 2016 1 commit
  7. 30 Mar, 2016 1 commit
  8. 15 Mar, 2016 1 commit
  9. 20 Jan, 2016 1 commit
  10. 18 Dec, 2015 1 commit
  11. 02 Sep, 2015 1 commit
  12. 24 Aug, 2015 1 commit
  13. 19 May, 2015 1 commit
  14. 24 Apr, 2015 1 commit
  15. 13 Apr, 2015 1 commit
  16. 31 Mar, 2015 2 commits
  17. 26 Mar, 2015 1 commit
  18. 25 Mar, 2015 1 commit
  19. 19 Mar, 2015 1 commit
  20. 05 Feb, 2015 1 commit
  21. 25 Jan, 2015 1 commit
  22. 21 Jan, 2015 1 commit
  23. 20 Jan, 2015 1 commit
  24. 19 Jan, 2015 1 commit
  25. 17 Jan, 2015 1 commit
  26. 16 Jan, 2015 1 commit
  27. 13 Jan, 2015 2 commits
  28. 12 Jan, 2015 1 commit
  29. 11 Jan, 2015 1 commit
  30. 08 Dec, 2014 1 commit
  31. 06 Dec, 2014 1 commit
  32. 24 Nov, 2014 1 commit
  33. 23 Oct, 2014 2 commits
  34. 22 Oct, 2014 1 commit
  35. 03 Sep, 2014 3 commits