├── .gitignore ├── AUTHORS.md ├── Cargo.toml ├── LICENSE-ISC.txt ├── LICENSE-MPL2.txt ├── Makefile ├── README.md ├── TODO ├── app_tests ├── Cargo.toml ├── data │ └── seq_small │ │ ├── data-ss0-cl0.piplog │ │ ├── data-ss0-cl1.piplog │ │ ├── data-ss0-cl2.piplog │ │ ├── data-ss0.pip │ │ ├── data-ss1-cl0.piplog │ │ ├── data-ss1-cl1.piplog │ │ └── data-ss1.pip ├── examples │ └── sequences.rs ├── src │ ├── lib.rs │ └── seq.rs └── tests │ └── seq_create_small.rs ├── doc ├── api-requirements.md ├── blog │ ├── 2017-07-22-goodbye-partitioning.md │ └── README.md ├── enhancements.md ├── file-format.md ├── identifiers.md ├── log-files.md ├── log-requirements.md ├── partitioning-alternatives.md ├── partitioning.md ├── reasoning.md ├── repo-files.md ├── requirements.md └── technical-decisions.md ├── examples ├── hello.rs └── pippincmd.rs ├── scrap.rs ├── src ├── commit.rs ├── control.rs ├── elt.rs ├── error.rs ├── io │ ├── discover.rs │ ├── file.rs │ └── mod.rs ├── lib.rs ├── merge.rs ├── part.rs ├── pip.rs ├── rw │ ├── commitlog.rs │ ├── header.rs │ ├── mod.rs │ ├── snapshot.rs │ └── sum.rs ├── state.rs ├── sum.rs └── util.rs └── tests └── partition-ops.rs /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | /bin/ 4 | -------------------------------------------------------------------------------- /AUTHORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/AUTHORS.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-ISC.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/LICENSE-ISC.txt -------------------------------------------------------------------------------- /LICENSE-MPL2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/LICENSE-MPL2.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/TODO -------------------------------------------------------------------------------- /app_tests/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/Cargo.toml -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss0-cl0.piplog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss0-cl0.piplog -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss0-cl1.piplog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss0-cl1.piplog -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss0-cl2.piplog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss0-cl2.piplog -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss0.pip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss0.pip -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss1-cl0.piplog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss1-cl0.piplog -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss1-cl1.piplog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss1-cl1.piplog -------------------------------------------------------------------------------- /app_tests/data/seq_small/data-ss1.pip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/data/seq_small/data-ss1.pip -------------------------------------------------------------------------------- /app_tests/examples/sequences.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/examples/sequences.rs -------------------------------------------------------------------------------- /app_tests/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/src/lib.rs -------------------------------------------------------------------------------- /app_tests/src/seq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/src/seq.rs -------------------------------------------------------------------------------- /app_tests/tests/seq_create_small.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/app_tests/tests/seq_create_small.rs -------------------------------------------------------------------------------- /doc/api-requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/api-requirements.md -------------------------------------------------------------------------------- /doc/blog/2017-07-22-goodbye-partitioning.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/blog/2017-07-22-goodbye-partitioning.md -------------------------------------------------------------------------------- /doc/blog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/blog/README.md -------------------------------------------------------------------------------- /doc/enhancements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/enhancements.md -------------------------------------------------------------------------------- /doc/file-format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/file-format.md -------------------------------------------------------------------------------- /doc/identifiers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/identifiers.md -------------------------------------------------------------------------------- /doc/log-files.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/log-files.md -------------------------------------------------------------------------------- /doc/log-requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/log-requirements.md -------------------------------------------------------------------------------- /doc/partitioning-alternatives.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/partitioning-alternatives.md -------------------------------------------------------------------------------- /doc/partitioning.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/partitioning.md -------------------------------------------------------------------------------- /doc/reasoning.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/reasoning.md -------------------------------------------------------------------------------- /doc/repo-files.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/repo-files.md -------------------------------------------------------------------------------- /doc/requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/requirements.md -------------------------------------------------------------------------------- /doc/technical-decisions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/doc/technical-decisions.md -------------------------------------------------------------------------------- /examples/hello.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/examples/hello.rs -------------------------------------------------------------------------------- /examples/pippincmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/examples/pippincmd.rs -------------------------------------------------------------------------------- /scrap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/scrap.rs -------------------------------------------------------------------------------- /src/commit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/commit.rs -------------------------------------------------------------------------------- /src/control.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/control.rs -------------------------------------------------------------------------------- /src/elt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/elt.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/io/discover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/io/discover.rs -------------------------------------------------------------------------------- /src/io/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/io/file.rs -------------------------------------------------------------------------------- /src/io/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/io/mod.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/merge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/merge.rs -------------------------------------------------------------------------------- /src/part.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/part.rs -------------------------------------------------------------------------------- /src/pip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/pip.rs -------------------------------------------------------------------------------- /src/rw/commitlog.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/rw/commitlog.rs -------------------------------------------------------------------------------- /src/rw/header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/rw/header.rs -------------------------------------------------------------------------------- /src/rw/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/rw/mod.rs -------------------------------------------------------------------------------- /src/rw/snapshot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/rw/snapshot.rs -------------------------------------------------------------------------------- /src/rw/sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/rw/sum.rs -------------------------------------------------------------------------------- /src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/state.rs -------------------------------------------------------------------------------- /src/sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/sum.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/src/util.rs -------------------------------------------------------------------------------- /tests/partition-ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhardy/pippin/HEAD/tests/partition-ops.rs --------------------------------------------------------------------------------