Rename bubble sort to quadratic sort

ceno_host/tests/test_elf.rs

@@ -137,7 +137,7 @@ fn test_bubble_sorting() -> Result<()> {
 
     let all_messages = messages_to_strings(&ceno_host::run(
         CENO_PLATFORM,
-        ceno_examples::bubble_sorting,
+        ceno_examples::quadratic_sorting,
         &hints,
     ));
     for msg in &all_messages {

examples-builder/Cargo.toml

@@ -7,3 +7,6 @@ license.workspace = true
 name = "ceno-examples"
 repository.workspace = true
 version.workspace = true
+
+[build-dependencies]
+glob = "0.3"

examples-builder/build.rs

@@ -1,26 +1,11 @@
+use glob::glob;
 use std::{
     fs::{File, read_dir},
     io::{self, Write},
     path::Path,
     process::Command,
 };
 
-/// Add each example to this list.
-///
-/// Contact Matthias, if your examples get complicated enough to need their own crates, instead of just being one file.
-const EXAMPLES: &[&str] = &[
-    "ceno_rt_alloc",
-    "ceno_rt_io",
-    "ceno_rt_mem",
-    "ceno_rt_mini",
-    "ceno_rt_panic",
-    "ceno_rt_keccak",
-    "hints",
-    "sorting",
-    "median",
-    "bubble_sorting",
-    "hashing",
-];
 const CARGO_MANIFEST_DIR: &str = env!("CARGO_MANIFEST_DIR");
 
 fn rerun_all_but_target(dir: &Path) {
@@ -51,7 +36,12 @@ fn build_elfs() {
         io::stderr().write_all(&output.stderr).unwrap();
         panic!("cargo build of examples failed.");
     }
-    for example in EXAMPLES {
+    // Contact Matthias, if your examples get complicated enough to need their own crates, instead of just being one file.
+    for example in glob("../examples/examples/*.rs")
+        .unwrap()
+        .map(Result::unwrap)
+    {
+        let example = example.file_stem().unwrap().to_str().unwrap();
         writeln!(
             dest,
             r#"#[allow(non_upper_case_globals)]