Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[PlutusTx] Optimize the 'Eq' instance of 'Value' #5593

Merged
merged 48 commits into from
Oct 27, 2023
Merged

[PlutusTx] Optimize the 'Eq' instance of 'Value' #5593

Show file tree
Hide file tree
Changes from 41 commits
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
854cb90
[PlutusTx] [Test] 'Eq' for 'Value'
effectfully Sep 21, 2023
20fc7e6
[PlutusTx] Make 'Eq' for 'Value' lenient and faster
effectfully Oct 3, 2023
3c1fb77
[PlutusTx] Experiment with 'MatchUnclear' and tildas
effectfully Oct 3, 2023
f8f7937
Give up on handling duplicated keys
effectfully Oct 4, 2023
621649f
Return INLINE pragmas and tildas
effectfully Oct 4, 2023
a14d665
Traverse both the spines first
effectfully Oct 4, 2023
c8e6f20
Defer checking equality of tokens
effectfully Oct 5, 2023
dfd7c8b
Use 'fromListUnique'
effectfully Oct 5, 2023
034789e
Drop a tilda
effectfully Oct 5, 2023
fbb058a
Tweaks
effectfully Oct 5, 2023
f0cac18
Update golden tests of 'plutus-benchmark'
effectfully Oct 5, 2023
11d76ba
Document and optimize (why are numbers so much better?)
effectfully Oct 6, 2023
c923afb
Revert "[PlutusTx] [Test] 'Eq' for 'Value'"
effectfully Oct 9, 2023
618b186
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 9, 2023
22f41bf
Update golden tests
effectfully Oct 9, 2023
38541b8
Add some comments
effectfully Oct 9, 2023
c76a7fa
Update 'plutus-benchmark'
effectfully Oct 10, 2023
e8f7a14
Add a few comments
effectfully Oct 10, 2023
d7e4c9f
Add a changelog entry
effectfully Oct 10, 2023
0610a16
Reference the original issue
effectfully Oct 10, 2023
191ce10
Fix equality checking for 'valPairs'
effectfully Oct 10, 2023
59b8b42
Get rid of 'SortedMap', fix the zeroes bug
effectfully Oct 11, 2023
2a98eae
Drop tildas
effectfully Oct 11, 2023
4d5c44b
Tweak pragmas
effectfully Oct 11, 2023
faf18ed
Yoda help us
effectfully Oct 11, 2023
3a5b63d
Move and document 'eqKVs'
effectfully Oct 11, 2023
315ea47
[PlutusTx] [Test] Add property tests for operations over 'Value'
effectfully Oct 12, 2023
26fc545
Reimplement equality checking
effectfully Oct 13, 2023
8ef70f0
Tweaks
effectfully Oct 13, 2023
a1b0b3e
Test both ways
effectfully Oct 13, 2023
efc1aca
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 16, 2023
4a7432e
Document the bloody thing, switch to checking equality of values first
effectfully Oct 17, 2023
af628e8
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 17, 2023
468522b
Fixups
effectfully Oct 17, 2023
298ca59
Improve docs
effectfully Oct 18, 2023
7d94751
A tweak
effectfully Oct 18, 2023
7ad98c5
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 18, 2023
13d9882
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 18, 2023
a4838d6
Tweak a Note
effectfully Oct 18, 2023
da0a16e
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 19, 2023
a0c01fb
Fix 9.6 golden tests
effectfully Oct 19, 2023
4e89171
Generate empty lists too
effectfully Oct 24, 2023
2a49241
Address comments
effectfully Oct 24, 2023
02b85a1
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 24, 2023
7a2ce72
Fix 'freshenTokenNames'
effectfully Oct 24, 2023
dfdd041
Remove 'QuickCheck' from dependencies
effectfully Oct 24, 2023
a431e99
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Oct 26, 2023
c8cf5ad
Mention https://github.com/input-output-hk/plutus/issues/5135
effectfully Oct 26, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions ...emantics/9.2/0000020002010200020101020201000100010001020101020201010000020102.eval.golden
View file
Open in desktop
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This would be a lot easier to review if we had all of the test outputs in one file ...

Copy link
Contributor

@kwxm kwxm Oct 19, 2023 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also, what happened to the role-payout outputs? No change?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No change?

I suppose. I have no idea really what to expect w.r.t. changes to Marlowe benchmarks.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I checked the code and the role-payout script (it's quite simple) doesn't use == on Values. The semantics one does though (here).

Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 684546394
| mem: 2201563})
({cpu: 667161612
| mem: 2128559})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0001000101000000010101000001000001010101010100000001000001010000.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1248384556
| mem: 4095836})
({cpu: 1195333210
| mem: 3872924})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0003040402030103010203030303000200000104030002040304020400000102.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1475736955
| mem: 5642372})
({cpu: 1341133917
| mem: 5086528})
4 changes: 2 additions & 2 deletions ...emantics/9.2/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2471411815
| mem: 8078179})
({cpu: 2418360469
| mem: 7855267})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0101010001010101010101000100010100000001010000010001000001000101.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 8454932933
| mem: 24302140})
({cpu: 8450102933
| mem: 24281140})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0101020201010201010200010102000201000201010102000102010201010000.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 515690880
| mem: 1742569})
({cpu: 498306098
| mem: 1669565})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0101080808040600020306010000000302050807010208060100070207080202.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1550341057
| mem: 5448464})
({cpu: 1497289711
| mem: 5225552})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0104010200020000040103020102020004040300030304040400010301040303.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 841256504
| mem: 3193135})
({cpu: 823871722
| mem: 3120131})
4 changes: 2 additions & 2 deletions ...emantics/9.2/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1486667324
| mem: 5104473})
({cpu: 1433615978
| mem: 4881561})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1081648220
| mem: 3836691})
({cpu: 1064263438
| mem: 3763687})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0705030002040601010206030604080208020207000101060706050502040301.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2420276502
| mem: 7718814})
({cpu: 2415446502
| mem: 7697814})
4 changes: 2 additions & 2 deletions ...emantics/9.2/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1213016565
| mem: 4558093})
({cpu: 1195631783
| mem: 4485089})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1242684275
| mem: 4719311})
({cpu: 1205538413
| mem: 4565799})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1998958646
| mem: 7314934})
({cpu: 1906385016
| mem: 6931006})
4 changes: 2 additions & 2 deletions ...emantics/9.2/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1030103537
| mem: 3389303})
({cpu: 1012718755
| mem: 3316299})
4 changes: 2 additions & 2 deletions ...emantics/9.2/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1107167136
| mem: 3967697})
({cpu: 1054115790
| mem: 3744785})
4 changes: 2 additions & 2 deletions ...emantics/9.2/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 690273400
| mem: 2482927})
({cpu: 653127538
| mem: 2329415})
4 changes: 2 additions & 2 deletions ...emantics/9.2/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 898806501
| mem: 3327897})
({cpu: 881421719
| mem: 3254893})
4 changes: 2 additions & 2 deletions ...emantics/9.2/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1735698866
| mem: 5196609})
({cpu: 1718314084
| mem: 5123605})
4 changes: 2 additions & 2 deletions ...emantics/9.2/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1633775702
| mem: 5802878})
({cpu: 1580724356
| mem: 5579966})
4 changes: 2 additions & 2 deletions ...emantics/9.2/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1501952996
| mem: 5101883})
({cpu: 1448901650
| mem: 4878971})
4 changes: 2 additions & 2 deletions ...emantics/9.2/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 588889754
| mem: 1949783})
({cpu: 571504972
| mem: 1876779})
4 changes: 2 additions & 2 deletions ...emantics/9.2/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 35968684004
| mem: 99151620})
({cpu: 35963854004
| mem: 99130620})
4 changes: 2 additions & 2 deletions ...emantics/9.2/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 192057688781
| mem: 541503022})
({cpu: 192052858781
| mem: 541482022})
4 changes: 2 additions & 2 deletions ...emantics/9.2/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 828264925
| mem: 2859700})
({cpu: 775213579
| mem: 2636788})
4 changes: 2 additions & 2 deletions ...emantics/9.2/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 516588528
| mem: 1771767})
({cpu: 499203746
| mem: 1698763})
4 changes: 2 additions & 2 deletions ...emantics/9.2/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 757259000
| mem: 2863394})
({cpu: 704207654
| mem: 2640482})
4 changes: 2 additions & 2 deletions ...emantics/9.2/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 38983930944
| mem: 109284782})
({cpu: 38979100944
| mem: 109263782})
4 changes: 2 additions & 2 deletions ...emantics/9.2/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4577400073
| mem: 13569944})
({cpu: 4524348727
| mem: 13347032})
4 changes: 2 additions & 2 deletions ...emantics/9.2/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 853030175
| mem: 3233933})
({cpu: 835645393
| mem: 3160929})
4 changes: 2 additions & 2 deletions ...emantics/9.2/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1581047006
| mem: 5461638})
({cpu: 1527995660
| mem: 5238726})
4 changes: 2 additions & 2 deletions ...emantics/9.2/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1621340262
| mem: 6150412})
({cpu: 1486737224
| mem: 5594568})
4 changes: 2 additions & 2 deletions ...emantics/9.2/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 494247642
| mem: 1691439})
({cpu: 476862860
| mem: 1618435})
4 changes: 2 additions & 2 deletions ...emantics/9.2/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 649372901
| mem: 2336799})
({cpu: 631988119
| mem: 2263795})
4 changes: 2 additions & 2 deletions ...emantics/9.2/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 978885993
| mem: 3603166})
({cpu: 925834647
| mem: 3380254})
4 changes: 2 additions & 2 deletions ...emantics/9.2/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1060944540
| mem: 3910826})
({cpu: 1007893194
| mem: 3687914})
4 changes: 2 additions & 2 deletions ...emantics/9.2/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 583794205
| mem: 1937347})
({cpu: 566409423
| mem: 1864343})
4 changes: 2 additions & 2 deletions ...emantics/9.2/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1562921703
| mem: 5329870})
({cpu: 1509870357
| mem: 5106958})
4 changes: 2 additions & 2 deletions ...emantics/9.2/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 671912358
| mem: 2171327})
({cpu: 654527576
| mem: 2098323})
4 changes: 2 additions & 2 deletions ...emantics/9.2/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1278263373
| mem: 4814927})
({cpu: 1241117449
| mem: 4661415})
4 changes: 2 additions & 2 deletions ...emantics/9.2/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 900183658
| mem: 3288425})
({cpu: 882798876
| mem: 3215421})
4 changes: 2 additions & 2 deletions ...emantics/9.2/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1958713633
| mem: 6087250})
({cpu: 1905662287
| mem: 5864338})
4 changes: 2 additions & 2 deletions ...emantics/9.2/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 370596209
| mem: 1365899})
({cpu: 353211427
| mem: 1292895})
4 changes: 2 additions & 2 deletions ...emantics/9.2/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 461416040
| mem: 1621383})
({cpu: 444031258
| mem: 1548379})
4 changes: 2 additions & 2 deletions ...emantics/9.2/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 554576787
| mem: 1868889})
({cpu: 537192005
| mem: 1795885})
4 changes: 2 additions & 2 deletions ...emantics/9.2/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1264812539
| mem: 4670788})
({cpu: 1211761193
| mem: 4447876})
4 changes: 2 additions & 2 deletions ...emantics/9.2/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 516588528
| mem: 1771767})
({cpu: 499203746
| mem: 1698763})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 617586481
| mem: 2287729})
({cpu: 580440619
| mem: 2134217})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1334884662
| mem: 4676631})
({cpu: 1317499880
| mem: 4603627})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1180146587
| mem: 4489199})
({cpu: 1143000663
| mem: 4335687})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 619656375
| mem: 2308767})
({cpu: 582510451
| mem: 2155255})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 518241765
| mem: 1747771})
({cpu: 500856983
| mem: 1674767})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1071227946
| mem: 3983474})
({cpu: 1018176600
| mem: 3760562})
4 changes: 2 additions & 2 deletions ...emantics/9.2/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 807015182
| mem: 2801361})
({cpu: 769869258
| mem: 2647849})
4 changes: 2 additions & 2 deletions ...emantics/9.2/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 922630227
| mem: 3461748})
({cpu: 869578881
| mem: 3238836})
4 changes: 2 additions & 2 deletions ...emantics/9.2/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 79784955260
| mem: 227165762})
({cpu: 79780125260
| mem: 227144762})
4 changes: 2 additions & 2 deletions ...emantics/9.2/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2650238898
| mem: 8516132})
({cpu: 2597187552
| mem: 8293220})
Loading