Skip to content

Commit

Permalink
Fix CI (#3)
Browse files Browse the repository at this point in the history 
* Add LICENSE file
* Update copyright date to new commit to pass license check
  • Loading branch information
@shkoo
shkoo authored Aug 16, 2024
1 parent caa0f45 commit b6b68a1
Show file tree
Hide file tree
Showing 68 changed files with 70 additions and 66 deletions.
1 change: 1 addition & 0 deletions .github/workflows/main.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -79,6 +79,7 @@ jobs:
with:
crate: cargo-binstall
version: "1.4"
locked: false
- run: cargo binstall -y --force cargo-risczero
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Expand Down
3 changes: 3 additions & 0 deletions LICENSE
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
// Copyright (c) {YEAR} RISC Zero, Inc.
//
// All rights reserved.
2 changes: 1 addition & 1 deletion risc0/core/log.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/IOP/IR/Dialect.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/IOP/IR/IR.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/IOP/IR/Ops.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/ZHL/IR/Dialect.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/ZHL/IR/Ops.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/ZHL/IR/Types.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/ZHL/IR/ZHL.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/ZHLT/Transforms/PassDetail.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/ZStruct/Transforms/PassDetail.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Conversion/ZStructToZll/PassDetail.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Conversion/ZStructToZll/Passes.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/IR/Attrs.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/IR/Attrs.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/IR/Field.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/IR/Types.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Transforms/AddReductions.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Transforms/DropConstraints.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Transforms/MakePolynomial.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Transforms/MakeVerifyTaps.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Transforms/PassDetail.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/Dialect/Zll/Transforms/SplitStage.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/fib/build.rs
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/fib/cxx/fp.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/fib/src/ffi.rs
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/fib/src/lib.rs
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/recursion/bits.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/recursion/micro.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/recursion/sha.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/recursion/test/runner.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/verify/poly.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/verify/poly.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/verify/test/merkle.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/verify/wrap_recursion.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/circuit/verify/wrap_rv32im.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/codegen/mustache.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/edsl/component.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/edsl/test.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/digest.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/poseidon_254.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/poseidon_consts.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/sha256.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/sha_rng.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/util.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/compiler/zkp/util.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/bits.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/bytes.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/bytes.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/fpext.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/iszero.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/iszero.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/mux.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/onehot.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/reg.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/bits.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/fpext.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/mux.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/onehot.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/test_runner.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/test_runner.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/test_with_bytes.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/components/test/u32.cpp
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/dsl/lower.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
2 changes: 1 addition & 1 deletion zirgen/dsl/parser.h
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023 RISC Zero, Inc.
// Copyright (c) 2024 RISC Zero, Inc.
//
// All rights reserved.

Expand Down
Loading

0 comments on commit b6b68a1

Please sign in to comment.