Skip to content

Commit 0b2cee1

Browse files
authored
Renaming Size to AstSize (#7285)
* Renaming Size to AstSize * CI fixes * Comment fixes --------- Co-authored-by: Nikolaos Bezirgiannis <[email protected]>
1 parent accb457 commit 0b2cee1

File tree

371 files changed

+578
-441
lines changed

Some content is hidden

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

371 files changed

+578
-441
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 690_504_274_054
22
Memory: 2_426_715_423
3-
Term Size: 372
3+
AST Size: 372
44
Flat Size: 390
55

66
(constr
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 1_628_853_751_874
22
Memory: 4_738_061_878
3-
Term Size: 3_325
3+
AST Size: 3_325
44
Flat Size: 5_265
55

66
(con bool False)
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 110_908_889
22
Memory: 621_150
3-
Term Size: 7_446
3+
AST Size: 7_446
44
Flat Size: 8_702
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 160_613_384
22
Memory: 799_466
3-
Term Size: 1_473
3+
AST Size: 1_473
44
Flat Size: 5_393
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 369_713_157
22
Memory: 1_849_456
3-
Term Size: 1_473
3+
AST Size: 1_473
44
Flat Size: 6_790
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 1_842_342_144
22
Memory: 10_767_218
3-
Term Size: 3_160
3+
AST Size: 3_160
44
Flat Size: 8_041
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 400_086_379
22
Memory: 2_025_456
3-
Term Size: 3_160
3+
AST Size: 3_160
44
Flat Size: 8_564
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 221_694_924
22
Memory: 1_160_575
3-
Term Size: 3_571
3+
AST Size: 3_571
44
Flat Size: 7_405
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 568_150_641
22
Memory: 3_047_567
3-
Term Size: 3_571
3+
AST Size: 3_571
44
Flat Size: 9_223
55

66
(con unit ())
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CPU: 114_113_035
22
Memory: 579_805
3-
Term Size: 1_274
3+
AST Size: 1_274
44
Flat Size: 3_833
55

66
(con unit ())

0 commit comments

Comments
 (0)