[M3devel] About Simplify build script platforms and cm3ide service

[Daniel Alejandro Benavides D.]

Hi all:
I was wondering as I remember Simplify has a component to show IO (not sure for input) web page to show results or the theorems being proved and their proof and some test suites contain test compliant test suites, it seems we surely will have to display that for other clients than us, so it might be useful to put this tests or runs in the cm3ide server, as it allows to show a centralized approach rather than running simplify from old binary versions. It is also an opportunity to show an application of it, Modula-3 and of an application itself and by the way make cm3 improved performance for long runs of it since this is really an used tool, thus we can show how the compiler can take and how much can be optimized for every platform (perhaps to rethink a build script for it and perhaps to add optimization backend support port of  DS3100 burs based? or full 64 bit support in Win2k, xp, 2003, Server, Vista, 7, etc platforms, perhaps better to make an
 improvement over current Win*nix Platforms?
There are some tools which might use that, I know from two sources test suites mentioned coming from ESC in Modula-3, Java and later versions
Originally from the ESC/Modula-3 VCG:
http://portal.acm.org/citation.cfm?id=1066102&dl=guide&coll=GUIDE

(In section Source Materials, the second tab, inside simplify_benchmarks hyperlink and see simplify_benchmarks/format.txt for thge big and small suites or download directly from:
http://delivery.acm.org/10.1145/1070000/1066102/supp/simplify_benchmarks.tar.gz?key1=1066102&key2=3798331031&coll=DL&dl=ACM&CFID=15503308&CFTOKEN=88865083 

)

later modification of ESC/Java VCG relevant originally in:
http://replay.waybackmachine.org/20090422004503/http://nemerle.org/~malekith/smt/benchmarks/
Even other systems like JVM based Whiley, and or so any ESC/JVM itself, etc.
  
Thanks in advance