Clean 2.3 Compatibility Overview

From Clean
(Difference between revisions)
Jump to: navigation, search
Line 27: Line 27:
 
|-
 
|-
 
! Project file editor
 
! Project file editor
| - || - || X || X
+
| - || - || ip || ip
 
|-
 
|-
 
! Clean IDE
 
! Clean IDE

Revision as of 12:34, 20 December 2010

Not all Clean Tools and Libraries are available on each platform. On this page we provide an overview of what is available on which platforms for the (upcoming) Clean 2.3 release.

Platform Windows 32-bit Windows 64-bit Linux 32-bit Linux 64-bit
System tools
Clean 2.3 compiler X X X X
Code generator X X X X
Optimizing static linker X X X X
Dynamic linker X - - -
Batch build (Clean make system) ip ip ip ip
CLM (Linux clean make system) - - X X
Additional tools
Project file editor - - ip ip
Clean IDE X X - -
Time profile viewer X X ip ip
Heap profile viewer X X - -
htoclean X X X X
Sparkle (proof system) X - - -
System libraries
StdEnv X X X X
StdEnv (Sparkle version) X - - -
Generics X X X X
Dynamics X ip - -
ArgEnv X X X X
Directory X X X X
ExceptionsWindows X - - -
TCPIP X X - -
Other libraries
ExtendedArith X - - -
Gamelib X X - -
Gast X X  ?  ?
MersenneTwister X X X X
ObjectIO X X - -
Tcp (ObjectIO version) X X - -
Parsers X X  ?  ?
StdLib X X X X
WrapDebug X X - -

X = Available in the distribution ip = In progress, not yet included O = Optionally available for that platform - = Not available for that platform ? = Not tested / Unknown

Personal tools