From 51d71c56f613e99319236c9b1837d812073b31b5 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Sun, 14 Jun 2026 19:26:23 -0700 Subject: [PATCH] update fayalite to speed up big formal proofs --- Cargo.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 79c1be7..d8b52c1 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -388,7 +388,7 @@ checksum = "e8c02a5121d4ea3eb16a80748c74f5549a5665e4c21333c6098f283870fbdea6" [[package]] name = "fayalite" version = "0.3.0" -source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#7ddb4780fa04f82a236dbb14322c3cbfa6fdc1e6" +source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#bb34aeb7f1881ad03a320f9f792994a88afe5fe2" dependencies = [ "base64", "bitvec", @@ -417,7 +417,7 @@ dependencies = [ [[package]] name = "fayalite-proc-macros" version = "0.3.0" -source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#7ddb4780fa04f82a236dbb14322c3cbfa6fdc1e6" +source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#bb34aeb7f1881ad03a320f9f792994a88afe5fe2" dependencies = [ "fayalite-proc-macros-impl", ] @@ -425,7 +425,7 @@ dependencies = [ [[package]] name = "fayalite-proc-macros-impl" version = "0.3.0" -source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#7ddb4780fa04f82a236dbb14322c3cbfa6fdc1e6" +source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#bb34aeb7f1881ad03a320f9f792994a88afe5fe2" dependencies = [ "base16ct 0.2.0", "num-bigint", @@ -440,7 +440,7 @@ dependencies = [ [[package]] name = "fayalite-visit-gen" version = "0.3.0" -source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#7ddb4780fa04f82a236dbb14322c3cbfa6fdc1e6" +source = "git+https://git.libre-chip.org/libre-chip/fayalite.git?branch=master#bb34aeb7f1881ad03a320f9f792994a88afe5fe2" dependencies = [ "indexmap", "prettyplease",