-
Notifications
You must be signed in to change notification settings - Fork 34
Benchmarks
Federico Poli edited this page Feb 21, 2020
·
1 revision
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.