Skip to content

Commit 5c769f5

Browse files
committed
Refactor: make budget metrics and compiled code size metrics usable independently of each other;
1 parent a17e1a3 commit 5c769f5

File tree

207 files changed

+282
-252
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

207 files changed

+282
-252
lines changed

plutus-benchmark/bitwise/test/9.6/8 queens.eval.golden

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
CPU: 644_761_639_370
22
Memory: 2_189_818_999
33
Term Size: 320
4-
Flat Size: 1_188
4+
Flat Size: 341
55

66
(constr
77
1
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 1_698_335_303_874
22
Memory: 5_172_321_578
33
Term Size: 3_298
4-
Flat Size: 14_846
4+
Flat Size: 5_242
55

66
(constr 1)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 162_153_514
22
Memory: 678_042
33
Term Size: 144
4-
Flat Size: 595
4+
Flat Size: 198
55

66
(con integer 155)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 13_307_125_294
22
Memory: 55_324_332
33
Term Size: 144
4-
Flat Size: 1_177
4+
Flat Size: 781
55

66
(con integer 15050)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 49_067_604
22
Memory: 206_662
33
Term Size: 144
4-
Flat Size: 573
4+
Flat Size: 176
55

66
(con integer 40)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 3_405_667_194
22
Memory: 14_167_282
33
Term Size: 144
4-
Flat Size: 793
4+
Flat Size: 397
55

66
(con integer 3775)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 72_851_410
22
Memory: 344_550
33
Term Size: 211
4-
Flat Size: 668
4+
Flat Size: 308
55

66
(con integer 155)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 5_849_918_200
22
Memory: 26_843_700
33
Term Size: 931
4-
Flat Size: 2_330
4+
Flat Size: 1_970
55

66
(con integer 15050)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 22_435_230
22
Memory: 108_800
33
Term Size: 171
4-
Flat Size: 585
4+
Flat Size: 225
55

66
(con integer 40)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 1_501_354_650
22
Memory: 6_915_950
33
Term Size: 531
4-
Flat Size: 1_346
4+
Flat Size: 986
55

66
(con integer 3775)

0 commit comments

Comments
 (0)