Skip to content

Commit 5d158b7

Browse files
committed
Add CaseApply optimization
1 parent 2a6be75 commit 5d158b7

File tree

163 files changed

+9301
-8545
lines changed

Some content is hidden

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

163 files changed

+9301
-8545
lines changed
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2045
1+
2051
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 406467137, exBudgetMemory = ExMemory 2070956}
1+
ExBudget {exBudgetCPU = ExCPU 403155137, exBudgetMemory = ExMemory 2050256}
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 60269664, exBudgetMemory = ExMemory 276518}
1+
ExBudget {exBudgetCPU = ExCPU 59533664, exBudgetMemory = ExMemory 271918}

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

Lines changed: 211 additions & 188 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-
2041
1+
2045
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491}
1+
ExBudget {exBudgetCPU = ExCPU 566095992, exBudgetMemory = ExMemory 2926791}
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 58683921, exBudgetMemory = ExMemory 267719}
1+
ExBudget {exBudgetCPU = ExCPU 58011921, exBudgetMemory = ExMemory 263519}

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

Lines changed: 202 additions & 185 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-
2036
1+
2042
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 406467137, exBudgetMemory = ExMemory 2070956}
1+
ExBudget {exBudgetCPU = ExCPU 403155137, exBudgetMemory = ExMemory 2050256}

0 commit comments

Comments
 (0)