Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
46 changes: 46 additions & 0 deletions .github/workflows/replay.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
name: Replay

on:
push:
branches:
- main
- main-v[0-9].**
pull_request:

jobs:
clippy:
runs-on: ubuntu-latest
env:
MLIR_SYS_190_PREFIX: /usr/lib/llvm-19/
LLVM_SYS_191_PREFIX: /usr/lib/llvm-19/
TABLEGEN_190_PREFIX: /usr/lib/llvm-19/
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@1.86.0
with:
components: clippy
- uses: Swatinem/rust-cache@v2
- name: Add LLVM Debian repository
uses: myci-actions/add-deb-repo@10
with:
repo: deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main
repo-name: llvm-repo
keys-asc: https://apt.llvm.org/llvm-snapshot.gpg.key
- name: Install lld
run: sudo apt install lld
- name: Install LLVM
run: sudo apt-get install llvm-19 llvm-19-dev llvm-19-runtime clang-19 clang-tools-19 lld-19 libpolly-19-dev libmlir-19-dev mlir-19-tools
- name: Run cargo clippy
run: |
cd crates/blockifier
cargo clippy --all-targets --all-features --no-deps
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@nightly
with:
toolchain: nightly-2023-10-19
components: rustfmt
- name: Run cargo fmt
run: cargo +nightly-2023-10-19 fmt --all -- --check
126 changes: 111 additions & 15 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 2 additions & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -252,7 +252,8 @@ cairo-lang-sierra = "2.16.0"
cairo-lang-sierra-to-casm = "2.16.0"
cairo-lang-starknet-classes = "2.16.0"
cairo-lang-utils = "2.16.0"
cairo-native = { git = "https://github.com/lambdaclass/cairo_native", branch = "tomer/blake_builtin" }
cairo-native = { git = "https://github.com/lambdaclass/cairo_native", rev = "b3fea26c8a3f3a48d0f1b473d7439435c6389083" }
sierra-emu = { git = "https://github.com/lambdaclass/cairo_native", rev = "b3fea26c8a3f3a48d0f1b473d7439435c6389083" }
cairo-program-runner-lib = "1.1.0"
cairo-vm = "3.0.1"
camelpaste = "0.1.0"
Expand Down
7 changes: 7 additions & 0 deletions crates/blockifier/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -10,12 +10,17 @@ description = "The transaction-executing component in the Starknet sequencer."
workspace = true

[features]
with-libfunc-profiling = ["cairo_native", "cairo-native/with-libfunc-profiling"]
with-trace-dump = ["cairo_native", "cairo-native/with-trace-dump"]
cairo_native = [
"blockifier_test_utils/cairo_native",
"dep:apollo_compilation_utils",
"dep:apollo_compile_to_native",
"dep:cairo-native",
"dep:sierra-emu",
"dep:cairo-lang-sierra",
]
only-native = ["cairo_native"]
mocks = []
native_blockifier = []
node_api = []
Expand Down Expand Up @@ -44,7 +49,9 @@ cairo-lang-casm = { workspace = true, features = ["parity-scale-codec"] }
cairo-lang-runner.workspace = true
cairo-lang-starknet-classes.workspace = true
cairo-lang-utils.workspace = true
cairo-lang-sierra = { workspace = true, optional = true }
cairo-native = { workspace = true, optional = true }
sierra-emu = { workspace = true, optional = true }
cairo-vm.workspace = true
dashmap.workspace = true
derive_more = { workspace = true, features = [
Expand Down
Loading
Loading