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