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