nits

Author: saulshanabrook

src/lib.rs

@@ -30,6 +30,7 @@ pub fn new_experimental_egraph() -> EGraph {
     add_set_cost(&mut egraph);
     egraph.add_primitive(GetSizePrimitive);
 
+    // Comment this out for now since the run-schedule in experimental doesn't support equality facts
     // egraph
     //     .add_command("run-schedule".into(), Arc::new(RunExtendedSchedule))
     //     .unwrap();

src/smt_real.rs

@@ -216,7 +216,7 @@ impl BaseSort for SMTReal {
             }
         );
         // (min-ast-size a b)
-        // Returns the SMT term with the samller AST size. It biases towards the first argument in case of a tie.
+        // Returns the SMT term with the smaller AST size. It biases towards the first argument in case of a tie.
         add_primitive!(
             eg,
             "min-by-ast-size" = |a: SMTRealValue, b: SMTRealValue| -> SMTRealValue {

tests/repro-scheduler-scopes.egg

@@ -21,7 +21,7 @@
     (Const f64)
     (Var String))
 
-; Need to table for all math expressions since egglog does not allow unbound variables
+; Need to track all math expressions since egglog does not allow unbound variables
 (relation MathU (Math))
 (rule ((= e (Diff x y))) ((MathU e)))
 (rule ((= e (Integral x y))) ((MathU e)))