Emilio López 42f4b0a741 libff: fix header installation with CMake 4.3+ (#1573)

2026-06-03 16:04:04 +02:00

..

build-macos-release.sh

ci: macos: add missing gmp rewrite

2025-09-03 11:08:59 -03:00

host.sh

Initial Windows support in CI

2023-02-17 16:37:26 -03:00

install-bitwuzla.sh

ci: install bitwuzla

2025-08-15 18:52:15 -03:00

install-crytic-compile.sh

Use Slither for constant extraction (#451)

2020-11-05 12:28:51 -03:00

install-libff.sh

libff: fix header installation with CMake 4.3+ (#1573)

2026-06-03 16:04:04 +02:00

install-libsecp256k1.sh

Update hevm to 7fa6a959bea935f476100037aa84531523cd9d8a

2025-06-27 20:29:22 -03:00

install-solc.sh

Use solc-select for solc installation

2023-02-23 20:50:37 -03:00

install-z3.sh

Echidna 2.3 RC (#1467)

2025-11-29 17:02:04 -03:00

release-binary.sh

Change executable name from echidna-test to echidna (#826)

2023-02-07 13:45:57 +01:00

windows-ghc-toolchain.cmake

ci: fix Windows builds

2025-05-20 20:53:45 +02:00