Re: [polyml] Bug fixes and 5.4.1

2011-07-14 Thread Gio
On Thu, 14 Jul 2011 10:21:56 -0700, David Matthews wrote: I'm planning to release this as a bug-fix release in the next week or so unless anyone reports any problems. Fantastic news! ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.a

[polyml] Bug fixes and 5.4.1

2011-07-14 Thread David Matthews
There have been a few bugs fixed since the release of 5.4. I've now back-ported the fixes to the 5.4-fixes branch and updated the pre-built compilers for all the architectures. The two issues that seem to have caused particular problems are the divide instruction bug that caused an assertion