Clean 2.3 Compatibility Overview

From Clean
Jump to navigationJump to search

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 - - -
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