Clean 2.3 Compatibility Overview: Difference between revisions

From Clean
Jump to navigationJump to search
No edit summary
No edit summary
 
Line 56: Line 56:
|-
|-
! Dynamics
! Dynamics
| X || ip || - || -
| X || x || - || -
|-
|-
! ArgEnv
! ArgEnv
Line 101: Line 101:


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

Latest revision as of 13:24, 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 x - -
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 x = Available with limitations for that platform ip = In progress, not yet included O = Optionally available for that platform - = Not available for that platform ? = Not tested / Unknown