Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

z3 4.13.0 #165410

Closed
wants to merge 5 commits into from
Closed

z3 4.13.0 #165410

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
15e412d
z3 4.13.0
BrewTestBot Mar 7, 2024
82827b5
c3c: revision bump (z3 4.13.0)
chenrui333 Mar 7, 2024
332c541
klee: revision bump (z3 4.13.0)
chenrui333 Mar 7, 2024
907c2ef
llvm@16: revision bump (z3 4.13.0)
chenrui333 Mar 7, 2024
83f4e58
llvm: revision bump (z3 4.13.0)
chenrui333 Mar 7, 2024
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
2 changes: 2 additions & 0 deletions Formula/c/c3c.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ class C3c < Formula
url "https://github.com/c3lang/c3c/archive/refs/tags/v0.5.4.tar.gz"
sha256 "3ddf869bc6db6874837b82b32f1fddc9bf7ff34fc1315eb967610aee294822eb"
license "LGPL-3.0-only"
revision 1
head "https://github.com/c3lang/c3c.git", branch: "master"

livecheck do
Expand All @@ -23,6 +24,7 @@ class C3c < Formula

depends_on "cmake" => :build
depends_on "llvm"
depends_on "z3"
depends_on "zstd"

uses_from_macos "curl"
Expand Down
2 changes: 1 addition & 1 deletion Formula/k/klee.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ class Klee < Formula
url "https://github.com/klee/klee/archive/refs/tags/v3.0.tar.gz"
sha256 "204ebf0cb739886f574b1190b04fa9ed9088770c0634984782e9633d1aa4bdc9"
license "NCSA"
revision 2
revision 3
head "https://github.com/klee/klee.git", branch: "master"

bottle do
Expand Down
2 changes: 1 addition & 1 deletion Formula/l/llvm.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ class Llvm < Formula
sha256 "58a8818c60e6627064f312dbf46c02d9949956558340938b71cf731ad8bc0813"
# The LLVM Project is under the Apache License v2.0 with LLVM Exceptions
license "Apache-2.0" => { with: "LLVM-exception" }
revision 1
revision 2
head "https://github.com/llvm/llvm-project.git", branch: "main"

livecheck do
Expand Down
1 change: 1 addition & 0 deletions Formula/l/[email protected]
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ class LlvmAT16 < Formula
sha256 "ce5e71081d17ce9e86d7cbcfa28c4b04b9300f8fb7e78422b1feb6bc52c3028e"
# The LLVM Project is under the Apache License v2.0 with LLVM Exceptions
license "Apache-2.0" => { with: "LLVM-exception" }
revision 1

livecheck do
url :stable
Expand Down
4 changes: 2 additions & 2 deletions Formula/z/z3.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
class Z3 < Formula

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / Linux

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / macOS 12-arm64

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / macOS 14-arm64

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / macOS 13-arm64

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / macOS 14-x86_64

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / macOS 13-x86_64

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)

Check notice on line 1 in Formula/z/z3.rb

View workflow job for this annotation

GitHub Actions / macOS 12-x86_64

Installed previously built bottle for z3 from 

:2ee67f507d7 (Merge 15e412d06d2c7322fb37437a5e61b0dec7b8a84a into 1049aeb7f3aa7509d9d7ecc6ce8de09a1578b21f, 2024-03-07)
desc "High-performance theorem prover"
homepage "https://github.com/Z3Prover/z3"
url "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.6.tar.gz"
sha256 "9e46a1260ea26c441a1ad6faf378bf911ee9ffd110868867b4b2f2e3c7d2200e"
url "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.0.tar.gz"
sha256 "01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502"
license "MIT"
head "https://github.com/Z3Prover/z3.git", branch: "master"

Expand Down
Loading