../ backward-slice-union.mlir 24-Feb-2026 13:00 2076 forward-slice-by-predicate.mlir 24-Feb-2026 13:00 984 function-extraction.mlir 24-Feb-2026 13:00 780 logical-operator-test.mlir 24-Feb-2026 13:00 481 simple-test.mlir 24-Feb-2026 13:00 431 slice-function-extraction.mlir 24-Feb-2026 13:00 1625