# Upstream reference

Source: https://github.com/TimelyDataflow/differential-dataflow
Version: 0.25.1. Pinned commit: `aa8745f93ea8abe131104fc7885ba4fd47e63902`.
Unmodified reference lives in `.repos/differential-dataflow` (ignored).

```sh
git clone https://github.com/TimelyDataflow/differential-dataflow .repos/differential-dataflow
git -C .repos/differential-dataflow checkout aa8745f93ea8abe131104fc7885ba4fd47e63902
```

The upstream MIT license and copyright notices are retained.

## Required Timely runtime

Reference: https://github.com/TimelyDataflow/timely-dataflow, tag `timely-v0.31.0`,
commit `eba4ae5298442cc2475e5ef82277bb135e4a7ea4`.
Checkout: `.repos/timely-dataflow`. Its MIT notice is in `LICENSE-TIMELY`.

Restore Timely before running the differential harness:

```sh
git clone https://github.com/TimelyDataflow/timely-dataflow .repos/timely-dataflow
git -C .repos/timely-dataflow checkout eba4ae5298442cc2475e5ef82277bb135e4a7ea4
```

`validation/pins.json` and the committed Cargo lockfile are checked by the harness.