d-SEAMS 2.0 paper¶
The paper “d-SEAMS 2.0: Incremental ring and cage algorithms for ice structure analysis” describes seams-core v2.12.0. Its tables and figures are frozen at that release, and each names the record it was read from. The pages below hold what changes between releases: the versions of every component, the benchmark tables of the latest rerun, and the steps that install the release and rerun the records.
page |
what it holds |
|---|---|
engine, front ends, dependency pins, comparison codes, machines |
|
every timing table of the paper and its supplement, with its record |
|
install the release, rerun each record, check the Lean development |
The records live under results/reference/ of the reproducibility
package, dseams2_repro.
Each record holds its run.sh, its raw output and a provenance.txt
with the archive checksum and the machine.