v0.1.0

.github/workflows/release.yml

@@ -46,7 +46,7 @@ jobs:
         PUSH: ${{ startsWith(github.ref, 'refs/tags/v') }}
       run: |
         if [[ ${PUSH} == true ]]; then
-          cargo publish --token ${CRATES_IO_TOKEN} -p "${pkg}"
+          cargo publish --token ${CRATES_IO_TOKEN}
         else
-          cargo publish --dry-run --token ${CRATES_IO_TOKEN} -p "${pkg}"
+          cargo publish --dry-run --token ${CRATES_IO_TOKEN}
         fi

.gitignore

@@ -1,4 +1,6 @@
 /target
+# Binary, created in release workflow
+icemelter
 
 shell.nix
 .envrc

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "icemelter"
-version = "0.0.0"
+version = "0.1.0"
 description = "Tool to minimize files that trigger internal compiler errors (ICEs)"
 keywords = ["ice", "rustc"]
 edition = "2021"
@@ -22,4 +22,4 @@ tracing = "0.1"
 tracing-subscriber = { version = "0.3", features = ["json"] }
 tree-sitter = "0.20"
 tree-sitter-rust = "0.20"
-treereduce = { git = "https://github.com/langston-barrett/treereduce" }
+treereduce = "0.2"

README.md

@@ -5,13 +5,14 @@ errors (ICEs).
 
 ## WIP
 
-Icemelter is a work in progress! These following things should get done before
-it's ready to use:
+Icemelter is a work in progress! It can already effectively minimize ICEs, but
+these things should get done before it's ready for widespread use:
 
 - [x] Match `internal compiler error:` on stderr by default
 - [ ] Avoid introducing new syntax/type/scope errors
 - [ ] Logging
 - [ ] More docs
+- [ ] `--fast` flag
 
 ## Usage
 
@@ -31,6 +32,8 @@ Here's an example that uses a different compiler and adds a flag:
 icemelter ice.rs -- rustc +nightly --crate-type=lib
 ```
 
+For more options, see `--help`.
+
 ## Installation
 
 ### From a release
@@ -44,7 +47,7 @@ Rust compiler and the [Cargo][cargo] build tool. [rustup][rustup] makes it very
 easy to obtain these. Then, to install the reducer for the language `<LANG>`,
 run:
 
-```
+```sh
 cargo install icemelter
 ```
 
@@ -55,14 +58,14 @@ This will install binaries in `~/.cargo/bin` by default.
 To build from source, you'll need the Rust compiler and the [Cargo][cargo] build
 tool. [rustup][rustup] makes it very easy to obtain these. Then, get the source:
 
-```bash
+```sh
 git clone https://github.com/langston-barrett/icemelter
 cd icemelter
 ```
 
 Finally, build everything:
 
-```bash
+```sh
 cargo build --release
 ```
 

src/main.rs

@@ -147,10 +147,10 @@ pub fn main() -> Result<()> {
         Config {
             check: chk,
             jobs: args.jobs,
-            min_reduction: 2,
+            min_reduction: 1,
             replacements: HashMap::new(),
         },
-        Some(8),
+        None, // max passes
     ) {
         Err(e) => eprintln!("Failed to reduce! {e}"),
         Ok((reduced, _)) => {