├── .gitignore ├── .travis.yml ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.rst ├── benches ├── bench.rs ├── binary_search.rs ├── merge.rs └── quicksort.rs ├── src ├── algorithms.rs ├── container.rs ├── container_traits.rs ├── index_error.rs ├── indexing.rs ├── lib.rs ├── macro_utils.rs ├── pointer.rs ├── pointer_ext.rs └── proof.rs └── tests ├── compile-fail ├── basic-branding-pointers.rs ├── basic-branding.rs ├── basic-branding2.rs ├── join-proof-add.rs ├── join_cover.rs ├── multiborrow.rs ├── pointers-deref.rs └── twin-pointers.rs ├── compiletest.rs ├── tests.rs └── vec.rs /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/README.rst -------------------------------------------------------------------------------- /benches/bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/benches/bench.rs -------------------------------------------------------------------------------- /benches/binary_search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/benches/binary_search.rs -------------------------------------------------------------------------------- /benches/merge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/benches/merge.rs -------------------------------------------------------------------------------- /benches/quicksort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/benches/quicksort.rs -------------------------------------------------------------------------------- /src/algorithms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/algorithms.rs -------------------------------------------------------------------------------- /src/container.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/container.rs -------------------------------------------------------------------------------- /src/container_traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/container_traits.rs -------------------------------------------------------------------------------- /src/index_error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/index_error.rs -------------------------------------------------------------------------------- /src/indexing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/indexing.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/macro_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/macro_utils.rs -------------------------------------------------------------------------------- /src/pointer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/pointer.rs -------------------------------------------------------------------------------- /src/pointer_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/pointer_ext.rs -------------------------------------------------------------------------------- /src/proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/src/proof.rs -------------------------------------------------------------------------------- /tests/compile-fail/basic-branding-pointers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/basic-branding-pointers.rs -------------------------------------------------------------------------------- /tests/compile-fail/basic-branding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/basic-branding.rs -------------------------------------------------------------------------------- /tests/compile-fail/basic-branding2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/basic-branding2.rs -------------------------------------------------------------------------------- /tests/compile-fail/join-proof-add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/join-proof-add.rs -------------------------------------------------------------------------------- /tests/compile-fail/join_cover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/join_cover.rs -------------------------------------------------------------------------------- /tests/compile-fail/multiborrow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/multiborrow.rs -------------------------------------------------------------------------------- /tests/compile-fail/pointers-deref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/pointers-deref.rs -------------------------------------------------------------------------------- /tests/compile-fail/twin-pointers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compile-fail/twin-pointers.rs -------------------------------------------------------------------------------- /tests/compiletest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/compiletest.rs -------------------------------------------------------------------------------- /tests/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/tests.rs -------------------------------------------------------------------------------- /tests/vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bluss/indexing/HEAD/tests/vec.rs --------------------------------------------------------------------------------