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)
  - linux x86 binaries
  - small demo examples
  - tutorial

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