Nightly builds (with Incremental-KaSa)
Pre-release
Pre-release
·
110 commits
to incremental-KaSa
since this release
Last version of the tools for the Incremental-KaSa branch.
This development branch is dedicated to the implementation of the incremental static analyzer.
(The result of the previous analyses is re-used to compute the next one at each edition of the model).