dae9457277374430462533f8f018fec0dadafd552178fc8c1caa245e52c4b418 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::next_pow2 | 2026-03-09T12:42:34.807479867+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f0e20b272e87cce54cea61406c38a0c49e34d7e329467b7b4666b4412e3d09f4 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::round_up_to_nearest | 2026-03-09T12:42:34.697943014+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d5a437091c5124d80bdfe1cf02e57e6e8eb77933f0cd26026549a4355058c494 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_8 | 2026-03-09T12:42:31.491383519+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
64e15c45fe0af325be042639b261583d07171dc82167f86fecdf0c4cc0c45bfd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_64 | 2026-03-09T12:42:31.459584694+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
9d2042588fc7036214abb5118dde5d0c1deb210010c0cc6bc420bc14ab2f2155 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_4 | 2026-03-09T12:42:30.412860292+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
086f86a9bb9731d9d65058189b4ff72e8509b83a84cbb4a8560f3b9896d2b4da | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_512 | 2026-03-09T12:42:30.230245330+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
abcc834d195faa9adbb2730def1db7db06e8c2dfb0a884e224a27290abb859ad | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_32 | 2026-03-09T12:42:28.307339259+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d0ae0f1d1ba5f4cdd1bd4330d7d592c5484aaf6810746268e9543d1172f6d3de | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_256 | 2026-03-09T12:42:27.231077099+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
e8129dfe6698e5f17cac47741242e49becf3151572717ea19cecf6ddfddaf82e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_2 | 2026-03-09T12:42:22.941963340+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
e386d89b7648a6bf43726d49fe30aa8a509d592d07f9ecb4b6e7fdcec0f0df32 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_128 | 2026-03-09T12:42:20.379499118+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
73b47ccb4461efdb343f8bf271073870ba74f31191b3d63c6ea1d34d9f694f52 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_16 | 2026-03-09T12:42:20.318236521+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6c641245c98791a370db6126f5b4d75a2d9be868d6e928c7aa511b1c92ef2098 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/std.x::clzt_pow2_1 | 2026-03-09T12:40:57.501502041+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6d45d97d95dcc9eaad5e803459dcda9c4d50954e568ffbf20d776704b3ecefdd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::zero | 2026-03-09T12:40:56.991013955+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
11892ab1ec9c4285d3d28e5ec6f6fa964d4b1e0b879fd31b8a35f0fabb5560dd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::unbiased_exponent | 2026-03-09T12:40:56.926328202+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b9efdbe56c10c9486fd4cecc955ed19e1d7f0663c70e97c3a3cdb744841c58b2 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::unflatten | 2026-03-09T12:40:56.471682064+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
e47c04f9c0293b2c32ff8f03a5a7ff0aaa7af610517d94572ff14ba11a343650 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::trunc | 2026-03-09T12:40:54.310070796+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2aa746567049e679478f9975d6e3012b8c4949b5ad64b5b0dabe5a53ca88b21a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::to_uint16 | 2026-03-09T12:40:54.296281583+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
39560de0376a853cb986691698281232f57cefde555031448bb760d68f6d1864 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::to_int16 | 2026-03-09T12:40:52.530634679+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
fa4620a866fcbc90b05119883e5a7d4bf16cca73ab09001ae6325516a2dca127 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::subnormals_to_zero | 2026-03-09T12:40:51.094489237+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
35340825a368c0e141e2f1ee8e7a0e70e03aa59904294fc6516d264612226950 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::tag | 2026-03-09T12:40:49.993561592+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
336a98447d7436ba75bc78363f42f015fb0fd45b1629ef9293d752330fa72b26 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::one | 2026-03-09T12:40:46.805704591+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2350e5351da44582e4729f94d7f260de99cee928d5843d36f794ef704f04adef | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::sub | 2026-03-09T12:40:46.796747855+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8474f93275a0614f0f27e80ef52788b3ceae1526186eb8a70094dc92b882fa6a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::qnan | 2026-03-09T12:40:46.187238670+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
ceb0ede3581d4290897bcefae1843115aec26993c4e33897d9c414af1a714726 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::negate | 2026-03-09T12:40:46.123867845+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4e2dd030e59955aff2dc09d1513ebfac881f7f7b95ebb33e3b06891b90968f6b | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::normalize | 2026-03-09T12:40:45.525397322+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
316667b23a7ce5d89885ae6b8125b89aa71d290509db7d2ec5e75773c183300b | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::min_normal_exp | 2026-03-09T12:40:40.673413240+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
7344fc72cedfdd9f9bb19c75c2e0506e416c9bd289666dc7053056a6aa359461 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::max_normal_exp | 2026-03-09T12:40:40.636095521+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
864fd2689db4f0205f1bc27f400fb289373be9c2baa96639eadd6229503f5786 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::mul | 2026-03-09T12:40:40.498998161+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
83d99ddd28277e72627481d45b660e60d64af764f68fcfee6589dfcf35fdb45f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::max_normal | 2026-03-09T12:40:37.768073787+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a4f770e4518db38aa8eed76c5b623b2b7d628e13e1747258cec049d596988961 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::lte_2 | 2026-03-09T12:38:58.341460172+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0a3a892fd632813070e6f6a62d64a176289e4066393173c58164f93563196de6 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::lt_2 | 2026-03-09T12:38:55.685049115+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
574e2b328444cc357d2005a13f603a7156ba5bd9762df41af256e8c72ae2bf2e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::ldexp | 2026-03-09T12:38:52.371972939+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
66de9f53022eaba3c485edb41d46ae5c52ee0463cb50cfe64de1bdc7b5628858 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::is_pos_inf | 2026-03-09T12:38:50.851320726+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
406fa0941c8349b1a9bf09743afd013c329b2f63a676a4931f15db88f1e857a0 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::is_zero_or_subnormal | 2026-03-09T12:38:50.726406889+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
e84a9d7454bda51fc66db1de480c8fbf1a669a55a916c81288e91bee8142b482 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::is_neg_inf | 2026-03-09T12:38:50.241991938+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2bbab7f53e8cda4cc2086ecfe4197f6d5033904b88f760d8bfaef2848268f399 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::is_nan | 2026-03-09T12:38:49.488460602+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
e7e0159a86e9def13dcee533276307ca58f601c4a3ac181ce1a5c7a4c9db2772 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::is_inf | 2026-03-09T12:38:48.529580494+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
ec7a3a4b2dd1ec6a5c088760e42ed57abf465fa19359072717d982e7c01cf5a8 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::has_fractional_part | 2026-03-09T12:38:44.674996802+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0d44df3a57fe7dc5c9e7045688d1f1de5f1b4d1effa2aad8f70fa6b7b782287a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::inf | 2026-03-09T12:38:44.545876615+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f39de4fda97f8ee8f0319dee5b003eaab9201ad262d0fc736f3c59cd41863648 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::gte_2 | 2026-03-09T12:38:43.946375464+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a86f43ebf8e1687b0d858287a46094c7fa84b02454d2db9f70e018b0a499b8eb | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::has_negative_exponent | 2026-03-09T12:38:43.845100679+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
9de77a548ec256fd34ebcfcda54bfdf4057bb891879484e4aeb5c14bb079335a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::gt_2 | 2026-03-09T12:38:43.540827078+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2d905bf0ac857e8df106be1b98780b9929bd6fbf034471fb2703b2241f6018bf | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::from_float32 | 2026-03-09T12:38:42.426745334+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2a960d282fbcbb7d5af286898fc183c9cef0340e05f67fd2afb4aa94c1f75bbd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::fma | 2026-03-09T12:38:40.541554987+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c9e6a2444cc07828df8e98c7facfd8b5cc13bb1585b6d4b222aefd375f84f30a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::floor_with_denorms | 2026-03-09T12:38:40.312221100+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f43e5fe25670f188edad34e961ccc5d128a5eb6221e0d4f4e355a0916310187a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::floor_daz | 2026-03-09T12:38:36.489798126+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d545c3a3cf714113e67853a5eb7a31a56dc27dfbe8ffaf912867e16fe02a9d4b | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::eq_2 | 2026-03-09T12:38:36.350526949+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a584ad103b103d78d79a13a69ce13ca506b5f5827b24929df31ddc43067faa68 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::flatten | 2026-03-09T12:38:36.271904178+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f072d604383aef9926c6309d1d0700e30b92802c4c73ec1687e93393a4c9051d | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::ceil_with_denorms | 2026-03-09T12:37:54.716460403+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
449cd4a86a98efd72c8327fa1a76031a02b1094efe18ecb039b2d76c2d42fc88 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::ceil_daz | 2026-03-09T12:37:53.488071472+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
780b3b92f3e26057350a96ac117dc49b8dfe9d0b93f719a716fb67159831a991 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::bias | 2026-03-09T12:37:51.417637951+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c33e9c326c8db4a0cd743623aa4ef758b0cb04e1896884c1110107e9d765298e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/hfloat16.x::add | 2026-03-09T12:37:36.384597065+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
370de170886bc6e9bd59534ecd91f27189630a76f05d7542a86ee8ef881d71c3 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::unflatten | 2026-03-09T12:37:00.169441530+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
223fbdc4c6087fb8f98d57d30d7df2b42bce777d76558d53910e94a1df5ee847 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::zero | 2026-03-09T12:37:00.154436754+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c1e9e4a05f04aff4309423a220ad4547160669663ba2b17c55dc7bb28031009e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::to_int64 | 2026-03-09T12:36:54.449349135+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
9681286989580d1384c8cf1a4e1976f4454ffcae1f0e47f366f16185307b1c59 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::unbiased_exponent | 2026-03-09T12:36:54.392813847+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6ca4abe5b1d2a8b5d60d93ac75bde7e3fbef1f6b57c1897bac9a242b1c64ddcf | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::trunc | 2026-03-09T12:36:52.787700839+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
1b9048f65098ca68c2a36d466f9599d12f35f4413842ca8a2aa3fdc51a50ab5c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::subnormals_to_zero | 2026-03-09T12:36:50.558733392+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b2ccd96fd4165171e6354b21c4d10ff5885670d305a25381115d02fef8cf124c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::tag | 2026-03-09T12:36:50.370514023+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6fbc3efb2b63ec00c293bfd368ff0f6422e71dd88775a2b5e77bf2d0ded41444 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::sub | 2026-03-09T12:36:49.854335055+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
ecaa3fc851532ebac0d1356ed726a2117d59b28117aa5ff396d078a01db07d64 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::one | 2026-03-09T12:36:49.175249856+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c803477ed2cacabee3ca909aba6a91484c4877657c7f17433c0ed22f6f13639e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::qnan | 2026-03-09T12:36:49.023083842+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b3e9ac43fb683915166bfef2281436472f1531179c7205439dbd8e2c2558eb17 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::normalize | 2026-03-09T12:36:38.462611848+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
e9c35010829a0385ade3515b82e7493205527ef204d732edf31642450cd21f96 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::negate | 2026-03-09T12:36:37.499380753+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c8a0fb13a7729b7a9ef66db926c443d08294f83c587a4f8a3d59696b9894c089 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::mul | 2026-03-09T12:36:37.241397538+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
14c1c419012f078732a24ac38c28d47c8c42ed59131deea6d3a419fd25a78b52 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::min_normal_exp | 2026-03-09T12:36:21.129495238+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8b64a6c9cb984576addb43b86ed9d62b1e264265c88face0bf70e805a47de383 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::max_normal_exp | 2026-03-09T12:36:20.027942196+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8c4b43c8ec47e18ea54f5dc9d2f60a4c06cc8fe2da5730a75d82436b537507d5 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::max_normal | 2026-03-09T12:36:19.957432931+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6c68c0340aa394d83ba26403197fe7dd9c6c9ac4603c9c39a13a2644833e5604 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::lte_2 | 2026-03-09T12:36:18.996758758+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4cdf981785d0b93f3a03e05874f43cb4300fb8ed56dc75eb5dccef35aed20813 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::ldexp | 2026-03-09T12:36:16.828796363+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0ab7217f2c869b232f68048cfa38d4bad9e44f3e8d058fc2428f0cda0de4f18c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::lt_2 | 2026-03-09T12:36:16.816713106+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
1fdcdd9ad18cc40cd6df18293e75aedb0b80591eb1ce53718c08f902e80f8134 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::is_zero_or_subnormal | 2026-03-09T12:36:16.742082568+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4f53720d4ca5984896a90c515b345286bde94a61895c48744eaa3d823454b662 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::is_pos_inf | 2026-03-09T12:31:11.788198173+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4e73c9492f236b1b6e5bf287fa852853cd80bce7784def93ccbc0fd8eca8c723 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::is_neg_inf | 2026-03-09T12:31:11.236638961+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2dd14ccbd70fbe5d57e2d428381e4de3d16fdbf8cafe8d36661d287eaaf7699d | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::is_inf | 2026-03-09T12:31:09.490436912+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d637588f285a3d32bd2c248e0f253450b95ba195658eb71c86a517c70198638e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::is_nan | 2026-03-09T12:31:09.439556613+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0284eb4528c4bd42fdaf0413647722955f60f051baef32437b32f6c589715dc1 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::has_negative_exponent | 2026-03-09T12:31:08.851843582+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f06794ee7358d907a960d24743b383662150b4785dc2127d0bd7ec6323e0a687 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::inf | 2026-03-09T12:31:08.758391524+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
88082a3d653c6a7b6138238cf3c2a16041aca44f6e9c92a98ebce7c64c51b9f4 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::has_fractional_part | 2026-03-09T12:31:07.847130904+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
99fbbbe6a0f81ddd8e1f2925fc1fd244d46f21d734f69ad03e04a081e3897906 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::gte_2 | 2026-03-09T12:31:07.606293484+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4799ad8f42a046b202d723227f28fc4aa4c0643bad3c92ed4f3b46aaddfd42e9 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::fma | 2026-03-09T12:31:07.264130527+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4d82edf50ea553b6ae3e03b0b78bf2e27efbc020e528d4551805d3077aba8480 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::gt_2 | 2026-03-09T12:31:07.261161469+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
65e960b3327fe42a88808fd5ba74a1cd5cf13a163ae278121c3124e627407f95 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::floor_with_denorms | 2026-03-09T12:31:07.206155820+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b81e26011560eb02301326ad753a12be8905bcec363fbbc461492b5bf5d7e3ec | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::flatten | 2026-03-09T12:31:06.748519245+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
7ee2de251d8e5aa04f1575580c3bbad7cab42e2d2c4a990e850f1a0ac7efe731 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::floor_daz | 2026-03-09T12:31:06.733183423+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
10aa829a738731543ae2ef3f4fa962701f66bab64d19423a3788b02c8b4c1d88 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::eq_2 | 2026-03-09T12:31:06.731211612+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
cacd337502672adf655e56051871408e56578f190eaab76c3c9537cd8a0b50ba | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::ceil_with_denorms | 2026-03-09T12:31:06.696555179+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
067941f77071d506b8dff87b1d90d17e764974aa7aafb1a08a2be494d9201210 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::ceil_daz | 2026-03-09T12:31:06.670863506+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
27ceeee601a1906fbcb6c202a7e298f49ae17d7be8e901ba14b88011b9be3f9e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::bias | 2026-03-09T12:31:05.912411475+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8c8c5a7f22190990a53cebbbd5f6d3411a108225f94cd6c2f91d1d19de2e9ade | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float64.x::add | 2026-03-09T12:31:05.644273407+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8aabe55fd0173402545668061b977deec18a43911d6ff8cf63f4ba16ff2761f8 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::zero | 2026-03-09T12:31:05.443398930+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
bbe1e407db8e00313cd9b25bb8b4dd19d64bd706b4281ab3c610684a48501346 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::unflatten | 2026-03-09T12:31:04.948711334+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a29e36ffa7544dc8b17406e41517635be2bdbc855de1bfb64b3efbb5db39056d | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::unbiased_exponent | 2026-03-09T12:31:04.856080264+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d0d84224aeb033799e87362a221a94f1b4890489915f3a43aebcc39c45d47ff7 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::trunc | 2026-03-09T12:31:04.393820111+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b5738ab5629c07b3ef91545bd0c1e90f2b5cc01056fe00b84a374339971e6559 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::to_int32 | 2026-03-09T12:31:04.376131768+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8531c41458ebc0d9163562b23ab1b53e5a8fb4691449c0cbb7c40c63391ae34e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::to_uint32 | 2026-03-09T12:31:04.359160792+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c7297bc5747453c03c2caf81db1abe499396616cd8b75968fc74f6d60c1df0d2 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::subnormals_to_zero | 2026-03-09T12:31:04.325659089+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
443333797d03a07846f8eca01897cbddb56dfc03aa6d9d9816828b2a0c95748a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::tag | 2026-03-09T12:31:04.324771717+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
22e26fd012b1c3e068675a7000d757b39ef56218f8b4b48ea620ef0a7bac77e9 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::sub | 2026-03-09T12:31:03.645481188+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6ed1bd478d7dd1a8a18482a9560d3a4cedd6e56065278d488d37802e44aee196 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::qnan | 2026-03-09T12:31:03.542442992+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b5d0654e506958dbb989d8cd36e08df4e7ed6239efd0b086a6bcad2bab30eeb0 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::one | 2026-03-09T12:31:03.368308279+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
76997663b6fb751018b50cbb4841306ffed84930cf43f0a0fdd84e95b9ced260 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::normalize | 2026-03-09T12:31:02.925445870+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
18b45f2a009cf21b2e50ea5d7d0138dd328384ee589b6f323bcbfec8d2fabf51 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::negate | 2026-03-09T12:31:02.916345197+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8a3726c723d421d82c56addaadfb4392aa183de226f4ba56ec021bfd47ed274a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::max_normal_exp | 2026-03-09T12:31:02.342270127+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4302e2f3dcb911c0ad25b3846dc5728ea651c6d6145743e3489bd22e9907bcf7 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::min_normal_exp | 2026-03-09T12:31:02.336238888+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
97f8a3f98fd994824c9f58f90c43393b25319a9146d0dac7a7aa3e4852e1cabd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::lte_2 | 2026-03-09T12:31:02.315127373+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
32958d3162548a194e591845776d70349d894241ca61efcf517940eed0249a00 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::mul | 2026-03-09T12:31:02.295510491+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a6f63aaf2cfe99ab3d00c6205e7e7e6cb8d2f24a7bbc3dabda4c7b86efd164b1 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::max_normal | 2026-03-09T12:31:02.274290103+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
5e26e8b979fd6eccde8de91b2e5ca461e988e0ad242d7c15bd4df2e7f336b3ea | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::is_zero_or_subnormal | 2026-03-09T12:31:01.703103892+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a549431ee0ff8d881d0f4b691489a60fb2cc4e6fe1c6c0f3b6f3f728081c0706 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::lt_2 | 2026-03-09T12:31:01.617221607+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
28513933f01bf9466913e9992b674e643a4f42f49e0ef1aeb3cd32768efc75fd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::ldexp | 2026-03-09T12:31:01.610478252+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c2294403472ef882111c35a46a4f8c4146cb9231d867dda94dde45f7346c360d | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::is_neg_inf | 2026-03-09T12:31:01.092747524+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
446c947f54de8e6eb5bd15eddb4339b3ff47801bf00089d3d92de4cd4cbc1f14 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::is_pos_inf | 2026-03-09T12:31:01.053611190+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f2a568e3071f399bf02180bf3f6e9741a88937ab37286d16a0605e435be5fdb8 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::inf | 2026-03-09T12:31:00.342266543+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
99550876bce3cdcd51f47345d3fe7f6f42c539bd053c7b6149d085b470693f22 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::has_negative_exponent | 2026-03-09T12:31:00.280369133+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
365cc25ed6f491ef5f3657f0c9db5cb362045d797b17324da3dad1679eb9ddb7 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::is_nan | 2026-03-09T12:31:00.264585768+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
789a0a0efa0fadb077091f44a4c068c91c1e99cdcbd847eb472d20fb5aefc4b2 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::has_fractional_part | 2026-03-09T12:31:00.252130078+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6943e7c85205fa77af739098aa07a18ec18af308ec8e1a7f77600d35a8622ac6 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::is_inf | 2026-03-09T12:31:00.241410009+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
cbae256955813a5fa11dd1a10c205886daf72a3976a136ca3f4b7f13b301540a | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::gte_2 | 2026-03-09T12:30:59.566534009+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
5d7562a989b5c55abf809a9856753b3174ea905a6ff494478bf8b09537307dfd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::gt_2 | 2026-03-09T12:30:59.557665869+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
425ca9e9d39f5869a5cbe55b64b34c73e1441a5128663d3fc38415072616839d | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::from_uint32 | 2026-03-09T12:30:59.557150569+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
07df90070d597199b726c863d8f47b77d2e7e43014a0d149218d1d03c15afa14 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::from_int32_internal | 2026-03-09T12:30:58.463080777+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
23b77313360cf8432bca301c9960f907d2449dd56b8b5f5092e681cbd63d7034 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::from_int32 | 2026-03-09T12:30:58.431219017+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
31ca925e7cc9cf22b22417b93d3781cd334697b3f3345ca56fc969e6ef7c2868 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::fma | 2026-03-09T12:30:58.094106634+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
5360ec3893d0352bf99513f8597d8605f1fff1684caedc1668add3cff7d9c872 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::floor_with_denorms | 2026-03-09T12:30:58.086580552+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
46b0363026e780236addea8be8a1ef52a0d465d31ba470301f8c94e550da5ea2 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::floor_daz | 2026-03-09T12:30:57.870085322+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
4eea537b6b2963a8f1881d51258bc1405a9f788939548cf3a14079925a1aef1c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::flatten | 2026-03-09T12:30:57.861258549+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0632ca2bc4a309ec30b879c78bcb219785959a9e357753880db1910a035622d1 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::fixed_fraction | 2026-03-09T12:30:57.610603982+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
ca9af2b4c46b82013713362943c314620c4b16cfaceb4f97f4586e7a398aaea5 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::fast_rsqrt | 2026-03-09T12:30:56.995385762+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
76e89ca63c43c858aba2b93f99857d02539d7487f202587d165881d04a35721b | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::eq_2 | 2026-03-09T12:30:56.959339351+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0f25d19628e6994326fe0a151d221750247eaccdd0413d472805ddafda1a7bf4 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::ceil_with_denorms | 2026-03-09T12:30:56.939715887+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f4a3a2f1b8fe23699f7ffd7bb1877fed6fec6b0b6b14e7761ad530e2aa8ebb27 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::bias | 2026-03-09T12:30:56.466293762+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
bf676fe0641fa2da06f1739680e759f54306ced82aa649cee00e51d15d7faa9f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::ceil_daz | 2026-03-09T12:30:56.402067707+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
875bea45b122ff2aa3cf75a8229a501d9f357579ccec07592b1324bd76542c6f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/float32.x::add | 2026-03-09T12:30:56.046593427+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
dfce4f7082a7254c9e97d6a46ad168adfef1557f49a2e18781d3413b12b64b27 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::num_nonzero_integer_bits | 2026-03-09T12:30:56.025188165+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
8b6c093a4525726e3dfacc78f115d442f5f939878711b2ff3b1a97340d4d6a83 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::num_nonzero_fractional_bits | 2026-03-09T12:30:55.967998820+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6d47ba18c5754527d9ad28dac9ed7de740ac6c603e7a11191cfa5e0f0d15ad59 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::num_bits_overlapping | 2026-03-09T12:30:55.764093471+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
3ec760948252f82ee90d213e3430e98e74159b9876bb187a58028e4a08d42a01 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::most_significant_bit_position | 2026-03-09T12:30:55.582140512+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c1953b8b891b741fd4c4ec6402da2c998fa7d6b3e55839cf2493e99c1b2f2978 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::least_significant_bit_position | 2026-03-09T12:30:55.094211539+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
9a459893e2c22373773da0c1f8fbefa688411d2eb50cd2ac1392886138ac250c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::binary_uexponent | 2026-03-09T12:30:54.835294419+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
13e4167f28ea6bd7ee726ec3fa036802d0b3330bcbf2f1a5f79d58fbc74d6729 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::is_negative | 2026-03-09T12:30:54.803301364+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
621e88da01c141d6502efb0601598bf83cd52be7450162f32fece050356897c9 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::binary_exponent_after_truncation | 2026-03-09T12:30:54.412621559+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
7fdc14f1e10ca5457a0e391d19595a161ffacc32d69ebc37d99c7e781f0f03a9 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::binary_exponent | 2026-03-09T12:30:54.372427927+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
a1997af29c6fbf77c9bd8847329dd1d7bd818612b6751cf33906f164c21effa0 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/fixed_point.x::aligned_width | 2026-03-09T12:30:54.047996523+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
389afdb4ecdf8aadf90b7609590014ba945c7623b1f9f903fd7790162d30ee9c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::zero | 2026-03-09T12:30:54.038309969+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
93932a67e6ab97c742b858939d504ec175033b46d5c4c9a8cd42483b8f83c7dc | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::unflatten | 2026-03-09T12:30:54.014745026+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d25f70e05156c7a3fc33a0771c120aafbd2ced426345ce19762bf9c1f70d0fa3 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::unbiased_exponent | 2026-03-09T12:30:53.816361176+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2c31e7fe11ae2f42887170ab5a39bd3587ace7be5dfa3d2e63c6e9c5659e240d | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::trunc | 2026-03-09T12:30:53.752713978+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c618a56fc05a8420e9211891472a77411e200ae00d5fde888c91e3cba47ad26f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::to_uint16 | 2026-03-09T12:30:53.164286247+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
1aaddab6c671f5076a1521287331bf210b8b6b6e5e10603d9bd3a341af84c82b | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::to_int16 | 2026-03-09T12:30:52.930296447+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
ae84c7a859d903108ec2b60eecb5de344fca28eef8994d432fc8bf39209f7a07 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::tag | 2026-03-09T12:30:52.892457739+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d356d842e34709286e5cd0d4692dd0ee4e44a95127d9a6fac91eed805e04a743 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::subnormals_to_zero | 2026-03-09T12:30:52.451353274+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c24022f73a47a1dbb063e8cca6d20bc636a526806dda400a2e10175b592641be | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::sub | 2026-03-09T12:30:52.445203063+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
126c4c7a1c0d513603593cdee0883b31255ce282f9c63165c2ff23017cfdfd8c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::qnan | 2026-03-09T12:30:51.815438722+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
0bf938dd5e5b034a60eeb3e05761a35dc49d1069f1f13d8d4edb2f04453329b4 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::one | 2026-03-09T12:30:51.783180634+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
97baf10207f3b4815649fc53aa0e8619992b42c2c3bac4c1698c42038c9aba49 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::normalize | 2026-03-09T12:30:51.264630832+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
623c4342448ecdf29591b8940ba28778f45149607cd5e6ae2b6bc89223b93611 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::negate | 2026-03-09T12:30:51.118601656+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
39ab14c5f9e07f53eaa1c17fd59c68304567765e568db3a656ac2a4ee20cfacc | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::mul | 2026-03-09T12:30:50.825480745+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
06bee648b8ca438087f7c1113e08bb62f0b25323d106dafd6eb968573fe164a7 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::min_normal_exp | 2026-03-09T12:30:50.357310129+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
aa61cd0057086f9a379e016cb6337c4690bce81be96257b08af6158b1e4e8d09 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::max_normal_exp | 2026-03-09T12:30:50.306153706+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2724b12236d798b31abb75004cb245fc1d6d6ffac57fee230e733f682b58b632 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::max_normal | 2026-03-09T12:30:49.902400631+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
63fa07c30176341d928cbb7cd06d16272e65fbafd39485fe3308249417b0ccb6 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::lte_2 | 2026-03-09T12:30:49.869412074+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d8885e01582696ca13db9d845fac6f4b6e8e166a9aca1c6670ce3ba9f835dfdd | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::lt_2 | 2026-03-09T12:30:49.396572765+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
336fe1237638c80ea0c99032b57a1e7e960299a1b8a0b12fddfa3bd09b580513 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::ldexp | 2026-03-09T12:30:49.009523549+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
38296079dc7ef246e2d71ea12edc09e8a16034a285c6f6d8c0fc28abfbdaca20 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::is_zero_or_subnormal | 2026-03-09T12:30:48.579435084+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f05c6965d76e4ac8ae559e7817d856345af79723f14d247fc5b2fcd389ed474c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::is_pos_inf | 2026-03-09T12:30:48.369400713+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
44c490eebfa594fc8fb28d2c2026579d743ebb6d8b75da868db64f47f3cd8652 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::is_neg_inf | 2026-03-09T12:30:47.979031046+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f7536a5d26d1f55e2b2e0fe86df7c0c8e40e02f90ad8e13c08d07610e68d5a66 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::is_nan | 2026-03-09T12:30:47.928244391+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
645b59b284b7262160f8f700cdf28c48e6e662af91bada1761294928c03d1b00 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::is_inf | 2026-03-09T12:30:47.522036587+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
7eb2d82171c3724fd380375e65fff75bea4325693c67baef12e2021ae50859ed | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::inf | 2026-03-09T12:30:47.076626035+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
c5d6fbd9597ef74a8c947ccb93980d032cc0300a101bd775c76440ff2f268cde | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::increment_fraction | 2026-03-09T12:30:46.741457160+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
eab94c292370b0a0dc2fa2a8e779f1f1500cb718eba322384c751fb6ac1753ae | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::has_negative_exponent | 2026-03-09T12:30:46.361434777+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6586ca7f1184f50fd43063c140d2894ccea91035b7540d9f6cd7987348f4de03 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::has_fractional_part | 2026-03-09T12:30:46.085980799+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6ee5ad5aae979008ba9fb746f2b5c2e952ad53bf0c0f013165de3a88c7d14b63 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::gte_2 | 2026-03-09T12:30:46.006283168+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
bb1048291f84aa60761cd88031b0cfca9cd7600b40a995e1f4ea5431963af12f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::gt_2 | 2026-03-09T12:30:45.713606325+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
9cdfbbab44f860d4c3d2c6b9289d72962743dcfb96b12c683fec346babf30906 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::full_precision_mul | 2026-03-09T12:30:44.854165384+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
ef74de1e3afa86525272bb410bbdd44b554b4f5a2b18ae125c3eb4d9ad2ec08f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::from_uint8 | 2026-03-09T12:30:44.544629663+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
96103efb879dc069f430635f8011d11e77594335014493d9b7876e334b1ac3c9 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::from_int8 | 2026-03-09T12:30:44.059474104+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
771a033a26867bc0c8a3a6ac0356cfcdc33df72cf245bb196e6553f3a458c84e | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::from_float32 | 2026-03-09T12:30:43.994438120+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
67eeda8a60609f7d564897f3d7376fad2ed70b692875d6e5451f74196327bc25 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::fma | 2026-03-09T12:30:43.889373071+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2730fdfdac181712efc6a4f3291611951f0ea6cb44584046bae581930cebc743 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::floor_with_denorms | 2026-03-09T12:30:42.983044565+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
96cbfd4cdfcd666ea4ebf14a73db78870b7288e1af1789fd113d8cde2d64ee9f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::flatten | 2026-03-09T12:30:42.147245892+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b4a3524e58c0ed0000284c184587b6f90cc55017a8bc60ac57db16c17b9eef20 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::floor_daz | 2026-03-09T12:30:42.122412487+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
d2dd7f5565752b78dadb39ee9613a890149261696befe540573f4016e2837982 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::eq_2 | 2026-03-09T12:30:42.106337168+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
75298e66ada4bc443349abfc5be6b17c534b6571e68c4bf930cf5f1dfccfc7de | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::ceil_with_denorms | 2026-03-09T12:30:41.176151946+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
303c5f9e5709b6c5e944c0dca0188ba5e6d2d1b120406cfdce86aa87a575d80f | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::bias | 2026-03-09T12:30:40.203082804+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
6dedff1f4d5770dd96152512af68d0a2d1820b9169a234f20c89d76afb406aaa | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::ceil_daz | 2026-03-09T12:30:40.199061968+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
131e5046ff5c6179d88a5a918fcc5653b3c31d47ac83343a114cf5607d0f98ab | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/bfloat16.x::add | 2026-03-09T12:30:40.091565873+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
16e0cb0c2b276099e941dc6df905f2ee329dacbcfc72ff948baa677a92757491 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/acm_random.x::rng_sanitize_seed | 2026-03-09T12:30:39.418240440+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
bd58ff2ea59c402f4950b75e2ab7d445873a29a924ea55bcd604b7d7918be697 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/acm_random.x::rng_next64 | 2026-03-09T12:30:37.687513377+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
b811b120894f1037a4443d6700cc738a48523d489f0cedd286d509b7a2349485 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/acm_random.x::rng_next | 2026-03-09T12:30:35.930419343+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
f9b78f4ae86d1b329a71286109237a381686ad1eb9c4e4967d40f4ec81543d66 | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/acm_random.x::rng_new | 2026-03-09T12:30:34.238476808+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
3b27d0f274f3dacd6182077a83a82823662514e161b24e5cc1739502c1a74b8c | driver_dslx_fn_to_ir | v0.39.0 | xls/dslx/stdlib/acm_random.x::rng_deterministic_seed | 2026-03-09T12:30:32.495369746+00:00 | docker run failed (exit=Some(127)): xlsynth-driver: error while loading shared libraries: libxls-v0.38.0-ubuntu2004.so: cannot open shared object file: No such file or directory |
2118da80bf7060b2789d2a2659471119189cf01a5867bda258d0df54547719c0 | driver_ir_equiv | v0.38.0 | lhs=e8b2b00ad00c rhs=7926c4f21ca6 top=__std__round_up_to_nearest | 2026-03-09T11:58:55.464842717+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-2118da80bf7060b2-3434453-315432) |
33c7c643c6a2a682a87003055a51f78ea6982d2a949434a6d05edeff49218882 | driver_ir_to_g8r_aig | v0.38.0 | ir=7926c4f21ca6 top=<auto> fraig=true mode=default | 2026-03-09T11:52:25.797707523+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-33c7c643c6a2a682-3434453-314979) |
23476d89240feb4737ebdb4b83b41802f5e002846fc98d2357b8443607167643 | combo_verilog_to_yosys_abc_aig | - | verilog=0efc21ef640b top=__float64__fma script=yosys_to_aig.ys | 2026-03-02T09:25:10.190679494+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-23476d89240feb47-805092-162172) |
fec3be266efae1cf23c78ff84463de0be7667dadea6af429358f7e8aadf5d355 | aig_to_yosys_abc_aig | - | aig=d4268942683e script=yosys_to_aig.ys | 2026-03-02T09:24:45.631288076+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-fec3be266efae1cf-805092-162056) |
ca8bbe25b0de24ab8a58df441e2d30473d5fc2ba8732b2b96d64bef665c4d4a1 | driver_ir_equiv | v0.38.0 | lhs=c0dd479b69af rhs=9e8db259b94e top=__float32__fast_rsqrt | 2026-03-02T08:57:14.771765808+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-ca8bbe25b0de24ab-805092-155571) |
493ea9c04016e5dfa280287d013743d33664ad401d6d333092de226d2b26205d | combo_verilog_to_yosys_abc_aig | - | verilog=b0bd92fdeea8 top=__float32__fma script=yosys_to_aig.ys | 2026-03-02T03:16:02.172015901+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-493ea9c04016e5df-805092-74266) |
30346dcd1fcbf9a0c168fcbb3394d4d6db4c9eff43a7e7606102b073ba3514f0 | combo_verilog_to_yosys_abc_aig | - | verilog=baa28f1598d6 top=__float32__fast_rsqrt script=yosys_to_aig.ys | 2026-03-02T03:15:51.018225960+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-30346dcd1fcbf9a0-805092-74222) |
16e8d902017aa78c0f11bf574fc557d147d1c079cbef93ce49a1b558d694f8a2 | aig_to_yosys_abc_aig | - | aig=f05376f829b6 script=yosys_to_aig.ys | 2026-03-02T03:15:00.069744118+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-16e8d902017aa78c-805092-74031) |
dba18985d2520750e882cfa17a1fca0a940da0dbc991092cb451db46e4667ad7 | driver_ir_to_g8r_aig | v0.38.0 | ir=7a4ad1e29b12 top=<auto> fraig=true mode=default | 2026-03-02T03:14:54.958168170+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-dba18985d2520750-805092-74011) |
223975c4f1bcea820e0546428cabef34bd529930261ddb4ba820d98498903a33 | driver_ir_to_g8r_aig | v0.38.0 | ir=9e8db259b94e top=<auto> fraig=true mode=default | 2026-03-02T03:14:25.755748480+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-223975c4f1bcea82-805092-73906) |
84d6e5224a4e7e338b8d457a9f91a9f5776c81d24c16a18d46c94de079a07d8f | driver_ir_equiv | v0.38.0 | lhs=585485cc6f57 rhs=3beaed38ad9b top=__acm_random__rng_next64 | 2026-03-01T23:30:10.766710278+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-84d6e5224a4e7e33-805092-20502) |
37fea15bbfce71c2de8c93541f7b34d48420a07d31c73f3e14410010bffdfb57 | combo_verilog_to_yosys_abc_aig | - | verilog=d14f65d38b90 top=__acm_random__rng_next64 script=yosys_to_aig.ys | 2026-03-01T20:32:35.174738169+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-37fea15bbfce71c2-2940201-546) |
e56db5e5ec61998f337f08861d105d87d34352d22b0de7cd307a9fbb3b9f9fbc | driver_ir_to_g8r_aig | v0.38.0 | ir=3beaed38ad9b top=<auto> fraig=true mode=default | 2026-03-01T20:31:04.988406640+00:00 | TIMEOUT(300) docker run exceeded 300 seconds (container=xlsynth-bvc-run-e56db5e5ec61998f-2940201-208) |
758cce83c25dcbd01482e4e91412c3abc2c098221d388fa8ee3024e6f51cec67 | ir_fn_to_combinational_verilog | v0.38.0 | ir=a177c9855340 top=__bfloat16__increment_fraction system_verilog=false | 2026-03-01T20:27:35.739927291+00:00 | docker run failed (exit=Some(1)): Combinational codegen failed with status: exit status: 1 |