Skip to content

Commit

Permalink
update ~/zirgen/components copyright blocks
Browse files Browse the repository at this point in the history
  • Loading branch information
mars-risc0 committed Aug 23, 2024
1 parent 82d4c8d commit 0908504
Show file tree
Hide file tree
Showing 30 changed files with 360 additions and 60 deletions.
14 changes: 12 additions & 2 deletions zirgen/components/bits.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/bits.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/bits.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/bytes.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/bytes.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/bytes.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/fpext.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "fpext.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/fpext.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/iszero.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/iszero.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/iszero.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/mux.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/onehot.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/onehot.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/onehot.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/plonk.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "mlir/Support/DebugStringHelper.h"
#include "llvm/Support/FormatVariadic.h"
Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/plonk.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/ram.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/ram.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/ram.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/reg.h
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#pragma once

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/test/bits.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/bits.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/test/bytes.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/bytes.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/test/fpext.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/fpext.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/test/mux.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/mux.h"

Expand Down
14 changes: 12 additions & 2 deletions zirgen/components/test/onehot.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
// Copyright (c) 2024 RISC Zero, Inc.
// Copyright 2024 RISC Zero, Inc.
//
// All rights reserved.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "zirgen/components/onehot.h"

Expand Down
Loading

0 comments on commit 0908504

Please sign in to comment.