Download

We offer here for download 32-bit Linux binaries and benchmarks related to the eVolCheck tool.

    evolcheck-0.5.tar.gz (12.4M)
  • evolcheck, goto-cc, goto-diff binaries
  • evolcheck plugin for Eclipse 3.7
  • industrial benchmarks
  • running script
  • evaluation table

      • evolcheck-0.1.tar.gz (4M)
    1. linux x86 binaries
    2. small demo examples
    3. tutorial

      benchmarks.tar.gz (11.4M)
  • industrial benchmarks
  • precompiled goto-binaries
  • running script