Skip to content

Commit ad3e20b

Browse files
committed
UPLC optimization pass: hoist polymorphic builtins
1 parent 59541d1 commit ad3e20b

419 files changed

Lines changed: 19146 additions & 18679 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2039
1+
2041
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 401320625, exBudgetMemory = ExMemory 2038256}
1+
ExBudget {exBudgetCPU = ExCPU 398920625, exBudgetMemory = ExMemory 2023256}
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 58860489, exBudgetMemory = ExMemory 267518}
1+
ExBudget {exBudgetCPU = ExCPU 58892489, exBudgetMemory = ExMemory 267718}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.uplc

Lines changed: 1130 additions & 1110 deletions
Large diffs are not rendered by default.
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2019
1+
2021
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 565605480, exBudgetMemory = ExMemory 2923191}
1+
ExBudget {exBudgetCPU = ExCPU 563205480, exBudgetMemory = ExMemory 2908191}
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 57466746, exBudgetMemory = ExMemory 259919}
1+
ExBudget {exBudgetCPU = ExCPU 57498746, exBudgetMemory = ExMemory 260119}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.uplc

Lines changed: 1104 additions & 1084 deletions
Large diffs are not rendered by default.
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2035
1+
2037
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 401416625, exBudgetMemory = ExMemory 2038856}
1+
ExBudget {exBudgetCPU = ExCPU 399016625, exBudgetMemory = ExMemory 2023856}

0 commit comments

Comments
 (0)