From 03ccc3ddb509169d5f2236ea44d70e28a8ab2a16 Mon Sep 17 00:00:00 2001 From: jfoura Date: Fri, 9 May 2025 13:18:17 -0500 Subject: [PATCH] WIP --- configure.ac | 3 + scripts/demo.lua | 1 + scripts/demo2.lua | 1 + src/kernel/checks.cpp | 2 +- src/policy/policy.cpp | 38 + src/sol/config.hpp | 53 + src/sol/forward.hpp | 1321 ++ src/sol/sol.hpp | 28907 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 30325 insertions(+), 1 deletion(-) create mode 100644 scripts/demo.lua create mode 100644 scripts/demo2.lua create mode 100644 src/sol/config.hpp create mode 100644 src/sol/forward.hpp create mode 100644 src/sol/sol.hpp diff --git a/configure.ac b/configure.ac index 2c6606397530d..58319216413d3 100644 --- a/configure.ac +++ b/configure.ac @@ -1465,6 +1465,9 @@ AM_CONDITIONAL([EMBEDDED_LIBSECP256K1],[test x$system_libsecp256k1 = xno]) AC_SUBST(libsecp256k1_CFLAGS) AC_SUBST(libsecp256k1_LIBS) +CPPFLAGS="-I/opt/homebrew/opt/lua/include/lua $CPPFLAGS" +LIBS="-L/opt/homebrew/opt/lua/lib -llua -lm $LIBS" + if test "$enable_wallet" != "no"; then dnl Check for libdb_cxx only if wallet enabled if test "$use_bdb" != "no"; then diff --git a/scripts/demo.lua b/scripts/demo.lua new file mode 100644 index 0000000000000..2a92563912014 --- /dev/null +++ b/scripts/demo.lua @@ -0,0 +1 @@ +return true \ No newline at end of file diff --git a/scripts/demo2.lua b/scripts/demo2.lua new file mode 100644 index 0000000000000..2a92563912014 --- /dev/null +++ b/scripts/demo2.lua @@ -0,0 +1 @@ +return true \ No newline at end of file diff --git a/src/kernel/checks.cpp b/src/kernel/checks.cpp index 5b9eda48ac223..7c61a407600d2 100644 --- a/src/kernel/checks.cpp +++ b/src/kernel/checks.cpp @@ -24,7 +24,7 @@ bool Clang_IndVarSimplify_Bug_SanityCheck() { } last = *it; } - return false; + return true; } util::Result SanityChecks(const Context&) diff --git a/src/policy/policy.cpp b/src/policy/policy.cpp index 28cf2e16571c3..423746d311f1e 100644 --- a/src/policy/policy.cpp +++ b/src/policy/policy.cpp @@ -19,15 +19,29 @@ #include