tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

binary64_working.receipt (13379B)


      1 arboricx.build-receipt.v1
      2 source	20bdd009a1e55c9099d6c247b587378d29dc65e70198a2ee6be4df5da568df32
      3 compiler	2dae2427ad3993f6f27a2e5bbd76763bd3ed1289a424a781504a2eb57fa3b57e
      4 options	307cf2eafa67562f5c3a6d4555c1fc1ccb9b91f43d0b74d564f5aa0bb73ffd0f
      5 output	2bab53a64f1e4b82cb3102e152de97a1ac3d2847737bc96b807639e7cc502784
      6 local	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	bee1b7f4101f5dd9968d5c9151cdb8e113dbe0688cb5b750f0f924d513fa0b3f
      7 local	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	64fea67494bcea9b14db5d50727e810ad9831c6210ec45f544d942fed176089e
      8 local	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	a424c6f21654657b6cc3e5265b66304d025ba64d3ab613be56f83996612e724b
      9 local	binary64_fast	f0156dbef05d4b2f9c579afc606e306ae721b16160ab69dfcf5e0b6be4b53f4d	454fa4aefe936449f7d976b0d2be5945a315a1c5aa2c10e3d07776dee5b94b3f
     10 local	binary64_quantize	cd5c71e6ab8d5d2825321d6c03876d05c7fb5b226d309f247a5178f1eeaac940	b6310ec3505dc9032f94369a80853e71fb30df153575b785d18b84752c1ff041
     11 local	binary64_near	440deb3d8cb6c22216fe1583938826f8c3faf14862f4a9fd7425c10a8182baf5	7f24d2c4f7b285782ceeff52a6ef184214888c75013f9320feeaeade9c47f9e6
     12 local	binary64_adders	6f7b17e8774d544faf42b3037bbec608cbdf94e80be45b86e95545b9f8c528af	beb0602c541cb8f0229f77734f9a28d26dc6b5c1870d1bc0cb22d1cab9fed8eb
     13 local	binary64_finite	4f3a166a27709e06f5e61c9cd28fe022f676b158956311fe420d9291ae195eee	60c2b46b6c715a33ca77b08bc55223f2d997963693e9824c29c12781a1da89a0
     14 local	binary64_product_quotient	767c6d8b08832e4d8e149f60fff4a123355933e79b2f11152d9c6fc51d96da39	d283d19974e23db2e09f020c2dc8c0108a0694c6e147e3e87e65306aa93ddf5b
     15 local	binary64_ieee	35d467903423d601f556e116fc7de1a556d8151649bf5bdcde06a225b9e4a047	f3f0310482e10be855e1c4ec1a48a2f6f07567ff40fadf194ec520aef958a503
     16 local	binary64_chains	e26daaef184000da2327794e462a772ebcc455d373f381911cdbda8fe08308ca	c6112ea33740ff5e19fa37a4adbdb5f7712ed9af174dc758b9053b4a0ec0a36f
     17 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	compare	25d460f10cf8893795a8a5eac6a951b40459ef90e35f6945f72c3f53868f94f5
     18 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	equal	07e8af1f8ef6366cab90420cf1ec97a15b434ba4ee3966af235579a05935180e
     19 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	lt	2d03ab42e2a4c9cd6f7ba21c381816f69ad0d9a68603de268e40649d9de3d680
     20 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	lte	a418c1e5f9d7009ced4b56f78b7362dd19737561f8569cc75a61fc2af0bec51d
     21 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	gt	d61ee5a7024a93abad63c481e07dbe5c397185091d495280521aaccc7cc4ffbb
     22 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	gte	a673430b4e67fc6e29e3ae0311fcc849cc6cc86de8012ef2a279854283001e54
     23 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	inRange	62a3f72adbb9030425f0e63e43568c0eae069d7293763fab3a83123edef50aaa
     24 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	minimum	f515c4e49514b4631ca183a2a2dfcfce46d5ef8a8338a09496ce9a0ca2f6502c
     25 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	maximum	dfcf25622f229c0ae04441aae5884a38d0ba046ec512c8ac1fde56290657938b
     26 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	zero	1a44df56829bf449628a829ebf2d0a02ef86babe5c2f016e0ae58ef490a0c584
     27 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	odd	597f51ff9347748cc2a6ad0a824e18506d3db33151258898f8ad5c77e4aa35dd
     28 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	even	1708a9a702cf609e842f230d620ff0b52502b07e6209a5124475007d23bb1333
     29 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	successor	92368bcbd17e125e9320d4b6b6be1ecc192f195f73602c6587b886d0134b60d1
     30 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	predecessor	dadc9a9becafd4bb255bc9bd00616c49a488237b4e16ae5919ae46f590525667
     31 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	add	066aebbf5d3b48d5e6c9c35b5c59e9cc5172f47d09899684475738eafb4fbe4a
     32 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	subtract	a5a9212b766933b7c8f07b3f98f7d9d789d0ae45e1301042da712fefa3dd0a3a
     33 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	multiply	320a41f19797fbb9a05d6615b53be543b7acec4e3e535ad81c8f1e5f16db3de0
     34 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	divMod	068932c208504ea9a547086ba761d6975ee3173d495b80addc056999b7fc557f
     35 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	quotient	bdfe626a727affba89d4c11e489eca0086f4c42facfb4ee9f248e69a47abed8a
     36 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	remainder	80f8dd39e11423480ce2f5f5edde99104824bab147a88a2c331c8f643a0e6817
     37 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	power	3b59e090c4ea2d7966c2bc7bf21c9ed67940c1c7a41f01f6e04db93a69ca54a1
     38 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	decimal	644d54084c9734a5b58ebc7d9bb973eea48890665db1617679db9bd1c8bd68b0
     39 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	ascii	e0df024c0168229497859a5e770f7e36594d9d266c3933102d1fa1997d4b3225
     40 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	digit	eed46692dadce061198cf3cafd6c00bbc5561d9fb637706d16bde41552a1b9bd
     41 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	letter	ddca67e3c882ecee1239775aecf0d31b8ce136f86e6a6eea70e5d8b5979b0b30
     42 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	lowerHex	3b752ef4b4b89ef102dc4c43110ee8522922dbaadf77495713fc465d9e718eb4
     43 pin	native_math	7f87549d587fa8c3be88af0ea988db3adcc3b35f1ffb48973553491b075614db	printable	9c88d7eaba58c0771da373821f7223c298bea7697647f03f6b1a4d922ff8a6e5
     44 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	both	085fd9a14421b6ee526d5640630a248219cf4407c7f251c74c620e37cb000004
     45 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	choose	0aec7fc4c668c7af9f5826a9f338f8c5ec4831baa995bef691d3bfc1949912c6
     46 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	either	3f9f6743b1519b6a64d4e4af9d048fa59a9315510809b2b759539846b743b1c1
     47 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	head	597f51ff9347748cc2a6ad0a824e18506d3db33151258898f8ad5c77e4aa35dd
     48 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	lazy	b3a98bdd5976490baf00ff3b40d2228c097d30f6833e2497c9ee1945a868f791
     49 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	node	150931a9ac3398f67127449e8a9bdb44753d2039da59a0e96b51a57953a961b6
     50 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	not	788152b84fd8e3bbd0ee1fc6e93b033f41f5b3f9cdf768340509e26044f04df0
     51 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	roundL	0bfcfacbe10d66df817ee58058921e362d9e9d33254cdd51f1b2b681fc7a0d64
     52 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	shiftL	815fb7d9779e90002ffd8e6ba79cf5b2be5b0f52c54462715d75cbeba8ce6989
     53 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	tail	4d2bd8eff9b3cbccf4516655eaa8e3ef2a82ddd44bd62f7fbe513467f1fbdcdf
     54 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	triage	3b89c8b2218cd7c9969398c48c0becc6671ab0ab5c456dcf575109b2bae0d28d
     55 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	width	4b75d77853bef679113be484060b5d6150a5b5de7583e6482a7f0c39cfb71e33
     56 pin	binary64_kernels	d57a40fbc6342af8922e3d89dd94fb2d627d796e06ac71515e2b09c6998ca0c0	xor	48597639828c4a2197a397bc133a65ac19bf39efb8e491ac44041a222c9c1585
     57 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	drop1	4d2bd8eff9b3cbccf4516655eaa8e3ef2a82ddd44bd62f7fbe513467f1fbdcdf
     58 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	drop11	b34d058eac92a9ae75b2c9b7f9bc3cb03fbfc3594cfac9a068001f058d954bb9
     59 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	drop16	6dfd391521f13dff6959a65eb7556fb75aea70fffe11edcfe16ce15813626365
     60 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	drop2	538b0952818a7dd20a215c225f11eca9122321e5ef4c5a6ba7e67222cfe816f3
     61 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	drop32	6a80792a0beecd58a691bc1b2918b5c343a547f636740895cce0f7d5f6513125
     62 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	drop52	1bd36f16e0b6ab982af3d1cbe5dede86a173a055748eeb6a6107610c5c15894c
     63 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	low11	c4ff48b2f0d809f547782d993103be7ed5549f73c85d9d22e786fcb3f4950179
     64 pin	binary64_layouts	8ca89c517b3caea9da8d9365684c592b2cca409576f1ba0e58e2584be7df90da	low52	9d70634e2552fb30343d656950472b2fbe8b709eec11bed86a73b248119c13ab
     65 pin	binary64_fast	f0156dbef05d4b2f9c579afc606e306ae721b16160ab69dfcf5e0b6be4b53f4d	pack	a7bea73834ca2000a7bed9861b1d115181a1b7d18c0bdcfc554bef5578373c1a
     66 pin	binary64_fast	f0156dbef05d4b2f9c579afc606e306ae721b16160ab69dfcf5e0b6be4b53f4d	shiftPositive	0a35259f2b4853e949a8593b230225971fb88fb3945873d46eabf63a6635f58d
     67 pin	binary64_fast	f0156dbef05d4b2f9c579afc606e306ae721b16160ab69dfcf5e0b6be4b53f4d	shiftSelective	6095f7828a9e3ce4b085b26679a1cbe741f39bd1fb436ab554b98844f8166528
     68 pin	binary64_fast	f0156dbef05d4b2f9c579afc606e306ae721b16160ab69dfcf5e0b6be4b53f4d	zeros1	c77cf428a6fda9f6d681a1dd832f02118c43fd945fc71542ce78eaadc623b763
     69 pin	binary64_fast	f0156dbef05d4b2f9c579afc606e306ae721b16160ab69dfcf5e0b6be4b53f4d	zeros2	524b9e2ef628fb5d532a9946a04ba3849d71521bbcaaf4918e01beb149beda94
     70 pin	binary64_quantize	cd5c71e6ab8d5d2825321d6c03876d05c7fb5b226d309f247a5178f1eeaac940	max	ab8704fc3999659d1324bbedc1313e6c397b55fb6cbb1d35d2cec18acbf84dd9
     71 pin	binary64_near	440deb3d8cb6c22216fe1583938826f8c3faf14862f4a9fd7425c10a8182baf5	align	a0cdddf8b67d75103c5acda495dd2a0a7f1956dc7f39b315e29e206f2ac2c961
     72 pin	binary64_near	440deb3d8cb6c22216fe1583938826f8c3faf14862f4a9fd7425c10a8182baf5	wide	085fabebfd3d5a823daa40fd33cf53b08be9b1962b19a94649c1476546d5ef76
     73 pin	binary64_adders	6f7b17e8774d544faf42b3037bbec608cbdf94e80be45b86e95545b9f8c528af	orderedMultiply	2aaed32beb060cadddf9dc54f80b820dfc7f78f31e4cdf510833639eb53d8ed4
     74 pin	binary64_finite	4f3a166a27709e06f5e61c9cd28fe022f676b158956311fe420d9291ae195eee	attach	6e1331a8158504720e482a4aab74b5e4085fc7e7a2455684feece71f60f9f815
     75 pin	binary64_finite	4f3a166a27709e06f5e61c9cd28fe022f676b158956311fe420d9291ae195eee	dominates	beabdc62adf9d1bf294215c84d5eed4c12f6590f6e595f91075bb0d4a9a6b1d3
     76 pin	binary64_finite	4f3a166a27709e06f5e61c9cd28fe022f676b158956311fe420d9291ae195eee	exponent	39317ecbc930bd080ea1a5a7fefde0272e0d1be48b1a6654c99ff745e9e18936
     77 pin	binary64_finite	4f3a166a27709e06f5e61c9cd28fe022f676b158956311fe420d9291ae195eee	signBit	d30aee5afbf38e219dde3cbd2d28e77cdd1aa375def16a1fabd2ed8ec6d7c5ca
     78 pin	binary64_finite	4f3a166a27709e06f5e61c9cd28fe022f676b158956311fe420d9291ae195eee	subnormal	a71085cab56aef836252ef5bf14c428803474543133b491ea9a860e27611809f
     79 pin	binary64_product_quotient	767c6d8b08832e4d8e149f60fff4a123355933e79b2f11152d9c6fc51d96da39	boundedQuotient	c65eeb2cda5565ca76bc66342dc419b76a1301ea1d9eeff1d27b0adcd4af13fc
     80 pin	binary64_product_quotient	767c6d8b08832e4d8e149f60fff4a123355933e79b2f11152d9c6fc51d96da39	jam	7a694d0934b7e4cfc7d02059aaf7c7b10360402dee0f3e6779b59d2cf11f0fce
     81 pin	binary64_ieee	35d467903423d601f556e116fc7de1a556d8151649bf5bdcde06a225b9e4a047	answer	8e850c1c92943494782c6fc3b03f7a691a0fd03b50247fec1f22766eddb2a9cb
     82 pin	binary64_ieee	35d467903423d601f556e116fc7de1a556d8151649bf5bdcde06a225b9e4a047	exact	d3b187cd4ca8043459065539ab401b95238d6ac5af58044d10bc5555715ccdab
     83 pin	binary64_ieee	35d467903423d601f556e116fc7de1a556d8151649bf5bdcde06a225b9e4a047	precisionTiny	a7d07a8dfb4f46f9d5806b261f149c729c905cccc671c375eea336787eeeaa7d
     84 pin	binary64_ieee	35d467903423d601f556e116fc7de1a556d8151649bf5bdcde06a225b9e4a047	quiet	7ba17e81ac082db93303e35dc7f850b9306b4ebe9af76f1c43133177f93ed4c0
     85 pin	binary64_ieee	35d467903423d601f556e116fc7de1a556d8151649bf5bdcde06a225b9e4a047	quietBit	c8b7e847ea9ad42288f40d28744210f16053d99e6e92cec222971a00da9afb7b
     86 pin	binary64_chains	e26daaef184000da2327794e462a772ebcc455d373f381911cdbda8fe08308ca	drop2	538b0952818a7dd20a215c225f11eca9122321e5ef4c5a6ba7e67222cfe816f3
     87 pin	binary64_chains	e26daaef184000da2327794e462a772ebcc455d373f381911cdbda8fe08308ca	drop3	988bb8e3b6e125bcaff4e12e9fb695ad2eda58b4c8010034979b11d18c163bc6
     88 pin	binary64_chains	e26daaef184000da2327794e462a772ebcc455d373f381911cdbda8fe08308ca	drop4	6a4ad890c5b841965212f838b9803a5e481d24ecde6a00582d1bf7d47335b804
     89 pin	binary64_chains	e26daaef184000da2327794e462a772ebcc455d373f381911cdbda8fe08308ca	flagsOr	731c1a51f34c4c032831698c6b3df863d47e94ecf05f4d7590034e9cc07f7091