This list is meant to catalog bug reports and solutions for the Infosphere Infrastructure.
The Infospheres Project is sponsored by the CISE directorate of the National Science Foundation under Problem Solving Environments grant CCR-9527130, the Center for Research in Parallel Computing under grant NSF CCR-9120008, and by Parasoft and Novell. The formal methods and adaptivity (reliability, mobility, security) parts of the project are sponsored by the Air Force Office of Scientific Research under grant AFOSR F49620-94-1-0244.