Benchmarks

Benchmarks are sorted by date, with the latest benchmarks at the top of the page.

• Benchmark of pull request #9: Statistics comparing the upstream (Def) with a fork (Ass) where heap compressions are only performed when an assertions fails.

• Benchmark of commit 1cac09a: Statistics comparing a version (ND) using immutable sets and maps with a deterministic iteration order (ListSet and ListMap, to be precise) with the upstream (Def).

• Benchmark of commit 324dfba: Statistics comparing a version (FAX) that axiomatises program functions (potentially heap-dependent functions) up-front (essentially as done in VCG) with the upstream (Def), which evaluates function bodies each time a function is applied.