Preserve logging by default (#6814)

IntersectMBO · Jan 31, 2025 · 8ec3367 · 8ec3367
1 parent 7dd2bcf
commit 8ec3367
Show file tree

Hide file tree

Showing 131 changed files with 364 additions and 307 deletions.
diff --git a/doc/docusaurus/docs/delve-deeper/plutus-tx-compiler-options.md b/doc/docusaurus/docs/delve-deeper/plutus-tx-compiler-options.md
@@ -36,7 +36,7 @@ For each boolean option, you can add a `no-` prefix to switch it off, such as `n
 |`max-simplifier-iterations-uplc`|Int|12|Set the max iterations for the UPLC simplifier|
 |`optimize`|Bool|True|Run optimization passes such as simplification and floating let-bindings.|
 |`pedantic`|Bool|False|Run type checker after each compilation pass|
-|`preserve-logging`|Bool|False|Turn off optimisations that may alter (i.e., add, remove or change the order of) trace messages. Implied by `conservative-optimisation`.|
+|`preserve-logging`|Bool|True|Turn off optimisations that may alter (i.e., add, remove or change the order of) trace messages. Implied by `conservative-optimisation`.|
 |`profile-all`|ProfileOpts|None|Set profiling options to All, which adds tracing when entering and exiting a term.|
 |`relaxed-float-in`|Bool|True|Use a more aggressive float-in pass, which often leads to reduced costs but may occasionally lead to slightly increased costs. Implied by `no-conservative-optimisation`.|
 |`remove-trace`|Bool|False|Eliminate calls to `trace` from Plutus Core|

diff --git a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden
@@ -121,13 +121,13 @@ Aggregate Single Key
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     777   (4.7%)      2720886359  (27.2%)           70002   (0.5%) 
+    -     846   (5.2%)      2720886359  (27.2%)           70002   (0.5%) 
 
 Aggregate Multi Key
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -    1705  (10.4%)      3446371236  (34.5%)          422386   (3.0%) 
+    -    1832  (11.2%)      3446371236  (34.5%)          422386   (3.0%) 
 
 Schnorr Signature G1
 

diff --git a/...antics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden b/...antics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 296480915
-| mem: 1475965})
+({cpu: 296528915
+| mem: 1476265})
diff --git a/...antics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden b/...antics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 416680478
-| mem: 1808528})
+({cpu: 416728478
+| mem: 1808828})
diff --git a/...antics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden b/...antics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 992009702
-| mem: 5142818})
+({cpu: 992057702
+| mem: 5143118})
diff --git a/...antics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden b/...antics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 755538042
-| mem: 3552893})
+({cpu: 755586042
+| mem: 3553193})
diff --git a/...antics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden b/...antics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 855609402
-| mem: 2547332})
+({cpu: 855657402
+| mem: 2547632})
diff --git a/...antics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden b/...antics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 276827370
-| mem: 1385523})
+({cpu: 276875370
+| mem: 1385823})
diff --git a/...antics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden b/...antics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 744705759
-| mem: 3635170})
+({cpu: 744753759
+| mem: 3635470})
diff --git a/...antics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden b/...antics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 730421036
-| mem: 3661329})
+({cpu: 730469036
+| mem: 3661629})
diff --git a/...antics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden b/...antics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 697293323
-| mem: 3345463})
+({cpu: 697341323
+| mem: 3345763})
diff --git a/...antics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden b/...antics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1036569658
-| mem: 4815093})
+({cpu: 1036617658
+| mem: 4815393})
diff --git a/...antics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden b/...antics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1011269329
-| mem: 4433346})
+({cpu: 1011317329
+| mem: 4433646})
diff --git a/...antics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden b/...antics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 979623047
-| mem: 4889359})
+({cpu: 979671047
+| mem: 4889659})
diff --git a/...antics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden b/...antics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1089261394
-| mem: 5395461})
+({cpu: 1089309394
+| mem: 5395761})
diff --git a/...antics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden b/...antics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1324502269
-| mem: 6452210})
+({cpu: 1324550269
+| mem: 6452510})
diff --git a/...antics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden b/...antics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 445661686
-| mem: 2248383})
+({cpu: 445709686
+| mem: 2248683})
diff --git a/...antics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden b/...antics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 706030441
-| mem: 3475611})
+({cpu: 706078441
+| mem: 3475911})
diff --git a/...antics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden b/...antics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 465452894
-| mem: 2340575})
+({cpu: 465500894
+| mem: 2340875})
diff --git a/...antics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden b/...antics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 706062636
-| mem: 3519083})
+({cpu: 706110636
+| mem: 3519383})
diff --git a/...antics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden b/...antics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 279273310
-| mem: 1391825})
+({cpu: 279321310
+| mem: 1392125})
diff --git a/...antics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden b/...antics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 875298084
-| mem: 4227252})
+({cpu: 875346084
+| mem: 4227552})
diff --git a/...antics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden b/...antics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 728212042
-| mem: 3343409})
+({cpu: 728260042
+| mem: 3343709})
diff --git a/...antics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden b/...antics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 279327868
-| mem: 1391825})
+({cpu: 279375868
+| mem: 1392125})
diff --git a/...antics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden b/...antics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 964932104
-| mem: 1330754})
+({cpu: 964980104
+| mem: 1331054})
diff --git a/...antics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden b/...antics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3877242919
-| mem: 1750286})
+({cpu: 3877290919
+| mem: 1750586})
diff --git a/...antics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden b/...antics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 335540681
-| mem: 1656650})
+({cpu: 335588681
+| mem: 1656950})
diff --git a/...antics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden b/...antics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 276827370
-| mem: 1385523})
+({cpu: 276875370
+| mem: 1385823})
diff --git a/...antics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden b/...antics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 516550002
-| mem: 2635502})
+({cpu: 516598002
+| mem: 2635802})
diff --git a/...antics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden b/...antics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1766738702
-| mem: 1754906})
+({cpu: 1766786702
+| mem: 1755206})
diff --git a/...antics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden b/...antics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 868071320
-| mem: 3330552})
+({cpu: 868119320
+| mem: 3330852})
diff --git a/...antics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden b/...antics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 739717728
-| mem: 3714295})
+({cpu: 739765728
+| mem: 3714595})
diff --git a/...antics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden b/...antics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 729269245
-| mem: 3416764})
+({cpu: 729317245
+| mem: 3417064})
diff --git a/...antics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden b/...antics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1103689807
-| mem: 5617376})
+({cpu: 1103737807
+| mem: 5617676})
diff --git a/...antics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden b/...antics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 279273310
-| mem: 1391825})
+({cpu: 279321310
+| mem: 1392125})
diff --git a/...antics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden b/...antics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 433456222
-| mem: 2188467})
+({cpu: 433504222
+| mem: 2188767})
diff --git a/...antics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden b/...antics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 588336620
-| mem: 2977388})
+({cpu: 588384620
+| mem: 2977688})
diff --git a/...antics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden b/...antics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 710149597
-| mem: 3473136})
+({cpu: 710197597
+| mem: 3473436})
diff --git a/...antics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden b/...antics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 276827370
-| mem: 1385523})
+({cpu: 276875370
+| mem: 1385823})
diff --git a/...antics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden b/...antics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 774667900
-| mem: 3710944})
+({cpu: 774715900
+| mem: 3711244})
diff --git a/...antics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden b/...antics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 276827370
-| mem: 1385523})
+({cpu: 276875370
+| mem: 1385823})
diff --git a/...antics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden b/...antics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 988359900
-| mem: 4976993})
+({cpu: 988407900
+| mem: 4977293})
diff --git a/...antics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden b/...antics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 655167703
-| mem: 3292901})
+({cpu: 655215703
+| mem: 3293201})
diff --git a/...antics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden b/...antics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 374325225
-| mem: 1688192})
+({cpu: 374373225
+| mem: 1688492})
diff --git a/...antics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden b/...antics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 338810631
-| mem: 1654987})
+({cpu: 338858631
+| mem: 1655287})
diff --git a/...antics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden b/...antics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 346354133
-| mem: 1689453})
+({cpu: 346402133
+| mem: 1689753})
diff --git a/...antics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden b/...antics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 276827370
-| mem: 1385523})
+({cpu: 276875370
+| mem: 1385823})
diff --git a/...antics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden b/...antics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 741543997
-| mem: 3777860})
+({cpu: 741591997
+| mem: 3778160})
diff --git a/...antics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden b/...antics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 276827370
-| mem: 1385523})
+({cpu: 276875370
+| mem: 1385823})
diff --git a/...antics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden b/...antics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 458928366
-| mem: 2313067})
+({cpu: 458976366
+| mem: 2313367})
diff --git a/...antics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden b/...antics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1006112544
-| mem: 4843767})
+({cpu: 1006160544
+| mem: 4844067})
diff --git a/...antics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden b/...antics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 969541440
-| mem: 4784949})
+({cpu: 969589440
+| mem: 4785249})
diff --git a/...antics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden b/...antics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 488335895
-| mem: 2422605})
+({cpu: 488383895
+| mem: 2422905})
diff --git a/...antics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden b/...antics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 279273310
-| mem: 1391825})
+({cpu: 279321310
+| mem: 1392125})
diff --git a/...antics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden b/...antics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 708845591
-| mem: 3544116})
+({cpu: 708893591
+| mem: 3544416})