# Description
Completed the outstanding tasks in #1708
Also changed theme from readthedocs to mkdocs - both are built-in but
latter looks sleeker
# Related Issue(s)
closes#1708
---------
Co-authored-by: Robert Pack <42610831+roeap@users.noreply.github.com>
Co-authored-by: R. Tyler Croy <rtyler@brokenco.de>
# Description
The description of the main changes of your pull request
# Related Issue(s)
<!---
For example:
- closes#106
--->
Closes#971
# Documentation
<!---
Share links to useful documentation
--->
# Description
1. Add to `.gitignore` so that all `Cargo.lock` files except for the
ones in the listed binary crates are ignored.
2. Add `Cargo.lock` to the proofs crate since it is binary.
3. Remove `Cargo.lock` from the root directory.
# Related Issue(s)
Closes https://github.com/delta-io/delta-rs/issues/1000
* feat: read vacuumed delta log without _last_checkpoint
* chore: fmt
* fix: reading metadta of files thay may have been removed
* fix: handle errors in local store list
* fix: re-add size to local list
* chore: clippy
* ci: move cache behind toolstack
* fix: allow not found when searching latest checkpoint
* Initial writer implementation
* Add basic partitioning support
* Update docs and link to other projects
* Add Pandas support
* Test writer stats and partitioning
* Test statistics
* Enforce protocol version
* Add experimental to docstring
* Need tying extensions for checking now
* Add nipick ignore for typing_extensions
Spec is model checked without pause and crash.
Adding crash and pause to the modeling requires enabling timer in the
spec (i.e. setting TIME_TICK_UNIT > 0). This will fail the model check
because lock with expiration cannot guarantee correctness without use of
fencing token.
gautham acharya
Nikolay Ulmasov
Robert Pack
Ian Alexander Joiner
Robert Pack
Graeme Cliffe
Will Jones
Conner Murphy
Serge Smertin
QP Hou
R Tyler Croy