Clean 2.3 Compatibility Overview
From Clean
Jump to navigationJump to searchNot 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