ECLiPSe Internal Documentation

Project Rules, Procedures, Methodology

• Components and Maintainers
• Guidelines/Howto
• How to add a new Eclipse library
• How to merge changes from one branch to another in CVS
• How to make a release
• How to deal with a new XPRESS release
• How to review code
• How the nightly builds work
• PT new release process

Sources

• Literate Library Sources

Libraries

• Interval Solver IC
• IC Design
• IC Compile Time Transforms
• Eplex
• Eplex Implementation (from 5.7, "standalone" version)
• Eplex Implementation (up to 5.7, "bounds keeper" version)
• Repair
• Repair Implementation

Kernel

• ECLiPSe Internals Manual(Pdf)
• Notes on individual features
• Load format for compiled code
• Changes to the module system in release 5.0
• Initialisation flags
• Cut fail actions
• C builtin types
• Trail format
• Implementation of setarg and other destructive assignments
• Timestamps and Fail-Events
• After-Events
• Breakpoints
• Bounded reals
• Occurs Check

Interfaces

• Exdr format Version 1 (Version 2 see Embedding Manual)
• ECLiPSe Runtime Subset
• ECLiPSe Licensing Issues (Runtime, Flexlm, Xpress, Cplex)
• Peers in Embedded ECLiPSe
• Oracle interface

Development Tools

• Tracer
• Interfacing a user interface to the ECLiPSe tracer
• filter for tracer in Tk development tools
• Visualisation

Miscellaneous

• Problems with dynamic libraries and LD_LIBRARY_PATH

Parallel System (unsupported)

• Scheduler
• Message passing system