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