erer1243

CORE-1706, CORE-1707, CORE-1709 reachpc CD scripts

4

Release build scripts for reachpc (and reachc since it's unavoidable with a single stack project -- this might be useful if we want to have native reachd-local distributions, otherwise it's...

CORE-1226 Basic betting market contract

1

wip 50% done, failing version. Can't figure out verification error (says that it's possible for nobody to bet but balance = 1??), will look at it again tomorrow. Pushing because...

todo: Write docs for new RW0007 - what should it say? Why is an unconstrained map a bad thing?

Fix 32-bit overflows in LLVM composite constants

9

Inspired by #121868. Fixes unsoundness created when constructing constant arrays, strings, and structs with 2^32 or more elements on x86_64. This introduces copies of a few LLVM functions that have...

This introduces a couple of new FFI types, representing owned C++ strings and arrays. We use those owned strings for database values, so they do not need to be memcpy'd...

Currently the C API (implemented in https://github.com/sonic-net/sonic-swss-common/pull/915) calls abort() if any exception is thrown in the underlying C++ functions called. This is not ideal because some exceptions are non fatal...

Add BinarySerializer function that uses a thread-local shared buffer, and fix errors

3

Fixed dubious undefined behavior stemming from unaligned writes to the serialization buffer. Add `serializeSharedBuffer` which uses a shared 16MB buffer instead of requiring the caller to have one available. This...