Skip to content

Commit 2c81a54

Browse files
authored
Implement force-case-delay optimisation (#7161)
1 parent 67adbe8 commit 2c81a54

File tree

300 files changed

+55801
-57042
lines changed

Some content is hidden

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

300 files changed

+55801
-57042
lines changed
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2090
1+
2044
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 472550709, exBudgetMemory = ExMemory 2373780}
1+
ExBudget {exBudgetCPU = ExCPU 436822709, exBudgetMemory = ExMemory 2150480}
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 66876110, exBudgetMemory = ExMemory 308402}
1+
ExBudget {exBudgetCPU = ExCPU 62348110, exBudgetMemory = ExMemory 280102}

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

Lines changed: 1048 additions & 1158 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-
2082
1+
2042
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 660323564, exBudgetMemory = ExMemory 3405515}
1+
ExBudget {exBudgetCPU = ExCPU 599331564, exBudgetMemory = ExMemory 3024315}
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 64618367, exBudgetMemory = ExMemory 295403}
1+
ExBudget {exBudgetCPU = ExCPU 60810367, exBudgetMemory = ExMemory 271603}

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

Lines changed: 353 additions & 456 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-
2090
1+
2043
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 474038709, exBudgetMemory = ExMemory 2383080}
1+
ExBudget {exBudgetCPU = ExCPU 438310709, exBudgetMemory = ExMemory 2159780}

0 commit comments

Comments
 (0)