Skip to content
Snippets Groups Projects
  1. Jul 19, 2012
  2. Jul 13, 2012
    • Ian Lynagh's avatar
      Add another gcdInteger rule · 4b780b93
      Ian Lynagh authored
      This one is better when the result is converted to an Int
      4b780b93
    • Ian Lynagh's avatar
      Tweak RULEs; fixes #7041 · a07f118c
      Ian Lynagh authored
      In particular, the gcd rule now uses smallInteger rather than S#, which
      means that it actually fires.
      
      Also fixed a bug when the result is minBound :: Int.
      a07f118c
  3. Jun 27, 2012
  4. Jun 20, 2012
  5. Jun 19, 2012
  6. Mar 28, 2012
  7. Mar 16, 2012
  8. Mar 15, 2012
  9. Mar 06, 2012
  10. Feb 03, 2012
    • Ian Lynagh's avatar
      Updated to a newer version of gmp; fixes #5810 · 55250466
      Ian Lynagh authored
      I didn't diagnose the problem, but with the newer GMP the problem seems
      fixed. There are a couple of things that look like candidates for the
      bug:
      * A few minor bugs related to portability fixed.
      * A bug in division code possibly causing incorrect computation was fixed.
      55250466
  11. Jan 26, 2012
    • Ian Lynagh's avatar
      Add some rules; fixes #5767 · 9be779d9
      Ian Lynagh authored
      We now have rules for
          integerToInt    (smallInteger    x) = x
          integerToWord   (wordToInteger   x) = x
          integerToInt64  (int64ToInteger  x) = x
          integerToWord64 (word64ToInteger x) = x
      9be779d9
  12. Dec 02, 2011
  13. Dec 01, 2011
  14. Nov 29, 2011
  15. Nov 19, 2011
  16. Oct 01, 2011
  17. Sep 30, 2011
  18. Sep 17, 2011
  19. Sep 13, 2011
  20. Aug 26, 2011
  21. Aug 25, 2011
  22. Aug 10, 2011
  23. Aug 04, 2011
  24. Jul 30, 2011
  25. Jul 27, 2011
  26. Jul 23, 2011
  27. Jul 22, 2011
  28. Jul 06, 2011
  29. Apr 23, 2011
  30. Apr 22, 2011
  31. Apr 05, 2011
Loading