Eager Constraint Solving in Polymorphic Flow Analysis - #621

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

added 34 elements to PATH (reverse order, last has highest precedence): '/bin' '/sbin' '/usr/bin' '/usr/sbin' '/usr/local/bin' '/usr/local/sbin' '/nix/store/2qpmak7162vhqxjwfik4aqs9lff6sn7w-file-5.48/bin' '/nix/store/nflpm51il93hxh2rba6dvz59kaff0i7v-xz-5.8.4-bin/bin' '/nix/store/d5jz315vxbphknfawsrjs192ci9bc6df-patch-2.8/bin' '/nix/store/nnm9gdr70ihc6zc9298mzz8jpcgaciql-bash-5.3p20/bin' '/nix/store/8xz4d9wp4jy49mhl306wyg55096wis3p-gnumake-4.4.1/bin' '/nix/store/ai2km55ba8bxrn64xx7p9lgvrrzdzv43-bzip2-1.0.8-bin/bin' '/nix/store/rpswfv0ff4wap9anx7k1224x2m94pfcc-gzip-1.15/bin' '/nix/store/n318yf1q5vysgh2qn6fd1q8yjy9vmwvh-gnutar-1.35/bin' '/nix/store/h96s16mjssibkvk62pvmfm3lwfc3wnwp-gawk-5.4.1/bin' '/nix/store/c3f45pxlb81gzz4w1nym7lpznfypva7s-gnugrep-3.12/bin' '/nix/store/9wc73n5izv0m7ppjbibi4hbr68rba1lj-gnused-4.10/bin' '/nix/store/9mpja553cbkr2rc37kzdg8zbbg2dyyvl-diffutils-3.12/bin' '/nix/store/99v13ig4382mngi6ggf0csqi7rfa04j5-findutils-4.11.0/bin' '/nix/store/cb987zkxvsv0490753ilrvn5yk7ylgxi-coreutils-9.12/bin' '/nix/store/0n8ncy1wlkkhnix0m91ly7x6lpwi2bm3-compiler-rt-libc-21.1.8/bin' '/nix/store/ywwchijlngjj756gqp3izz8xw6q8cca2-nodejs-26.13.0/bin' '/nix/store/b1kw7bzznjfcs62g76vwggmnb9ayj3la-sbt-2.0.12/bin' '/nix/store/vs2sa1msvkjxbb70h47819zq8a9srj21-gnumake-4.4.1/bin' '/nix/store/0a584d1b9csvk900bdg4pf7vzkx1v7jl-binutils-wrapper-2.46/bin' '/nix/store/wra7pnc8v3vk7xl597kq79bbmvncxz8j-clang-21.1.8/bin' '/nix/store/i52d7j6ma8bh4ggg4r2hl4af7bychdpa-clang-wrapper-21.1.8/bin' '/nix/store/y6ri2r743ckh5kk160r461czl9n2f2wf-binutils-2.46/bin' '/nix/store/fi98g122a3kzbschgvbvsqvpyxrmqvvl-binutils-wrapper-2.46/bin' '/nix/store/cb987zkxvsv0490753ilrvn5yk7ylgxi-coreutils-9.12/bin' '/nix/store/j64r0mf0yy7pvcbavlqidfnpsdnrldj2-glibc-2.44-57-bin/bin' '/nix/store/xpaz3fi6ibqxb9sla4gjlp0c82v566y8-gcc-16.2.0/bin' '/nix/store/r5ri78axx1qggkjq3vawywlzglg70b5w-gcc-wrapper-16.2.0/bin' '/nix/store/dl38pix4jvabi5smb9wywhp6pimmpva6-patchelf-0.19.2/bin'

exported 82 variables: 'AR' 'AR_FOR_TARGET' 'AS' 'AS_FOR_TARGET' 'CC' 'CC_FOR_TARGET' 'CONFIG_SHELL' 'CXX' 'CXX_FOR_TARGET' 'HOST_PATH' 'IN_NIX_SHELL' 'LD' 'LD_FOR_TARGET' 'NIX_BINTOOLS' 'NIX_BINTOOLS_FOR_TARGET' 'NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_BINTOOLS_WRAPPER_TARGET_TARGET_x86_64_unknown_linux_gnu' 'NIX_BUILD_CORES' 'NIX_CC' 'NIX_CC_FOR_TARGET' 'NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_CC_WRAPPER_TARGET_TARGET_x86_64_unknown_linux_gnu' 'NIX_CFLAGS_COMPILE' 'NIX_CFLAGS_COMPILE_FOR_TARGET' 'NIX_ENFORCE_NO_NATIVE' 'NIX_HARDENING_ENABLE' 'NIX_LDFLAGS' 'NIX_LDFLAGS_FOR_TARGET' 'NIX_STORE' 'NM' 'NM_FOR_TARGET' 'OBJCOPY' 'OBJCOPY_FOR_TARGET' 'OBJDUMP' 'OBJDUMP_FOR_TARGET' 'OLDPWD' 'RANLIB' 'RANLIB_FOR_TARGET' 'READELF' 'READELF_FOR_TARGET' 'SHELL' 'SIZE' 'SIZE_FOR_TARGET' 'SOURCE_DATE_EPOCH' 'STRINGS' 'STRINGS_FOR_TARGET' 'STRIP' 'STRIP_FOR_TARGET' 'XDG_DATA_DIRS' '__structuredAttrs' 'allowSubstitutes' 'buildInputs' 'buildPhase' 'builder' 'cmakeFlags' 'configureFlags' 'depsBuildBuild' 'depsBuildBuildPropagated' 'depsBuildTarget' 'depsBuildTargetPropagated' 'depsHostHost' 'depsHostHostPropagated' 'depsTargetTarget' 'depsTargetTargetPropagated' 'doCheck' 'doInstallCheck' 'dontAddDisableDepTrack' 'mesonFlags' 'name' 'nativeBuildInputs' 'out' 'outputs' 'patches' 'phases' 'preferLocalBuild' 'propagatedBuildInputs' 'propagatedNativeBuildInputs' 'shell' 'shellHook' 'stdenv' 'strictDeps' 'system'

nix shell from devShell: .#default