Add disjointness reasoning for BbML #208
Annotations
3 notices
|
Run rrbutani/use-nix-shell-action@v1
nix shell from devShell: .#default
|
|
Run rrbutani/use-nix-shell-action@v1
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' 'NODE_PATH' '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' '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'
|
|
Run rrbutani/use-nix-shell-action@v1
added 36 elements to PATH (reverse order, last has highest precedence): '/bin' '/sbin' '/usr/bin' '/usr/sbin' '/usr/local/bin' '/usr/local/sbin' '/nix/store/rnndls2fiid1sic81i06dkqjhh24lpvr-file-5.45/bin' '/nix/store/xzdawyw3njki7gx2yx4bkmhdzymgjawm-xz-5.6.2-bin/bin' '/nix/store/6rv8ckk0hg6s6q2zay2aaxgirrdy4l6v-patch-2.7.6/bin' '/nix/store/i1x9sidnvhhbbha2zhgpxkhpysw6ajmr-bash-5.2p26/bin' '/nix/store/70anjdzz5rj9lcamll62lvp5ib3yqzzr-gnumake-4.4.1/bin' '/nix/store/cx1220ll0pgq6svfq7bmhpdzp0avs09w-bzip2-1.0.8-bin/bin' '/nix/store/7m0l19yg0cb1c29wl54y24bbxsd85f4s-gzip-1.13/bin' '/nix/store/nzzl7dnay9jzgfv9fbwg1zza6ji7bjvr-gnutar-1.35/bin' '/nix/store/2ywpssz17pj0vr4vj7by6aqx2gk01593-gawk-5.2.2/bin' '/nix/store/k8zpadqbwqwalggnhqi74gdgrlf3if9l-gnugrep-3.11/bin' '/nix/store/9zsm74npdqq2lgjzavlzaqrz8x44mq9d-gnused-4.9/bin' '/nix/store/fy6s9lk05yjl1cz2dl8gs0sjrd6h9w5f-diffutils-3.10/bin' '/nix/store/5my5b6mw7h9hxqknvggjla1ci165ly21-findutils-4.10.0/bin' '/nix/store/cnknp3yxfibxjhila0sjd1v3yglqssng-coreutils-9.5/bin' '/nix/store/nb6j4ddkynca334kyrj4qhg5gnari16p-compiler-rt-libc-18.1.8/bin' '/nix/store/w8rva81863ls2ic3qc72mdzpzm0skyrm-nodejs-22.4.1/bin' '/nix/store/2miqwqdkz7x8klqqyd49ld7ci6ymgmbx-ncurses-6.4.20221231/bin' '/nix/store/6ab4llivczxhyd1d8j3wpcjyzmka89jf-ncurses-6.4.20221231-dev/bin' '/nix/store/57cwxmizmk29h5kxaj4l9xbz17j3apyq-sbt-1.10.1/bin' '/nix/store/3ssglpx5xilkrmkhyl4bg0501wshmsgv-gnumake-4.4.1/bin' '/nix/store/26gsg95lcdmdzc6pdxp8njps92giskxw-binutils-wrapper-2.42/bin' '/nix/store/3jlclvmii9b6qmpqw9w09cp3zdnngvhk-clang-18.1.8/bin' '/nix/store/v39mysip3yjpvddmsyj6pfvdhwgmak4m-clang-wrapper-18.1.8/bin' '/nix/store/qsx2xqqm0lp6d8hi86r4y0rz5v9m62wn-binutils-2.42/bin' '/nix/store/pg90p34kys2famxnq7925sbgj4jrnsi8-binutils-wrapper-2.42/bin' '/nix/store/cnknp3yxfibxjhila0sjd1v3yglqssng-coreutils-9.5/bin' '/nix/store/xfk033jdxdc5758wrpb0h2w462zlsb73-glibc-2.39-52-bin/bin' '/nix/store/zw4dkm2hl72kfz7j2ci4qbc0avgxzz75-gcc-13.3.0/bin' '/nix/store/62zpnw69ylcfhcpy1di8152zlzmbls91-gcc-wrapper-13.3.0/bin' '/nix/store/dv5vgsw8naxnkcc88x78vprbnn1pp44y-patchelf-0.15.0/bin'
|
Loading