Skip to content

Make Delay and Force by-need #7614

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
zliu41 wants to merge 1 commit into
base: master
Choose a base branch
from
+683 −638
Open

Make Delay and Force by-need #7614

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 406371137, exBudgetMemory = ExMemory 2070356}
ExBudget {exBudgetCPU = ExCPU 405155137, exBudgetMemory = ExMemory 2062756}
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491}
ExBudget {exBudgetCPU = ExCPU 567711992, exBudgetMemory = ExMemory 2936891}
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 406611137, exBudgetMemory = ExMemory 2071856}
ExBudget {exBudgetCPU = ExCPU 405395137, exBudgetMemory = ExMemory 2064256}
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 568975992, exBudgetMemory = ExMemory 2944791}
ExBudget {exBudgetCPU = ExCPU 567759992, exBudgetMemory = ExMemory 2937191}
4 changes: 2 additions & 2 deletions plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CPU: 1_628_853_655_874
Memory: 4_738_061_278
CPU: 1_120_813_938_390
Memory: 3_171_460_442
AST Size: 3_319
Flat Size: 5_260

Expand Down
2 changes: 1 addition & 1 deletion plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -127,7 +127,7 @@ Aggregate Multi Key

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 1786 (10.9%) 3423350991 (34.2%) 280881 (2.0%)
- 1786 (10.9%) 3423222991 (34.2%) 280081 (2.0%)

Schnorr Signature G1

Expand Down
4 changes: 2 additions & 2 deletions plutus-benchmark/cardano-loans/test/9.6/main.golden.eval
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CPU: 110_972_889
Memory: 621_550
CPU: 110_492_889
Memory: 618_550
AST Size: 7_400
Flat Size: 8_660

Expand Down
4 changes: 2 additions & 2 deletions plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CPU: 1_840_950_144
Memory: 10_758_518
CPU: 1_813_270_144
Memory: 10_585_518
AST Size: 3_111
Flat Size: 7_999

Expand Down
4 changes: 2 additions & 2 deletions plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CPU: 562_518_641
Memory: 3_012_367
CPU: 559_798_641
Memory: 2_995_367
AST Size: 3_519
Flat Size: 9_180

Expand Down
Loading