feat: add loop invariant code motion pass #138

	name: CI

	on:
	push:
	branches: [main]
	pull_request:

	env:
	CARGO_TERM_COLOR: always
	FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true

	jobs:
	check:
	name: Build, Test, Lint
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: clippy, rustfmt
	targets: wasm32-unknown-unknown
	- uses: Swatinem/rust-cache@v2

	- name: Install system dependencies
	run: sudo apt-get install -y clang lld wabt

	- name: Install kani-verifier
	run: cargo install --locked kani-verifier && cargo kani setup

	- name: Build
	run: cargo build --all-targets

	- name: Test (optimized)
	run: cargo test
	env:
	HERKOS_OPTIMIZE: "1"

	- name: Test (unoptimized)
	run: cargo test
	env:
	HERKOS_OPTIMIZE: "0"

	- name: Clippy
	run: cargo clippy --all-targets -- -D warnings

	- name: Format check
	run: cargo fmt --check

	- name: Example (C → Wasm → Rust)
	run: ./examples/c-to-wasm-to-rust/run.sh

	- name: Example FFT (C → Wasm → Rust)
	run: ./examples/c-fft/run.sh

	- name: Example (Inter-Module Lending)
	run: ./examples/inter-module-lending/run.sh

Provide feedback