Poly/ML

polyml@lists.polyml.org

698 discussions

Poly/ML version 4.2.0
by David.Matthews＠prolingua.co.uk 08 Dec '05

08 Dec '05

I've now fully released the new version of Poly/ML. I've upped the version number to 4.2.0 for the release but it is essentially version 4.1.4 with a very few changes. This is now the official release on the Poly/ML website. I've created an installation for Windows but I haven't attempted to created binary installations for any other operating system. Since Poly/ML is now under LGPL it should be possible to package it in with the individual operating system distributions. If anyone does make a binary distribution could they let me know so that I can put a reference to it on the downloads page and if appropriate include a copy on the sourceforge site. David.

2 2

Fwd: Re: installation
by giamp＠dmi.unict.it 05 Dec '05

05 Dec '05

Hi, can you please help? Thanks! -- Giamp ----- Forwarded message from Lawrence Paulson <lp15(a)cam.ac.uk> ----- Date: Fri, 2 Dec 2005 11:48:53 +0000 From: Lawrence Paulson <lp15(a)cam.ac.uk> Reply-To: Lawrence Paulson <lp15(a)cam.ac.uk> Subject: Re: installation To: giamp(a)dmi.unict.it Try your question at polyml(a)informatics.ed.ac.uk. If they recomment Poly/ML-4.2, you need to download our Poly/ML-4.14, which is a version of that patched "backwards" to support the current Isabelle release. There's always SML/NJ, though it's slower for big proofs. Larry On 2 Dec 2005, at 11:29, giamp(a)dmi.unict.it wrote: > I'm trying to install Isabelle on an AMD Athlon 64, which is a 64 > bit x86 > architecture. > > Polyml gives a known segmentation fault, but installing its fix > produces: > > Poly/ML is not available for this architecture - x86_64 > > Ever heard about this? Do I just need to change machine? ----- End forwarded message ----- ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.

3 3

segmentation fault
by ewenmaclean＠gmail.com 19 Oct '05

19 Oct '05

Skipped content of type multipart/alternative

3 4

Anyone using FXP on Poly/ML 4.1.4?
by brucker＠spamfence.net 05 Oct '05

05 Oct '05

Hi, is anyone using fxp (a XML parser for SML, see [1]) with Poly/ML (version 4.1.4 from sf.net)? I "ported" fxp more or less successfully to Poly/ML 4.1.4 (i.e., it compiles without errors) but I'm getting strange runtime errors. The same code runs flawlessly using sml/NJ and MLton, thus I think the reason of my problem is a behavioural difference of Poly/ML in the basis library. Finding this difference seems to be not that easy, thus I'm interested in people that are already using fxp together with Poly/ML. Do you have ny hints, tipps, or tricks? Achim [1] http://atseidl2.informatik.tu-muenchen.de/~berlea/Fxp/

1 0

Poly/ML 4.1.4 Release
by makarius＠sketis.net 04 Oct '05

04 Oct '05

David.Matthews(a)prolingua.co.uk wrote: > I have built a new release for Poly/ML and installed it on the > sourceforge site at http://sourceforge.net/projects/polyml . There is a > database for each of the i386, PPC and Sparc architectures and sources > for the driver, compiler and Basis library. As before, you need the > driver plus the appropriate database. I am about to try this with Isabelle2005. Concerning Solaris: How do you actually compile the poly driver? Using gcc 3.2.2 produces the following error: gcc -DGCC -DSPARC -DSOLARIS -DSOLARIS2 -DBIGHEAP -c -o sparc_assembly.o sparc_assembly.S sparc_assembly.S: Assembler messages: sparc_assembly.S:1782: Error: Illegal operands make[1]: *** [sparc_assembly.o] Error 1 make[1]: Leaving directory `/export/T3/proj/polyml/polyml-4.1.4-test/driver' make: *** [none] Error 2 Note that the same problem occurs with the 4.1.3 driver. Makarius

2 1

Poly/ML 4.1.4 Release
by David.Matthews＠prolingua.co.uk 03 Oct '05

03 Oct '05

I have built a new release for Poly/ML and installed it on the sourceforge site at http://sourceforge.net/projects/polyml . There is a database for each of the i386, PPC and Sparc architectures and sources for the driver, compiler and Basis library. As before, you need the driver plus the appropriate database. This version has fixes for various bugs including the Linux segmentation fault which was fixed in the development sources. It also turns off optimisation in the C compiler which seems to cause problems. The main change, though, is that the Basis Library now conforms to Gansner and Reppy's book. This contains a few changes which are incompatible with the old version, notably the use of array and vector slices. Please try out this version and let me know if there are any significant problems. If I don't hear anything in the next week or so I will update the web site to point to this as the current official release. If I've failed to include a fix/suggestion you sent me I apologise. I'll try and make sure these get into the CVS. I have not built any packages at the moment. If anyone has experience of building packages for particular operating systems and distributions it might be better if they could do it. If you do and want to include it on the sourceforge site let me know. Now that Poly/ML is licensed under LGPL it should be possible to include it in the operating system distributions. I will make a Windows package and upload that shortly. I know it's been a long time since the last Poly/ML distribution but I think on the whole it's better not to produce them unless there is a significant reason. David.

3 4

Sourceforge project
by David.Matthews＠prolingua.co.uk 23 Sep '05

23 Sep '05

I have set up a SourceForge project for Poly/ML which I am intending to use for Poly/ML downloads in future. It can be found at http://sourceforge.net/projects/polyml . It currently has the latest development sources in CVS. If anyone would like to become a project developer please contact me. David.

1 0

Poly/ML and the SML'97 Basis Library
by rda＠lemma-one.com 22 Jun '05

22 Jun '05

Trying to get ProofPower working against the a recent version (110.54) of Standard ML of New Jersey has flagged a few disccrepancies between the Basis Library as implemented in Poly/ML 4.1.3 and the documentation at http://www.standardml.org/Basis/history.html. What is the position for Poly/ML intended to be? (The discrepancies I found are in Array.copy and TextIO.inputLine which have different signatures. Poly/ML agrees with the so-called stable version 110.0.7 of SML/NJ, but as that's 7 years old, it's not a very useful implementation!). Regards, Rob.

2 1

Still getting strange behavior with Poly 4.13 on WinXP
by byron.hale＠einfo.com 10 Jun '05

10 Jun '05

Hi, I still get problems with unwanted environment retention on Windows XP. That wasn't the case in Fall 2003, so I'm wondering if the many Windows updates have resulted in an incompatibility with 4.13. I've even tried re-installing 4.13, but get the same behavior. It seems as if I've tried what seems like everything, except reinstalling 4.13 every time I want to have a fresh environment. Ideas? Thanks, Byron Hale

1 0

Poly/ML Licensing
by David.Matthews＠prolingua.co.uk 10 May '05

10 May '05

There has been some discussion about the Poly/ML licence and the fact that it is "non-standard" and so causes problems with including it in open-source distributions. I have now received permission from CUTS, the copyright holders for the bulk of Poly/ML, to issue Poly/ML under the Lesser GPL. This seemed the best choice as it allows any commercial users to distribute a binary-only version with their software. I will update the web-site shortly and change the source code to refer to LGPL rather than the Poly/ML licence for the next release. I'm currently working on updating the basis library to match Gansner and Reppy's book. Once that's completed there will be a new release. Thanks to Larry Paulson and Mike Gordon for their assistance in negotiating with CUTS. David Matthews.

1 0

← Newer
1
...
60
61
62
63
64
65
66
...
70
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML