Clean 2.3 Compatibility Overview

From Clean
Revision as of 16:47, 17 December 2010 by Bas Lijnse (talk | contribs) (Started with compatibility overview of Clean 2.3)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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 - -
Dynamic linker X - - -
Batch build (Clean make system) x x x x
CLM (Linux clean make system) - - X X
Additional tools
Project file editor - - X X
Clean IDE X X - -
Time profile viewer X X x x
Heap profile viewer X X - -
htoclean X X X X
Sparkle (proof system) X - - -

X = Available in the distribution x = Will become available, but not yet included O = Optionally available for that platform - = Not available for that platform ? = Not tested / Unknown