eiffelbase2

Project Information
EiffelBase2 is a new version of the data structures part of EiffelBase library. We aim at making the new library conceptually consistent, useful, supplying it with complete model-based contracts and proving it correct.Category: data structures
Operating System: source
Programming Language: Eiffel
Project description:DOAP

Attention!

Due to Origo shutdown the repository for EiffelBase2 has been moved to https://bitbucket.org/nadiapolikarpova/eiffelbase2/