Update documentation

Makefile

@@ -141,7 +141,7 @@ endif
 .PHONY: deps-macos
 deps-macos: build-cairo-2-compiler-macos install-scarb-macos
 	-brew install llvm@19 --quiet
-	@echo "You can execute the env-macos.sh script to setup the needed env variables."
+	@echo "You can execute the env.sh script to setup the needed env variables."
 
 # CI use only
 .PHONY: deps-ci-linux build-cairo-2-compiler install-scarb

README.md

@@ -23,7 +23,6 @@ to machine code via MLIR and LLVM.
 
 - [Getting Started](#getting-started)
 - [Included Tools](#included-tools)
-  - [Scripts](#scripts)
   - [cairo-native-compile](#cairo-native-compile)
   - [cairo-native-dump](#cairo-native-dump)
   - [cairo-native-run](#cairo-native-run)
@@ -46,6 +45,7 @@ use. This can be done by adding `cairo-native = "0.5.0-rc.6"` to your Cargo.toml
 ## Getting Started
 
 ### Dependencies
+
 - Linux or macOS (aarch64 included) only for now
 - LLVM 19 with MLIR: On debian you can use [apt.llvm.org](https://apt.llvm.org/),
   on macOS you can use brew
@@ -54,6 +54,7 @@ use. This can be done by adding `cairo-native = "0.5.0-rc.6"` to your Cargo.toml
 - Git
 
 ### Setup
+
 > This step applies to all operating systems.
 
 Run the following make target to install the dependencies (**both Linux and macOS**):
@@ -63,6 +64,7 @@ make deps
 ```
 
 #### Linux
+
 Since Linux distributions change widely, you need to install LLVM 19 via your
 package manager, compile it or check if the current release has a Linux binary.
 
@@ -125,6 +127,7 @@ source env.sh
 ```
 
 #### MacOS
+
 The makefile `deps` target (which you should have ran before) installs LLVM 19
 with brew for you, afterwards you need to execute the `env.sh` script to setup
 the needed environment variables.
@@ -134,13 +137,14 @@ source env.sh
 ```
 
 ### Make targets:
+
 Running `make` by itself will check whether the required LLVM installation and
 corelib is found, and then list available targets.
 
 ```bash
 % make
 LLVM is correctly set at /opt/homebrew/opt/llvm.
-./scripts/check-corelib-version.sh 2.12.0-dev.0
+./scripts/check-corelib-version.sh 2.12.0-dev.1
 Usage:
     deps:         Installs the necesary dependencies.
     build:        Builds the cairo-native library and binaries in release mode.
@@ -154,19 +158,19 @@ Usage:
     doc-open:     Builds and opens documentation in browser.
     bench:        Runs the hyperfine benchmark script.
     bench-ci:     Runs the criterion benchmarks for CI.
-    install:      Invokes cargo to install the cairo-native tools.
+    install:      Invokes cargo to install cairo-native tools.
     clean:        Cleans the built artifacts.
     stress-test   Runs a command which runs stress tests.
     stress-plot   Plots the results of the stress test command.
     stress-clean  Clean the cache of AOT compiled code of the stress test command.
 ```
 
 ## Included Tools
+
 Aside from the compilation and execution engine library, Cairo Native includes
 a few command-line tools to aid development, and some useful scripts.
 
-These are:
-- The contents of the `/scripts/` folder
+These are the contents of the `/src/bin` folder
 - `cairo-native-compile`
 - `cairo-native-dump`
 - `cairo-native-run`
@@ -176,6 +180,7 @@ These are:
 - `scarb-native-test`
 
 ### `cairo-native-compile`
+
 ```bash
 Compiles a Cairo project outputting the generated MLIR and the shared library.
 Exits with 1 if the compilation or run fails, otherwise 0.
@@ -197,6 +202,7 @@ Options:
 ```
 
 ###  `cairo-native-dump`
+
 ```bash
 Usage: cairo-native-dump [OPTIONS] <INPUT>
 
@@ -210,10 +216,11 @@ Options:
 ```
 
 ### `cairo-native-run`
+
 This tool allows to run programs using the JIT engine, like the `cairo-run`
 tool, the parameters can only be felt values.
 
-Example: `echo '1' | cairo-native-run 'program.cairo' 'program::program::main' --inputs - --outputs -`
+Example: `cairo-native-run --available-gas 5000 './programs/program.cairo'`
 
 ```bash
 Exits with 1 if the compilation or run fails, otherwise 0.
@@ -234,6 +241,7 @@ Options:
 ```
 
 ### `cairo-native-test`
+
 This tool mimics the `cairo-test`
 [tool](https://github.com/starkware-libs/cairo/tree/main/crates/cairo-lang-test-runner)
 and is identical to it in interface, the only feature it doesn't have is the profiler.
@@ -275,6 +283,7 @@ cairo-native-test ./cairo-tests/
 This will run all the tests (functions marked with the `#[test]` attribute).
 
 ### `cairo-native-stress`
+
 This tool runs a stress test on Cairo Native.
 
 ```bash
@@ -315,6 +324,7 @@ make stress-clean
 ```
 
 ### `scarb-native-dump`
+
 This tool mimics the `scarb build` [command](https://github.com/software-mansion/scarb/tree/main/extensions/scarb-cairo-test).
 You can download it on our [releases](https://github.com/lambdaclass/cairo_native/releases) page.
 
@@ -323,6 +333,7 @@ behave like `scarb build`, leaving the MLIR files under the `target/` folder
 besides the generated JSON sierra files.
 
 ### `scarb-native-test`
+
 This tool mimics the `scarb test` [command](https://github.com/software-mansion/scarb/tree/main/extensions/scarb-cairo-test).
 You can download it on our [releases](https://github.com/lambdaclass/cairo_native/releases) page.
 
@@ -348,6 +359,7 @@ Options:
 ## Benchmarking
 
 ### Requirements
+
 - [hyperfine](https://github.com/sharkdp/hyperfine): `cargo install hyperfine`
 - [cairo 2.12.0-dev.0](https://github.com/starkware-libs/cairo)
 - Cairo Corelibs

benches/compile_time.rs

@@ -98,5 +98,4 @@ pub fn bench_compile_time(c: &mut Criterion) {
 }
 
 criterion_group!(benches, bench_compile_time);
-
 criterion_main!(benches);

benches/util.rs

@@ -20,7 +20,7 @@ pub fn prepare_programs(path: &str) -> Vec<(Arc<Program>, String)> {
         .collect::<Vec<_>>()
 }
 
-#[allow(unused)] // its used but clippy doesn't detect it well
+#[allow(unused)] // Used in `benches/libfuncs.rs`, but not in the others.
 pub fn create_vm_runner(program: &Program) -> SierraCasmRunner {
     SierraCasmRunner::new(
         program.clone(),