├── LICENSE ├── Makefile ├── commands.ml ├── interaction.ml ├── lmdb_stubs.c ├── main.ml ├── make_stubs ├── mdb.ml ├── pijul.ml ├── pijul.mli ├── tests ├── basic.sh ├── linedel.sh ├── rollback.sh └── unrecord.sh └── todo.org /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/Makefile -------------------------------------------------------------------------------- /commands.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/commands.ml -------------------------------------------------------------------------------- /interaction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/interaction.ml -------------------------------------------------------------------------------- /lmdb_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/lmdb_stubs.c -------------------------------------------------------------------------------- /main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/main.ml -------------------------------------------------------------------------------- /make_stubs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/make_stubs -------------------------------------------------------------------------------- /mdb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/mdb.ml -------------------------------------------------------------------------------- /pijul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/pijul.ml -------------------------------------------------------------------------------- /pijul.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/pijul.mli -------------------------------------------------------------------------------- /tests/basic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/tests/basic.sh -------------------------------------------------------------------------------- /tests/linedel.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/tests/linedel.sh -------------------------------------------------------------------------------- /tests/rollback.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/tests/rollback.sh -------------------------------------------------------------------------------- /tests/unrecord.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/tests/unrecord.sh -------------------------------------------------------------------------------- /todo.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/8l/pijul/HEAD/todo.org --------------------------------------------------------------------------------