All Versions
32
Latest Version
Avg Release Cycle
66 days
Latest Release
1106 days ago

Changelog History
Page 2

  • v0.5.6 Changes

    October 31, 2017
    • 🛠 Fixes bugs:
      • (x + 1) ~ (2 * y) no longer implies ((2 * (y - 1)) + 1) ~ x

  • v0.5.5 Changes

    October 22, 2017
    • Solve inequalities when their normal forms are the same, i.e.
      • (2 <= (2 ^ (n + d))) implies (2 <= (2 ^ (d + n)))
    • Find more unifications:
      • 8^x - 2*4^x ~ 8^y - 2*4^y ==> [x := y]

  • v0.5.4 Changes

    October 14, 2017
    • Perform normalisations such as: 2^x * 4^x ==> 8^x

  • v0.5.3 Changes

    May 15, 2017
    • ➕ Add support for GHC 8.2

  • v0.5.2 Changes

    January 15, 2017
    • 🛠 Fixes bugs:
      • Reification from SOP to Type sometimes loses product terms

  • v0.5.1 Changes

    September 29, 2016
    • 🛠 Fixes bugs:
      • Cannot solve an equality for the second time in a definition group

  • v0.5 Changes

    August 17, 2016
    • Solve simple inequalities, i.e.:
      • a <= a + 1
      • 2a <= 3a
      • 1 <= a^b

  • v0.4.6 Changes

    July 21, 2016
    • ⬇️ Reduce "x-y * xy" to 1
    • 🛠 Fixes bugs:
      • Subtraction in exponent induces infinite loop

  • v0.4.5 Changes

    July 20, 2016
    • 🛠 Fixes bugs:
      • Reifying negative exponent causes GHC panic

  • v0.4.4 Changes

    July 19, 2016
    • 🛠 Fixes bugs:
      • Rounding error in logBase calculation