├── .cursorignore ├── .github └── workflows │ ├── ci.yml │ └── gh-pages.yml ├── .gitignore ├── .ocamlformat ├── .ocamlformat-ignore ├── .specstory └── history │ ├── 2025-02-26_12-01-debugging-test-failures-after-recent-changes.md │ ├── 2025-02-27_11-48-optimizing-prevrun-for-large-chunks.md │ ├── 2025-02-27_12-48-memoizing-message-comparisons-in-prevrun.md │ ├── 2025-02-27_21-05-enhancing-prevrun-with-depth-considerations.md │ ├── 2025-02-27_21-36-optimizing-prevrun-hashtable-and-pruning.md │ ├── 2025-02-28_01-13-optimizing-minimal-edit-distance-calculation.md │ ├── 2025-02-28_09-54-optimizing-edit-distance-algorithm-implementation.md │ ├── 2025-02-28_12-42-updating-compute-dp-upto-function-logic.md │ ├── 2025-02-28_14-03-test-creation-for-diffing-functionality.md │ ├── 2025-03-01_11-01-windows-permission-denied-troubleshooting.md │ ├── 2025-03-04_17-11-improving-diff-matching-for-imbalanced-chunks.md │ ├── 2025-03-04_18-53-clarifying-minimal-edit-distance-implementation-issues.md │ ├── 2025-03-04_20-42-refactoring-debug-test-execution.md │ ├── 2025-03-04_22-02-implementing-finish-and-cleanup-in-debug-runtime.md │ ├── 2025-03-07_23-18-removing-suspended-boxes-in-printbox.md │ ├── 2025-03-07_23-40-transforming-tree-labels-to-vlist-in-printbox.md │ ├── 2025-03-08_00-28-updating-edit-type-with-mutable-visited-flag.md │ ├── 2025-03-08_00-56-refactoring-mutable-field-to-reference-cell.md │ ├── 2025-03-08_01-43-debugging-new-entry-in-diff-comparisons.md │ ├── 2025-03-08_16-48-debugging-empty-output-file-issue.md │ ├── 2025-03-08_17-35-understanding-debugger-diff-output-issues.md │ ├── 2025-03-08_18-25-implementing-a-minimal-dynarray-for-ocaml-4-13.md │ ├── 2025-03-08_23-24-debugging-insights-for-prevrun-module.md │ └── 2025-03-12_11-52-optimizing-prevrun-meta-debugging-logs.md ├── CHANGELOG.md ├── CLAUDE.md ├── CLI.md ├── DATABASE_BACKEND.md ├── DESIGN.md ├── DUPLICATION_ANALYSIS.md ├── LICENSE ├── MIGRATION_3.0.md ├── PRESENTATION.html ├── PRESENTATION.md ├── PRESENTATION_SUMMARY.md ├── README.md ├── README_LEGACY.md ├── bin ├── dune ├── filter_test_output.ml ├── minidebug_mcp.ml └── minidebug_view.ml ├── client ├── cli.ml ├── cli.mli ├── dune ├── interactive.ml ├── minidebug_mcp.ml ├── query.ml ├── query.mli ├── renderer.ml ├── renderer.mli └── tui.ml ├── doc ├── dune ├── flame_graph_paths_no_time.png ├── flame_graph_values_first_elapsed.png ├── foldable_trees.png ├── highlight_term_169.png ├── html-hyperlink.png ├── index.mld ├── index_legacy.mld ├── md-hyperlink.png ├── sync_to_md-highlight_diffs.log ├── sync_to_md-introduction.log ├── sync_to_md-introduction.raw ├── sync_to_md-simple_html.html ├── sync_to_md.ml ├── tui-factorial-values_first.png └── tui-search_results.png ├── dune ├── dune-project ├── minidebug_db.ml ├── minidebug_db.mli ├── minidebug_runtime.ml ├── minidebug_runtime.mli ├── ppx_minidebug.ml ├── ppx_minidebug.opam ├── ppx_minidebug.opam.template ├── test ├── debug_diffs_align.ml ├── debugger_boxify_cache.expected.log ├── debugger_ellipsis.expected.log ├── debugger_exceptions.expected.log ├── debugger_interrupts.expected.log ├── debugger_log_prefixed.expected.log ├── debugger_multithread_files-1.expected.log ├── debugger_multithread_files-2.expected.log ├── debugger_multithread_files-3.expected.log ├── debugger_multithread_stdout.expected.log ├── debugger_no_debug_if.expected.log ├── debugger_pp.expected.log ├── debugger_pp_flushing.expected.log ├── debugger_pp_format.expected.log ├── debugger_sexp.expected.log ├── debugger_sexp_printbox.expected.log ├── debugger_sexp_time_spans.expected.md ├── debugger_show.expected.log ├── debugger_show_flushing.expected.log ├── debugger_show_interrupts.expected.log ├── debugger_show_log_nothing.expected.log ├── debugger_show_log_prefixed.expected.log ├── debugger_time_spans.expected.log ├── dune ├── pp.ml ├── test_binary_tree.expected ├── test_binary_tree.ml ├── test_boxify_cache.ml ├── test_boxify_sexp.expected ├── test_boxify_sexp.ml ├── test_comptime_log_level_rt_passing.expected ├── test_comptime_log_level_rt_passing.ml ├── test_db_backend.ml ├── test_debug_exceptions.ml ├── test_debug_interrupts.expected.ml ├── test_debug_interrupts.ml ├── test_debug_log_level_consistency.expected.ml ├── test_debug_log_level_consistency.ml ├── test_debug_log_nothing.expected.ml ├── test_debug_log_nothing.ml ├── test_debug_log_prefixed.expected.ml ├── test_debug_log_prefixed.ml ├── test_debug_multithread_files.ml ├── test_debug_multithread_stdout.ml ├── test_debug_pp.expected.ml ├── test_debug_pp.ml ├── test_debug_sexp.expected.ml ├── test_debug_sexp.ml ├── test_debug_show.expected.ml ├── test_debug_show.ml ├── test_debug_time_spans.ml ├── test_debug_unannot_bindings.expected.ml ├── test_debug_unannot_bindings.ml ├── test_ellipsis.ml ├── test_expect_test.ml ├── test_highlight_propagation.expected ├── test_highlight_propagation.ml ├── test_indentation_parsing.expected ├── test_indentation_parsing.ml ├── test_no_debug_if.ml ├── test_path_filter.expected ├── test_path_filter.ml ├── test_programmatic_log_entry.expected ├── test_programmatic_log_entry.ml ├── test_sexp_structure.expected ├── test_sexp_structure.ml ├── test_values_first.expected └── test_values_first.ml └── vendor └── ocaml-mcp ├── bin ├── capitalize_sdk.ml ├── dune ├── markdown_book_sdk.ml ├── multimodal_sdk.ml └── ocaml_eval_sdk.ml ├── dune-project ├── lib ├── dune ├── mcp.ml ├── mcp.mli ├── mcp_rpc.ml ├── mcp_rpc.mli ├── mcp_sdk.ml ├── mcp_sdk.mli └── mcp_server.ml ├── mcp.opam └── spec └── schema.json /.cursorignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.cursorignore -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/gh-pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.github/workflows/gh-pages.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.ocamlformat -------------------------------------------------------------------------------- /.ocamlformat-ignore: -------------------------------------------------------------------------------- 1 | test/*.expected.ml -------------------------------------------------------------------------------- /.specstory/history/2025-02-26_12-01-debugging-test-failures-after-recent-changes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-26_12-01-debugging-test-failures-after-recent-changes.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-27_11-48-optimizing-prevrun-for-large-chunks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-27_11-48-optimizing-prevrun-for-large-chunks.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-27_12-48-memoizing-message-comparisons-in-prevrun.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-27_12-48-memoizing-message-comparisons-in-prevrun.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-27_21-05-enhancing-prevrun-with-depth-considerations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-27_21-05-enhancing-prevrun-with-depth-considerations.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-27_21-36-optimizing-prevrun-hashtable-and-pruning.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-27_21-36-optimizing-prevrun-hashtable-and-pruning.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-28_01-13-optimizing-minimal-edit-distance-calculation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-28_01-13-optimizing-minimal-edit-distance-calculation.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-28_09-54-optimizing-edit-distance-algorithm-implementation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-28_09-54-optimizing-edit-distance-algorithm-implementation.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-28_12-42-updating-compute-dp-upto-function-logic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-28_12-42-updating-compute-dp-upto-function-logic.md -------------------------------------------------------------------------------- /.specstory/history/2025-02-28_14-03-test-creation-for-diffing-functionality.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-02-28_14-03-test-creation-for-diffing-functionality.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-01_11-01-windows-permission-denied-troubleshooting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-01_11-01-windows-permission-denied-troubleshooting.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-04_17-11-improving-diff-matching-for-imbalanced-chunks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-04_17-11-improving-diff-matching-for-imbalanced-chunks.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-04_18-53-clarifying-minimal-edit-distance-implementation-issues.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-04_18-53-clarifying-minimal-edit-distance-implementation-issues.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-04_20-42-refactoring-debug-test-execution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-04_20-42-refactoring-debug-test-execution.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-04_22-02-implementing-finish-and-cleanup-in-debug-runtime.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-04_22-02-implementing-finish-and-cleanup-in-debug-runtime.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-07_23-18-removing-suspended-boxes-in-printbox.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-07_23-18-removing-suspended-boxes-in-printbox.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-07_23-40-transforming-tree-labels-to-vlist-in-printbox.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-07_23-40-transforming-tree-labels-to-vlist-in-printbox.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_00-28-updating-edit-type-with-mutable-visited-flag.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_00-28-updating-edit-type-with-mutable-visited-flag.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_00-56-refactoring-mutable-field-to-reference-cell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_00-56-refactoring-mutable-field-to-reference-cell.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_01-43-debugging-new-entry-in-diff-comparisons.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_01-43-debugging-new-entry-in-diff-comparisons.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_16-48-debugging-empty-output-file-issue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_16-48-debugging-empty-output-file-issue.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_17-35-understanding-debugger-diff-output-issues.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_17-35-understanding-debugger-diff-output-issues.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_18-25-implementing-a-minimal-dynarray-for-ocaml-4-13.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_18-25-implementing-a-minimal-dynarray-for-ocaml-4-13.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-08_23-24-debugging-insights-for-prevrun-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-08_23-24-debugging-insights-for-prevrun-module.md -------------------------------------------------------------------------------- /.specstory/history/2025-03-12_11-52-optimizing-prevrun-meta-debugging-logs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/.specstory/history/2025-03-12_11-52-optimizing-prevrun-meta-debugging-logs.md -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/CLAUDE.md -------------------------------------------------------------------------------- /CLI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/CLI.md -------------------------------------------------------------------------------- /DATABASE_BACKEND.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/DATABASE_BACKEND.md -------------------------------------------------------------------------------- /DESIGN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/DESIGN.md -------------------------------------------------------------------------------- /DUPLICATION_ANALYSIS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/DUPLICATION_ANALYSIS.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/LICENSE -------------------------------------------------------------------------------- /MIGRATION_3.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/MIGRATION_3.0.md -------------------------------------------------------------------------------- /PRESENTATION.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/PRESENTATION.html -------------------------------------------------------------------------------- /PRESENTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/PRESENTATION.md -------------------------------------------------------------------------------- /PRESENTATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/PRESENTATION_SUMMARY.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/README.md -------------------------------------------------------------------------------- /README_LEGACY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/README_LEGACY.md -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/filter_test_output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/bin/filter_test_output.ml -------------------------------------------------------------------------------- /bin/minidebug_mcp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/bin/minidebug_mcp.ml -------------------------------------------------------------------------------- /bin/minidebug_view.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/bin/minidebug_view.ml -------------------------------------------------------------------------------- /client/cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/cli.ml -------------------------------------------------------------------------------- /client/cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/cli.mli -------------------------------------------------------------------------------- /client/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/dune -------------------------------------------------------------------------------- /client/interactive.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/interactive.ml -------------------------------------------------------------------------------- /client/minidebug_mcp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/minidebug_mcp.ml -------------------------------------------------------------------------------- /client/query.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/query.ml -------------------------------------------------------------------------------- /client/query.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/query.mli -------------------------------------------------------------------------------- /client/renderer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/renderer.ml -------------------------------------------------------------------------------- /client/renderer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/renderer.mli -------------------------------------------------------------------------------- /client/tui.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/client/tui.ml -------------------------------------------------------------------------------- /doc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/dune -------------------------------------------------------------------------------- /doc/flame_graph_paths_no_time.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/flame_graph_paths_no_time.png -------------------------------------------------------------------------------- /doc/flame_graph_values_first_elapsed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/flame_graph_values_first_elapsed.png -------------------------------------------------------------------------------- /doc/foldable_trees.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/foldable_trees.png -------------------------------------------------------------------------------- /doc/highlight_term_169.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/highlight_term_169.png -------------------------------------------------------------------------------- /doc/html-hyperlink.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/html-hyperlink.png -------------------------------------------------------------------------------- /doc/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/index.mld -------------------------------------------------------------------------------- /doc/index_legacy.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/index_legacy.mld -------------------------------------------------------------------------------- /doc/md-hyperlink.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/md-hyperlink.png -------------------------------------------------------------------------------- /doc/sync_to_md-highlight_diffs.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/sync_to_md-highlight_diffs.log -------------------------------------------------------------------------------- /doc/sync_to_md-introduction.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/sync_to_md-introduction.log -------------------------------------------------------------------------------- /doc/sync_to_md-introduction.raw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/sync_to_md-introduction.raw -------------------------------------------------------------------------------- /doc/sync_to_md-simple_html.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/sync_to_md-simple_html.html -------------------------------------------------------------------------------- /doc/sync_to_md.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/sync_to_md.ml -------------------------------------------------------------------------------- /doc/tui-factorial-values_first.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/tui-factorial-values_first.png -------------------------------------------------------------------------------- /doc/tui-search_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/doc/tui-search_results.png -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/dune-project -------------------------------------------------------------------------------- /minidebug_db.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/minidebug_db.ml -------------------------------------------------------------------------------- /minidebug_db.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/minidebug_db.mli -------------------------------------------------------------------------------- /minidebug_runtime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/minidebug_runtime.ml -------------------------------------------------------------------------------- /minidebug_runtime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/minidebug_runtime.mli -------------------------------------------------------------------------------- /ppx_minidebug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/ppx_minidebug.ml -------------------------------------------------------------------------------- /ppx_minidebug.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/ppx_minidebug.opam -------------------------------------------------------------------------------- /ppx_minidebug.opam.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/ppx_minidebug.opam.template -------------------------------------------------------------------------------- /test/debug_diffs_align.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debug_diffs_align.ml -------------------------------------------------------------------------------- /test/debugger_boxify_cache.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_boxify_cache.expected.log -------------------------------------------------------------------------------- /test/debugger_ellipsis.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_ellipsis.expected.log -------------------------------------------------------------------------------- /test/debugger_exceptions.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_exceptions.expected.log -------------------------------------------------------------------------------- /test/debugger_interrupts.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_interrupts.expected.log -------------------------------------------------------------------------------- /test/debugger_log_prefixed.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_log_prefixed.expected.log -------------------------------------------------------------------------------- /test/debugger_multithread_files-1.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_multithread_files-1.expected.log -------------------------------------------------------------------------------- /test/debugger_multithread_files-2.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_multithread_files-2.expected.log -------------------------------------------------------------------------------- /test/debugger_multithread_files-3.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_multithread_files-3.expected.log -------------------------------------------------------------------------------- /test/debugger_multithread_stdout.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_multithread_stdout.expected.log -------------------------------------------------------------------------------- /test/debugger_no_debug_if.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_no_debug_if.expected.log -------------------------------------------------------------------------------- /test/debugger_pp.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_pp.expected.log -------------------------------------------------------------------------------- /test/debugger_pp_flushing.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_pp_flushing.expected.log -------------------------------------------------------------------------------- /test/debugger_pp_format.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_pp_format.expected.log -------------------------------------------------------------------------------- /test/debugger_sexp.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_sexp.expected.log -------------------------------------------------------------------------------- /test/debugger_sexp_printbox.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_sexp_printbox.expected.log -------------------------------------------------------------------------------- /test/debugger_sexp_time_spans.expected.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_sexp_time_spans.expected.md -------------------------------------------------------------------------------- /test/debugger_show.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_show.expected.log -------------------------------------------------------------------------------- /test/debugger_show_flushing.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_show_flushing.expected.log -------------------------------------------------------------------------------- /test/debugger_show_interrupts.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_show_interrupts.expected.log -------------------------------------------------------------------------------- /test/debugger_show_log_nothing.expected.log: -------------------------------------------------------------------------------- 1 | 2 | BEGIN DEBUG SESSION 3 | -------------------------------------------------------------------------------- /test/debugger_show_log_prefixed.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_show_log_prefixed.expected.log -------------------------------------------------------------------------------- /test/debugger_time_spans.expected.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/debugger_time_spans.expected.log -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/dune -------------------------------------------------------------------------------- /test/pp.ml: -------------------------------------------------------------------------------- 1 | let () = Ppxlib.Driver.standalone () 2 | -------------------------------------------------------------------------------- /test/test_binary_tree.expected: -------------------------------------------------------------------------------- 1 | Result: 15 2 | -------------------------------------------------------------------------------- /test/test_binary_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_binary_tree.ml -------------------------------------------------------------------------------- /test/test_boxify_cache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_boxify_cache.ml -------------------------------------------------------------------------------- /test/test_boxify_sexp.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_boxify_sexp.expected -------------------------------------------------------------------------------- /test/test_boxify_sexp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_boxify_sexp.ml -------------------------------------------------------------------------------- /test/test_comptime_log_level_rt_passing.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_comptime_log_level_rt_passing.expected -------------------------------------------------------------------------------- /test/test_comptime_log_level_rt_passing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_comptime_log_level_rt_passing.ml -------------------------------------------------------------------------------- /test/test_db_backend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_db_backend.ml -------------------------------------------------------------------------------- /test/test_debug_exceptions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_exceptions.ml -------------------------------------------------------------------------------- /test/test_debug_interrupts.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_interrupts.expected.ml -------------------------------------------------------------------------------- /test/test_debug_interrupts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_interrupts.ml -------------------------------------------------------------------------------- /test/test_debug_log_level_consistency.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_log_level_consistency.expected.ml -------------------------------------------------------------------------------- /test/test_debug_log_level_consistency.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_log_level_consistency.ml -------------------------------------------------------------------------------- /test/test_debug_log_nothing.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_log_nothing.expected.ml -------------------------------------------------------------------------------- /test/test_debug_log_nothing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_log_nothing.ml -------------------------------------------------------------------------------- /test/test_debug_log_prefixed.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_log_prefixed.expected.ml -------------------------------------------------------------------------------- /test/test_debug_log_prefixed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_log_prefixed.ml -------------------------------------------------------------------------------- /test/test_debug_multithread_files.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_multithread_files.ml -------------------------------------------------------------------------------- /test/test_debug_multithread_stdout.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_multithread_stdout.ml -------------------------------------------------------------------------------- /test/test_debug_pp.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_pp.expected.ml -------------------------------------------------------------------------------- /test/test_debug_pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_pp.ml -------------------------------------------------------------------------------- /test/test_debug_sexp.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_sexp.expected.ml -------------------------------------------------------------------------------- /test/test_debug_sexp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_sexp.ml -------------------------------------------------------------------------------- /test/test_debug_show.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_show.expected.ml -------------------------------------------------------------------------------- /test/test_debug_show.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_show.ml -------------------------------------------------------------------------------- /test/test_debug_time_spans.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_time_spans.ml -------------------------------------------------------------------------------- /test/test_debug_unannot_bindings.expected.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_unannot_bindings.expected.ml -------------------------------------------------------------------------------- /test/test_debug_unannot_bindings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_debug_unannot_bindings.ml -------------------------------------------------------------------------------- /test/test_ellipsis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_ellipsis.ml -------------------------------------------------------------------------------- /test/test_expect_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_expect_test.ml -------------------------------------------------------------------------------- /test/test_highlight_propagation.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_highlight_propagation.expected -------------------------------------------------------------------------------- /test/test_highlight_propagation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_highlight_propagation.ml -------------------------------------------------------------------------------- /test/test_indentation_parsing.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_indentation_parsing.expected -------------------------------------------------------------------------------- /test/test_indentation_parsing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_indentation_parsing.ml -------------------------------------------------------------------------------- /test/test_no_debug_if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_no_debug_if.ml -------------------------------------------------------------------------------- /test/test_path_filter.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_path_filter.expected -------------------------------------------------------------------------------- /test/test_path_filter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_path_filter.ml -------------------------------------------------------------------------------- /test/test_programmatic_log_entry.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_programmatic_log_entry.expected -------------------------------------------------------------------------------- /test/test_programmatic_log_entry.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_programmatic_log_entry.ml -------------------------------------------------------------------------------- /test/test_sexp_structure.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_sexp_structure.expected -------------------------------------------------------------------------------- /test/test_sexp_structure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_sexp_structure.ml -------------------------------------------------------------------------------- /test/test_values_first.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_values_first.expected -------------------------------------------------------------------------------- /test/test_values_first.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/test/test_values_first.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/bin/capitalize_sdk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/bin/capitalize_sdk.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/bin/dune -------------------------------------------------------------------------------- /vendor/ocaml-mcp/bin/markdown_book_sdk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/bin/markdown_book_sdk.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/bin/multimodal_sdk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/bin/multimodal_sdk.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/bin/ocaml_eval_sdk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/bin/ocaml_eval_sdk.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/dune-project -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/dune -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp.mli -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp_rpc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp_rpc.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp_rpc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp_rpc.mli -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp_sdk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp_sdk.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp_sdk.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp_sdk.mli -------------------------------------------------------------------------------- /vendor/ocaml-mcp/lib/mcp_server.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/lib/mcp_server.ml -------------------------------------------------------------------------------- /vendor/ocaml-mcp/mcp.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/mcp.opam -------------------------------------------------------------------------------- /vendor/ocaml-mcp/spec/schema.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lukstafi/ppx_minidebug/HEAD/vendor/ocaml-mcp/spec/schema.json --------------------------------------------------------------------------------