All Versions
32
Avg Release Cycle
66 days
Latest Release
1119 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