├── .gitignore ├── CHANGES.md ├── CONTRIBUTING.md ├── LICENSE.md ├── Makefile ├── debug_lib ├── debug.mlh ├── generate_debug_lib.sh └── jbuild ├── incremental_kernel.opam ├── src ├── adjust_heights_heap.ml ├── adjust_heights_heap.mli ├── alarm.ml ├── alarm.mli ├── alarm_value.ml ├── alarm_value.mli ├── array_fold.ml ├── array_fold.mli ├── at.ml ├── at.mli ├── at_intervals.ml ├── at_intervals.mli ├── balanced_reducer.ml ├── balanced_reducer.mli ├── before_or_after.ml ├── before_or_after.mli ├── bind.ml ├── bind.mli ├── config.ml ├── config.mli ├── config_intf.ml ├── cutoff.ml ├── cutoff.mli ├── debug.mlh ├── expert.ml ├── expert.mli ├── expert1.ml ├── expert1.mli ├── freeze.ml ├── freeze.mli ├── if_then_else.ml ├── if_then_else.mli ├── import.ml ├── incremental_kernel.ml ├── incremental_kernel.mli ├── incremental_kernel_intf.ml ├── internal_observer.ml ├── internal_observer.mli ├── jbuild ├── join.ml ├── join.mli ├── kind.ml ├── kind.mli ├── node.ml ├── node.mli ├── node_id.ml ├── node_id.mli ├── observer.ml ├── observer.mli ├── on_update_handler.ml ├── on_update_handler.mli ├── raised_exn.ml ├── raised_exn.mli ├── recompute_heap.ml ├── recompute_heap.mli ├── reduce_balanced.ml ├── reduce_balanced.mli ├── scope.ml ├── scope.mli ├── sexp_of.ml ├── should_not_use.ml ├── should_not_use.mli ├── snapshot.ml ├── snapshot.mli ├── stabilization_num.ml ├── stabilization_num.mli ├── state.ml ├── step_function.ml ├── step_function.mli ├── types.ml ├── unordered_array_fold.ml ├── unordered_array_fold.mli ├── var.ml └── var.mli └── test ├── import.ml ├── jbuild ├── test_balanced_reducer.ml ├── test_balanced_reducer.mli ├── test_config.ml ├── test_config.mli ├── test_deprecation.mlt ├── test_let_syntax.ml └── test_let_syntax.mli /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.install 3 | *.merlin 4 | 5 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/Makefile -------------------------------------------------------------------------------- /debug_lib/debug.mlh: -------------------------------------------------------------------------------- 1 | [%%define JSC_DEBUG true] 2 | -------------------------------------------------------------------------------- /debug_lib/generate_debug_lib.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/debug_lib/generate_debug_lib.sh -------------------------------------------------------------------------------- /debug_lib/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/debug_lib/jbuild -------------------------------------------------------------------------------- /incremental_kernel.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/incremental_kernel.opam -------------------------------------------------------------------------------- /src/adjust_heights_heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/adjust_heights_heap.ml -------------------------------------------------------------------------------- /src/adjust_heights_heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/adjust_heights_heap.mli -------------------------------------------------------------------------------- /src/alarm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/alarm.ml -------------------------------------------------------------------------------- /src/alarm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/alarm.mli -------------------------------------------------------------------------------- /src/alarm_value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/alarm_value.ml -------------------------------------------------------------------------------- /src/alarm_value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/alarm_value.mli -------------------------------------------------------------------------------- /src/array_fold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/array_fold.ml -------------------------------------------------------------------------------- /src/array_fold.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/array_fold.mli -------------------------------------------------------------------------------- /src/at.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/at.ml -------------------------------------------------------------------------------- /src/at.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/at.mli -------------------------------------------------------------------------------- /src/at_intervals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/at_intervals.ml -------------------------------------------------------------------------------- /src/at_intervals.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/at_intervals.mli -------------------------------------------------------------------------------- /src/balanced_reducer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/balanced_reducer.ml -------------------------------------------------------------------------------- /src/balanced_reducer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/balanced_reducer.mli -------------------------------------------------------------------------------- /src/before_or_after.ml: -------------------------------------------------------------------------------- 1 | type t = Before | After 2 | [@@deriving sexp_of] 3 | -------------------------------------------------------------------------------- /src/before_or_after.mli: -------------------------------------------------------------------------------- 1 | type t = Before | After 2 | [@@deriving sexp_of] 3 | -------------------------------------------------------------------------------- /src/bind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/bind.ml -------------------------------------------------------------------------------- /src/bind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/bind.mli -------------------------------------------------------------------------------- /src/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/config.ml -------------------------------------------------------------------------------- /src/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/config.mli -------------------------------------------------------------------------------- /src/config_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/config_intf.ml -------------------------------------------------------------------------------- /src/cutoff.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/cutoff.ml -------------------------------------------------------------------------------- /src/cutoff.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/cutoff.mli -------------------------------------------------------------------------------- /src/debug.mlh: -------------------------------------------------------------------------------- 1 | [%%define JSC_DEBUG false] 2 | -------------------------------------------------------------------------------- /src/expert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/expert.ml -------------------------------------------------------------------------------- /src/expert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/expert.mli -------------------------------------------------------------------------------- /src/expert1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/expert1.ml -------------------------------------------------------------------------------- /src/expert1.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/expert1.mli -------------------------------------------------------------------------------- /src/freeze.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/freeze.ml -------------------------------------------------------------------------------- /src/freeze.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/freeze.mli -------------------------------------------------------------------------------- /src/if_then_else.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/if_then_else.ml -------------------------------------------------------------------------------- /src/if_then_else.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/if_then_else.mli -------------------------------------------------------------------------------- /src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/import.ml -------------------------------------------------------------------------------- /src/incremental_kernel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/incremental_kernel.ml -------------------------------------------------------------------------------- /src/incremental_kernel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/incremental_kernel.mli -------------------------------------------------------------------------------- /src/incremental_kernel_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/incremental_kernel_intf.ml -------------------------------------------------------------------------------- /src/internal_observer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/internal_observer.ml -------------------------------------------------------------------------------- /src/internal_observer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/internal_observer.mli -------------------------------------------------------------------------------- /src/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/jbuild -------------------------------------------------------------------------------- /src/join.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/join.ml -------------------------------------------------------------------------------- /src/join.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/join.mli -------------------------------------------------------------------------------- /src/kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/kind.ml -------------------------------------------------------------------------------- /src/kind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/kind.mli -------------------------------------------------------------------------------- /src/node.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/node.ml -------------------------------------------------------------------------------- /src/node.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/node.mli -------------------------------------------------------------------------------- /src/node_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/node_id.ml -------------------------------------------------------------------------------- /src/node_id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/node_id.mli -------------------------------------------------------------------------------- /src/observer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/observer.ml -------------------------------------------------------------------------------- /src/observer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/observer.mli -------------------------------------------------------------------------------- /src/on_update_handler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/on_update_handler.ml -------------------------------------------------------------------------------- /src/on_update_handler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/on_update_handler.mli -------------------------------------------------------------------------------- /src/raised_exn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/raised_exn.ml -------------------------------------------------------------------------------- /src/raised_exn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/raised_exn.mli -------------------------------------------------------------------------------- /src/recompute_heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/recompute_heap.ml -------------------------------------------------------------------------------- /src/recompute_heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/recompute_heap.mli -------------------------------------------------------------------------------- /src/reduce_balanced.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/reduce_balanced.ml -------------------------------------------------------------------------------- /src/reduce_balanced.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/reduce_balanced.mli -------------------------------------------------------------------------------- /src/scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/scope.ml -------------------------------------------------------------------------------- /src/scope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/scope.mli -------------------------------------------------------------------------------- /src/sexp_of.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/sexp_of.ml -------------------------------------------------------------------------------- /src/should_not_use.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/should_not_use.ml -------------------------------------------------------------------------------- /src/should_not_use.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/should_not_use.mli -------------------------------------------------------------------------------- /src/snapshot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/snapshot.ml -------------------------------------------------------------------------------- /src/snapshot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/snapshot.mli -------------------------------------------------------------------------------- /src/stabilization_num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/stabilization_num.ml -------------------------------------------------------------------------------- /src/stabilization_num.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/stabilization_num.mli -------------------------------------------------------------------------------- /src/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/state.ml -------------------------------------------------------------------------------- /src/step_function.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/step_function.ml -------------------------------------------------------------------------------- /src/step_function.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/step_function.mli -------------------------------------------------------------------------------- /src/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/types.ml -------------------------------------------------------------------------------- /src/unordered_array_fold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/unordered_array_fold.ml -------------------------------------------------------------------------------- /src/unordered_array_fold.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/unordered_array_fold.mli -------------------------------------------------------------------------------- /src/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/var.ml -------------------------------------------------------------------------------- /src/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/src/var.mli -------------------------------------------------------------------------------- /test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/test/import.ml -------------------------------------------------------------------------------- /test/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/test/jbuild -------------------------------------------------------------------------------- /test/test_balanced_reducer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/test/test_balanced_reducer.ml -------------------------------------------------------------------------------- /test/test_balanced_reducer.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/test/test_config.ml -------------------------------------------------------------------------------- /test/test_config.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_deprecation.mlt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/test/test_deprecation.mlt -------------------------------------------------------------------------------- /test/test_let_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incremental_kernel/HEAD/test/test_let_syntax.ml -------------------------------------------------------------------------------- /test/test_let_syntax.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | --------------------------------------------------------------------------------