v15.1

Try to fix a conflicting dependency issue between gRPC and or-tools. They both use the Abseil library, but by default both compile different versions of it internally. This leads to problems during CIRCT compilation.

v15.0

Replace Cap'nProto with gRPC in integration test image.

v14.0

Convert from clang-13 to clang-17. Assume slang builds can use clang-17 instead of clang-16, so only install the newer version.

v13.1

Install GCC 11 for slang builds

v13.0

Support c++20 features in clang. Required to support slang 4.

Install cocotb, iverilog

v12.2

fix iverilog install

Install Valgrind into the integration test image

v12.1

Fix valgrind package

CI Image with Valgrind

• Add a docker image for pycde builds by @teqdruid in #27
• Install Valgrind by @nandor in #28

v11.3

Bump OR Tools version to 9.5.

Add Z3 to integration build image

Z3 is a state-of-the-art SMT solver widely employed in the development of verification tools.