From add95b14f74e6dbe04a6efe98ff0f20424930b73 Mon Sep 17 00:00:00 2001 From: Stefan Weigl-Bosker Date: Tue, 3 Feb 2026 14:59:53 -0500 Subject: [willow]: initial frontend work, unit tests (#8) --- nix/flake.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'nix') diff --git a/nix/flake.nix b/nix/flake.nix index 91ec511..fa570f3 100644 --- a/nix/flake.nix +++ b/nix/flake.nix @@ -41,9 +41,10 @@ ninja clang-tools + clang z3 - gtest + catch2_3 pkg-config lit -- cgit v1.2.3