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