[build] Remove non-used serlib

ejgallego · Aug 29, 2024 · fb09ea3 · fb09ea3
1 parent fd082d5
commit fb09ea3
Show file tree

Hide file tree

Showing 439 changed files with 0 additions and 25,198 deletions.
diff --git a/serlib_8_18/.ocamlformat b/serlib_8_18/.ocamlformat
diff --git a/serlib_8_18/serlib/README.md b/serlib_8_18/serlib/README.md
diff --git a/serlib_8_18/serlib/dune b/serlib_8_18/serlib/dune
diff --git a/serlib_8_18/serlib/ide/ser_richpp.ml b/serlib_8_18/serlib/ide/ser_richpp.ml
diff --git a/serlib_8_18/serlib/ide/ser_richpp.mli b/serlib_8_18/serlib/ide/ser_richpp.mli
diff --git a/serlib_8_18/serlib/plugins/cc/dune b/serlib_8_18/serlib/plugins/cc/dune
diff --git a/serlib_8_18/serlib/plugins/extraction/dune b/serlib_8_18/serlib/plugins/extraction/dune
diff --git a/serlib_8_18/serlib/plugins/extraction/ser_g_extraction.ml b/serlib_8_18/serlib/plugins/extraction/ser_g_extraction.ml
diff --git a/serlib_8_18/serlib/plugins/firstorder/dune b/serlib_8_18/serlib/plugins/firstorder/dune
diff --git a/serlib_8_18/serlib/plugins/firstorder/ser_g_ground.ml b/serlib_8_18/serlib/plugins/firstorder/ser_g_ground.ml
diff --git a/serlib_8_18/serlib/plugins/funind/dune b/serlib_8_18/serlib/plugins/funind/dune
diff --git a/serlib_8_18/serlib/plugins/funind/ser_g_indfun.ml b/serlib_8_18/serlib/plugins/funind/ser_g_indfun.ml
diff --git a/serlib_8_18/serlib/plugins/ltac/dune b/serlib_8_18/serlib/plugins/ltac/dune
diff --git a/serlib_8_18/serlib/plugins/ltac/ser_profile_ltac.ml b/serlib_8_18/serlib/plugins/ltac/ser_profile_ltac.ml
diff --git a/serlib_8_18/serlib/plugins/ltac/ser_profile_ltac.mli b/serlib_8_18/serlib/plugins/ltac/ser_profile_ltac.mli
diff --git a/serlib_8_18/serlib/plugins/ltac/ser_rewrite.ml b/serlib_8_18/serlib/plugins/ltac/ser_rewrite.ml
diff --git a/serlib_8_18/serlib/plugins/ltac/ser_rewrite.mli b/serlib_8_18/serlib/plugins/ltac/ser_rewrite.mli