View the project on GitHub
Welcome to the Chip website!
This project provides a Coq specification and executable functions for change impact analysis, as used in build systems and tools for regression test selection. By extraction to OCaml code, practical certified tools for change impact analysis can be obtained as well.
This is an open source project, licensed under the MIT license.
The current stable release of Chip can be downloaded from GitHub.
The coqdoc presentations of releases can be browsed online:
The formalization and tool is described in the following publication(s):