Skip to content

Commit

Permalink
[Plinth] [Builtins] Remove 'CaseList' and 'CaseData'
Browse files Browse the repository at this point in the history
  • Loading branch information
@effectfully
effectfully committed Nov 5, 2024
1 parent cfcfe10 commit 96edbb4
Show file tree
Hide file tree
Showing 258 changed files with 1,591 additions and 1,177 deletions.
32 changes: 16 additions & 16 deletions plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden
View file
Original file line number Diff line number Diff line change
@@ -1,20 +1,20 @@
n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 364 (2.2%) 400002176482 (4000.0%) 400000012902 (2857142.9%)
10 2091 (12.8%) 10400582982252 (104005.8%) 10400000261092 (74285716.2%)
20 3818 (23.3%) 20401163788022 (204011.6%) 20400000509282 (145714289.4%)
30 5545 (33.8%) 30401744593792 (304017.4%) 30400000757472 (217142862.6%)
40 7272 (44.4%) 40402325399562 (404023.3%) 40400001005662 (288571435.8%)
50 8998 (54.9%) 50402906205332 (504029.1%) 50400001253852 (360000009.0%)
60 10725 (65.5%) 60403487011102 (604034.9%) 60400001502042 (431428582.2%)
70 12452 (76.0%) 70404067816872 (704040.7%) 70400001750232 (502857155.4%)
80 14178 (86.5%) 80404648622642 (804046.5%) 80400001998422 (574285728.6%)
90 15905 (97.1%) 90405229428412 (904052.3%) 90400002246612 (645714301.8%)
100 17632 (107.6%) 100405810234182 (1004058.1%) 100400002494802 (717142875.0%)
110 19359 (118.2%) 110406391039952 (1104063.9%) 110400002742992 (788571448.2%)
120 21085 (128.7%) 120406971845722 (1204069.7%) 120400002991182 (860000021.4%)
130 22812 (139.2%) 130407552651492 (1304075.5%) 130400003239372 (931428594.6%)
140 24539 (149.8%) 140408133457262 (1404081.3%) 140400003487562 (1002857167.8%)
150 26266 (160.3%) 150408714263032 (1504087.1%) 150400003735752 (1074285741.0%)
0 458 (2.8%) 5130441 (0.1%) 25722 (0.2%)
10 2185 (13.3%) 646555741 (6.5%) 514552 (3.7%)
20 3912 (23.9%) 1287981041 (12.9%) 1003382 (7.2%)
30 5639 (34.4%) 1929406341 (19.3%) 1492212 (10.7%)
40 7366 (45.0%) 2570831641 (25.7%) 1981042 (14.2%)
50 9092 (55.5%) 3212256941 (32.1%) 2469872 (17.6%)
60 10819 (66.0%) 3853682241 (38.5%) 2958702 (21.1%)
70 12546 (76.6%) 4495107541 (45.0%) 3447532 (24.6%)
80 14272 (87.1%) 5136532841 (51.4%) 3936362 (28.1%)
90 15999 (97.7%) 5777958141 (57.8%) 4425192 (31.6%)
100 17726 (108.2%) 6419383441 (64.2%) 4914022 (35.1%)
110 19453 (118.7%) 7060808741 (70.6%) 5402852 (38.6%)
120 21179 (129.3%) 7702234041 (77.0%) 5891682 (42.1%)
130 22906 (139.8%) 8343659341 (83.4%) 6380512 (45.6%)
140 24633 (150.3%) 8985084641 (89.9%) 6869342 (49.1%)
150 26360 (160.9%) 9626509941 (96.3%) 7358172 (52.6%)

Off-chain version succeeded on 100 inputs
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-10.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 13100114647000
| mem: 13100000559240})
({cpu: 197510904
| mem: 846852})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1030109969691100
| mem: 1030100047858200})
({cpu: 16499812194
| mem: 70488132})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100033399800
| mem: 4100000165920})
({cpu: 59141074
| mem: 255392})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-50.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 265102531486600
| mem: 265100012173000})
({cpu: 4212184144
| mem: 17998532})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Sum/9.6/left-fold-built-in.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 10100073112900
| mem: 10100000394000})
({cpu: 122258594
| mem: 523832})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Sum/9.6/left-fold-data.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 20100196027082
| mem: 20100000942802})
({cpu: 316399632
| mem: 1277230})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Sum/9.6/right-fold-built-in.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 10100077912900
| mem: 10100000424000})
({cpu: 127058594
| mem: 553832})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Sum/9.6/right-fold-data.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 20100200827082
| mem: 20100000972802})
({cpu: 321199632
| mem: 1307230})
4 changes: 2 additions & 2 deletions ...payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3900182104674
| mem: 3900000902990})
({cpu: 203554074
| mem: 988490})
4 changes: 2 additions & 2 deletions ...payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 5700263611088
| mem: 5700001377860})
({cpu: 296248136
| mem: 1507304})
4 changes: 2 additions & 2 deletions ...payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4700192221958
| mem: 4700000967314})
({cpu: 218828188
| mem: 1072854})
4 changes: 2 additions & 2 deletions ...payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500158228140
| mem: 3500000774178})
({cpu: 177375938
| mem: 850422})
4 changes: 2 additions & 2 deletions ...payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3700178626534
| mem: 3700000879296})
({cpu: 199201946
| mem: 960932})
4 changes: 2 additions & 2 deletions ...payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500166448956
| mem: 3500000810828})
({cpu: 185596754
| mem: 887072})
4 changes: 2 additions & 2 deletions ...payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500165287257
| mem: 3500000804226})
({cpu: 184435055
| mem: 880470})
4 changes: 2 additions & 2 deletions ...payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4700203854488
| mem: 4700001024508})
({cpu: 231014344
| mem: 1131576})
4 changes: 2 additions & 2 deletions ...payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100191466863
| mem: 4100000955552})
({cpu: 214343877
| mem: 1046444})
4 changes: 2 additions & 2 deletions ...payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100175265212
| mem: 4100000864518})
({cpu: 198142226
| mem: 955410})
4 changes: 2 additions & 2 deletions ...payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4300195205954
| mem: 4300000974510})
({cpu: 219510582
| mem: 1070794})
4 changes: 2 additions & 2 deletions ...payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4300196350641
| mem: 4300000988686})
({cpu: 220655269
| mem: 1084970})
4 changes: 2 additions & 2 deletions ...payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 5300231219760
| mem: 5300001186638})
({cpu: 261001580
| mem: 1305298})
4 changes: 2 additions & 2 deletions ...payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500162680962
| mem: 3500000795700})
({cpu: 181828760
| mem: 871944})
4 changes: 2 additions & 2 deletions ...payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3700175160808
| mem: 3700000864572})
({cpu: 195736220
| mem: 946208})
4 changes: 2 additions & 2 deletions ...payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500155811252
| mem: 3500000746522})
({cpu: 174959050
| mem: 822766})
4 changes: 2 additions & 2 deletions ...payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4300195357672
| mem: 4300000990758})
({cpu: 219662300
| mem: 1087042})
4 changes: 2 additions & 2 deletions ...payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100169551218
| mem: 4100000837290})
({cpu: 192428232
| mem: 928182})
4 changes: 2 additions & 2 deletions ...payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3900172439569
| mem: 3900000866110})
({cpu: 193888969
| mem: 951610})
4 changes: 2 additions & 2 deletions ...payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4900197144622
| mem: 4900000999410})
({cpu: 224624840
| mem: 1108814})
4 changes: 2 additions & 2 deletions ...payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3700165927838
| mem: 3700000818434})
({cpu: 186503250
| mem: 900070})
4 changes: 2 additions & 2 deletions ...payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100184202568
| mem: 4100000917228})
({cpu: 207079582
| mem: 1008120})
4 changes: 2 additions & 2 deletions ...payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3900182104674
| mem: 3900000902990})
({cpu: 203554074
| mem: 988490})
4 changes: 2 additions & 2 deletions ...payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100193313124
| mem: 4100000968548})
({cpu: 216190138
| mem: 1059440})
4 changes: 2 additions & 2 deletions ...payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500164835516
| mem: 3500000800230})
({cpu: 183983314
| mem: 876474})
4 changes: 2 additions & 2 deletions ...payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500161996210
| mem: 3500000789306})
({cpu: 181144008
| mem: 865550})
4 changes: 2 additions & 2 deletions ...payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500165984574
| mem: 3500000808726})
({cpu: 185132372
| mem: 884970})
4 changes: 2 additions & 2 deletions ...payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500161519187
| mem: 3500000789098})
({cpu: 180666985
| mem: 865342})
4 changes: 2 additions & 2 deletions ...payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100180427916
| mem: 4100000888646})
({cpu: 203304930
| mem: 979538})
4 changes: 2 additions & 2 deletions ...payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3700173474723
| mem: 3700000850386})
({cpu: 194050135
| mem: 932022})
4 changes: 2 additions & 2 deletions ...payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4100182559737
| mem: 4100000909620})
({cpu: 205436751
| mem: 1000512})
4 changes: 2 additions & 2 deletions ...payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500164835516
| mem: 3500000800230})
({cpu: 183983314
| mem: 876474})
4 changes: 2 additions & 2 deletions ...payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500158215499
| mem: 3500000776072})
({cpu: 177363297
| mem: 852316})
4 changes: 2 additions & 2 deletions ...payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3700175322846
| mem: 3700000866270})
({cpu: 195898258
| mem: 947906})
4 changes: 2 additions & 2 deletions ...payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500162680886
| mem: 3500000795700})
({cpu: 181828684
| mem: 871944})
4 changes: 2 additions & 2 deletions ...payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500162680886
| mem: 3500000795700})
({cpu: 181828684
| mem: 871944})
4 changes: 2 additions & 2 deletions ...payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4300198689156
| mem: 4300000999356})
({cpu: 222440158
| mem: 1094112})
4 changes: 2 additions & 2 deletions ...payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3900168250190
| mem: 3900000826656})
({cpu: 189699590
| mem: 912156})
4 changes: 2 additions & 2 deletions ...payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4700194863304
| mem: 4700000988954})
({cpu: 220915908
| mem: 1092966})
4 changes: 2 additions & 2 deletions ...payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3900182104674
| mem: 3900000902990})
({cpu: 203554074
| mem: 988490})
4 changes: 2 additions & 2 deletions ...payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4500201093612
| mem: 4500001004874})
({cpu: 226825854
| mem: 1106550})
4 changes: 2 additions & 2 deletions ...payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500164822875
| mem: 3500000802124})
({cpu: 183970673
| mem: 878368})
4 changes: 2 additions & 2 deletions ...payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3500164822875
| mem: 3500000802124})
({cpu: 183970673
| mem: 878368})
Loading

0 comments on commit 96edbb4

Please sign in to comment.