waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add back test 93

This commit is contained in:
microproofs 2024-03-04 10:48:48 -05:00 committed by Kasey
parent d971d9818b
commit e14f091b86
33 changed files with 75 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/acceptance_tests/036/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380938, nanos_since_epoch = 98285000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566491, nanos_since_epoch = 729025000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

10
examples/acceptance_tests/036/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -25,8 +25,8 @@
} }
} }
], ],
"compiledCode": "589d0100003232323232323232223225333006323253330083370e90000008a5114a060106ea8004c8c8c8cc004004008894ccc0340045300103d87a800013232533300c3375e600c6016004014266e952000330100024bd70099802002000980880118078009bac30013006300130060022300c00114984d9594ccc010cdc3a4000600a6ea800452616230043754002ae6955ceaab9e5573eae815d0aba21", "compiledCode": "589501000032323232323232322232322533300753330073003300837546464660020026eb0c008c020c008c02000c894ccc034004530103d87a800013232533300c3375e600a6016004014266e952000330100024bd7009980200200098088011807800918068008a5114a029309b2b2999802980098031baa002149858dc3a4000460086ea80055cd2ab9d5573caae7d5d02ba157441",
"hash": "f64dd826dd6aa43b3e2d6e8fd6be591834709ea56f9e311bf41f0b2d" "hash": "b4352ec01ca0fe6fe98cd94040c6844052e3fe02533f30664f985d5f"
}, },
{ {
"title": "spend.spend", "title": "spend.spend",
@ -42,8 +42,8 @@
"$ref": "#/definitions/Data" "$ref": "#/definitions/Data"
} }
}, },
"compiledCode": "58e30100003232323232323232222533300532323300100100222533300b00114a026464a66601466601464a66601c0022944528191919299980699b874800800452f5bded8c026eacc048c030008c034dd500099198008008011129998080008a6103d87a800013232323253330113371e9110500000000000000213374a90001980a9ba60014bd700998030030019bab3012003375c6020004602800460240026eacc03cc040c0240092825114a2266008008002601e004601a0026eb0c028c02cc02cc010c028c01000452613656230043754002ae6955ceaab9e5573eae815d0aba201", "compiledCode": "58d40100003232323232323232222533300532330010013758601660186018600a6016600a00444a66601400229404c94ccc020ccc0214ccc02cc94ccc024cdc3a400460146ea800452f5bded8c026eacc038c020004c8cc004004dd598071807980418070019129998068008a6103d87a80001323232533300d3371e91105000000000000375c601c006266e95200033011374c00297ae01330050050023756601c0046022004601e00229445282504a229444cc00c00c004c03400452613656230043754002ae6955ceaab9e5573eae815d0aba201",
"hash": "b44dd4bf3009da6ff1af97772e98bb31d944f8dd2987530bc91b59e9" "hash": "7e51cb2de0b306171d8c1c73f58185b8aba4affd57be308bee3cfcb5"
} }
], ],
"definitions": { "definitions": {

6
examples/acceptance_tests/047/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -23,8 +23,8 @@
"$ref": "#/definitions/Void" "$ref": "#/definitions/Void"
} }
}, },
"compiledCode": "58370100003232232232253330064a229309b2b299980219b8748000c014dd50008a4c2ca66600466e1d2000300337540022930b2b9a5573a1", "compiledCode": "5837010000323223232232253330074a229309b2b2999802980198031baa0011498594ccc00cc004c010dd50010a4c2c6e1d20005734aae741",
"hash": "5df5ee3572520827460890b2ba16a9dd375ebe9177b3da23f056415f" "hash": "d1236239754a4613c139b911557f18782f8fd9b0a8eded7476d4af5b"
} }
], ],
"definitions": { "definitions": {

2
examples/acceptance_tests/054/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380936, nanos_since_epoch = 549765000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566494, nanos_since_epoch = 587641000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/055/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380938, nanos_since_epoch = 133943000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566494, nanos_since_epoch = 547425000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/061/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380954, nanos_since_epoch = 378021000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566495, nanos_since_epoch = 619444000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/063/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380939, nanos_since_epoch = 227480000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566495, nanos_since_epoch = 619400000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/067/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380958, nanos_since_epoch = 713857000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566496, nanos_since_epoch = 579967000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/068/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380955, nanos_since_epoch = 138699000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566497, nanos_since_epoch = 576190000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/069/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380957, nanos_since_epoch = 530063000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566494, nanos_since_epoch = 603157000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/070/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380929, nanos_since_epoch = 819852000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566493, nanos_since_epoch = 444492000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/071/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380931, nanos_since_epoch = 69042000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566491, nanos_since_epoch = 318404000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

6
examples/acceptance_tests/071/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -23,8 +23,8 @@
"$ref": "#/definitions/spend~1PoolRedeemer" "$ref": "#/definitions/spend~1PoolRedeemer"
} }
}, },
"compiledCode": "5903210100003232323232323232322323223225333009323232533300c3370e90000008a511323232323253330113370e9001003099191919299980a99b87480080044c8c8c8c94ccc064cdc3a400060300022646464a66603866e1d2000301b001132324a2604400260340022c66016026008603e002602e0022c660140200026016910101ff00301b001301300214a0602600260086022016602e002601e00e264646464a66602a66e1d200200113232323253330193370e9000180c0008991919299980e19b8748000c06c0044c8c9289811000980d0008b19805809802180f800980b8008b198050080009805a44101ff00301b001301300214a0602600260086022016602e002601e00e446600a6eb0c024c040c024c0400088cdd798051808980218088008011180a980b00091198019bac301530163016300e3007300e00223375e6010601e00200444646600200200644a666028002298103d87a8000132325333013300500213374a90001980b80125eb804cc010010004c060008c0580048cdd2a40006602266e95200233011375200297ae0330114c103d87a80004bd70180500098009804002118078008a4c26cac64a66601066e1d200000113232533300d3010002132498c94ccc02ccdc3a400000226464a66602060260042930b1bad301100130090021533300b3370e9001000899192999808180980109924c64a66601c66e1d200000113232323253330153018002132498c03800c58dd6980b000980b001180a00098060010b18060008b180880098048010a99980599b87480100044c8c94ccc040c04c0084c92632533300e3370e9000000899191919299980a980c00109924c601c0062c6eb4c058004c058008c050004c03000858c03000458c044004c02400858c02400458c038004c01800858c018004c94ccc018cdc3a40000022646464646464a66601e60240042649318040028b1bad30100013010002375a601c002601c004601800260080062c6008004464a66600c66e1d2000001132323232533300d3010002149858dd7180700098070011bae300c0013004002163004001230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441", "compiledCode": "5902df0100003232323232323232322323232232322533300b323232533300e300a00114a22646464646464a666028601800e26464a66602c601c602a0022646464a666032602a603000226464a666036602e6034002264944c080c06400458cc01c04000cc078c05c00458cc01c038004c021220101ff00301b301400114a0600660260166032602401026464a66602c601c602a0022646464a666032602a603000226464a666036602e6034002264944c080c06400458cc01c04000cc078c05c00458cc01c038004c021220101ff00301b301400114a06006602601660326024010446600a6eb0c028c04cc028c04c0088cdd79805980a1802180a0008011180c180c80091198019bac30183019301930113008301100223375e6012602400200444646600200200644a66602e0022980103d87a80001323253330163005002130083301a0024bd70099802002000980d801180c800918011980a19ba548008cc050dd4800a5eb80cc05130103d87a80004bd701ba548000c030004c004c0280148c0440045261365653330093005300800213232533300e3011002132498c94ccc030c0200044c8c94ccc044c05000852616375a602400260140042a666018600800226464a666022602800426493299980718051806800899191919299980a980c00109924c601a0062c6eb4c058004c058008c050004c0300045858c048004c02800854ccc030cdc3a400800226464a666022602800426493299980718051806800899191919299980a980c00109924c601a0062c6eb4c058004c058008c050004c0300045858c048004c02800858c02800458c03c004c01c00858dc3a4004a66600c6004600a0062646464646464a66601e60240042649318038028b1bad30100013010002375a601c002601c004601800260080062c4a66600c6004600a002264646464a66601a60200042930b1bae300e001300e002375c601800260080022c6e1d2000230053754002460066ea80055cd2ab9d5573caae7d5d02ba15745",
"hash": "574421909344c5ffd2e7c05c8a38d730ee32d7833006b842a297cf21" "hash": "ecb396b3a45ca7510eb89cbddfc7442e88d7236fea194d7c3b2c625b"
} }
], ],
"definitions": { "definitions": {

2
examples/acceptance_tests/072/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380947, nanos_since_epoch = 463143000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566493, nanos_since_epoch = 442992000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/074/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380945, nanos_since_epoch = 171552000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566494, nanos_since_epoch = 612871000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/077/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380929, nanos_since_epoch = 326252000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566493, nanos_since_epoch = 389909000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

6
examples/acceptance_tests/077/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -31,8 +31,8 @@
} }
} }
], ],
"compiledCode": "5901c801000032323232323232323223222322533300932323232533300d3370e9000180600089919191919191919191919299980d980f0010991919299980d99b874800000454ccc06cc8cc004004030894ccc08000452809919299980f99baf3024301d00201a14a2266008008002604800460440022a66603666e1c009200213371e00602e29405858c064050dd6980d8011bae301900116301c00132323253330193370e90010008a5eb7bdb1804dd5980f180b801180b800991980080080111299980e0008a6103d87a8000132323232533301d3371e01e004266e95200033021374c00297ae01330060060033756603c0066eb8c070008c080008c078004c8cc004004008894ccc06c00452f5bded8c0264646464a66603866e3d221000021003133020337606ea4008dd3000998030030019bab301d003375c6036004603e004603a0026eacc068004c068004c064004c060004c05c008dd6180a80098068029bae3013001300b0011630110013011002300f001300700114984d958c94ccc020cdc3a40000022a666016600c0042930b0a99980419b874800800454ccc02cc01800852616163006001375c0024600a6ea80048c00cdd5000ab9a5573aaae7955cfaba05742ae89", "compiledCode": "5901a7010000323232323232323232232223232322533300b323232533300e3007300d00113232323253330153018002132325333014300d301300e15333014323300100100622533301900114a0264a66602e66ebcc070c054c070008048528899801801800980e0008a99980a1806000899b8f00201014a02c2c6eb4c054008dd718098008b180b0009991192999809980598090008a5eb7bdb1804dd5980c1808800991980080080191299980b8008a6103d87a8000132323253330173371e00c6eb8c06000c4cdd2a4000660366e980052f5c026600a00a0046eacc060008c06c008c064004c8cc004004dd5980b180b980b980b980b80191299980a8008a5eb7bdb1804c8c8c8c94ccc058cdc7a4500002100313301a337606ea4008dd3000998030030019bab3017003375c602a0046032004602e0026eb8c054c03800cdd6180a00098060010b18091809801180880098048008a4c26cac64a66601460060022a66601a60100082930b0a99980518010008a99980698040020a4c2c2c60100066e1d2002370e90001bae001230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441",
"hash": "53baae085909fd8805fb37f2c4520c8dde9441e048da48a36573978a" "hash": "1c731f70048a21616972e2a68c78c6b35e46c0411f134457827862e0"
} }
], ],
"definitions": { "definitions": {

10
examples/acceptance_tests/079/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -23,8 +23,8 @@
"$ref": "#/definitions/RedeemerWrapper$Int" "$ref": "#/definitions/RedeemerWrapper$Int"
} }
}, },
"compiledCode": "5855010000323232322253330033370e900018021baa00113253330043370e002902a0a4c26cac6eb40084cc88c894ccc01ccdc399b800040024815052613656375a0026eb4008c018c014dd5000ab9a5573aaae795d09", "compiledCode": "585301000032323232225323330043370e900018029baa0021325333005300200114984d958dd68018991912999803980219b8000300214984d958dd6980418039baa003375a0066e1d20545734aae7555cf2ba101",
"hash": "0f75361bda648e2eadb7d4407b087837bb9c5ec85598b9a7f7e3e435" "hash": "d5adc5b29e4ae52aacf2351caa06948d7c34232747cc058203eb2cd1"
}, },
{ {
"title": "foo.mint", "title": "foo.mint",
@ -34,8 +34,8 @@
"$ref": "#/definitions/Int" "$ref": "#/definitions/Int"
} }
}, },
"compiledCode": "5855010000323232322253330033370e900018021baa00113253330043370e002902a0a4c26cac6eb40084cc88c894ccc01ccdc399b800040024815052613656375a0026eb4008c018c014dd5000ab9a5573aaae795d09", "compiledCode": "585301000032323232225323330043370e900018029baa0021325333005300200114984d958dd68018991912999803980219b8000300214984d958dd6980418039baa003375a0066e1d20545734aae7555cf2ba101",
"hash": "0f75361bda648e2eadb7d4407b087837bb9c5ec85598b9a7f7e3e435" "hash": "d5adc5b29e4ae52aacf2351caa06948d7c34232747cc058203eb2cd1"
} }
], ],
"definitions": { "definitions": {

2
examples/acceptance_tests/082/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380932, nanos_since_epoch = 592853000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566491, nanos_since_epoch = 728503000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/083/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380929, nanos_since_epoch = 321331000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566493, nanos_since_epoch = 388764000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/084/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380929, nanos_since_epoch = 897643000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566492, nanos_since_epoch = 304136000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/086/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380947, nanos_since_epoch = 468037000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566496, nanos_since_epoch = 583438000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

6
examples/acceptance_tests/086/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -23,8 +23,8 @@
"$ref": "#/definitions/Data" "$ref": "#/definitions/Data"
} }
}, },
"compiledCode": "5901d10100003232323232323232222533300632323232533300a3370e90000008a5114a0600e0026018002600c0086464a66601066e1d200000113232533300d300f002132498c94ccc02ccdc3a400000226464a66602060240042649319299980719b87480000044c8c94ccc04cc0540084c9263253330113370e9000000899191919299980c180d0010991924c64a66602e66e1d200000113232533301c301e002132498c94ccc068cdc3a400000226464a66603e604200426493180b0008b180f800980c8010a99980d19b87480080044c8c8c8c8c8c94ccc08cc09400852616375a604600260460046eb4c084004c084008dd6980f800980c8010b180b8008b180e000980b0018a99980b99b874800800454ccc068c05800c52616163014002300f00316301800130180023016001301000216300e001163013001300d00216300b001163010001300a0021533300b3370e90010008a99980718050010a4c2c2c60100022c601a002600e00a2c600a008464a66601066e1d200000113232533300d300f002149858dd7180680098038010a99980419b87480080044c8c94ccc034c03c00852616375c601a002600e0042c600a00229309b2b118021baa001230043754002ae6955ceaab9e5573eae855d11", "compiledCode": "5901ad010000323232323232323222253330063232533300830023006300c300700514a22940c8c94ccc024c00cc01c0184c8c94ccc038c0400084c92632533300c300600113232533301130130021324994ccc038c020c0300044c8c94ccc04cc0540084c9265333010300a300e0011323232325333017301900213232498c94ccc058c0400044c8c94ccc06cc0740084c926325333019301300113232533301e3020002132498c04c00458c078004c06000854ccc064c0480044c8c8c8c8c8c94ccc088c09000852616375a604400260440046eb4c080004c080008dd6980f000980c0010b180b0008b180d800980a8018a99980b18078008a99980c980a8018a4c2c2c602600460180062c602e002602e004602a002601e0022c2c6026002601a0022c2c602200260160042a666018600a0022a66601e60160042930b0b18048008b180700098040030b1192999805180200089919299980798088010a4c2c6eb8c03c004c02400854ccc028c00c0044c8c94ccc03cc04400852616375c601e00260120042c600e0026e1d2002370e90000a4c26cac460086ea80048c010dd5000ab9a5573aaae7955cfaba157441",
"hash": "2c0c9ae697fdda3aed4aa647b854b6ef9e2fdae23df1ae516d9f4984" "hash": "ffbc8e226563ecda8da7584ef89ceec4c7bf5fc2700067a49f419675"
} }
], ],
"definitions": { "definitions": {

2
examples/acceptance_tests/087/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380945, nanos_since_epoch = 203745000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566496, nanos_since_epoch = 506346000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/088/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380948, nanos_since_epoch = 315193000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566495, nanos_since_epoch = 562544000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

2
examples/acceptance_tests/089/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709380943, nanos_since_epoch = 662175000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566496, nanos_since_epoch = 946080000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

6
examples/acceptance_tests/089/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -25,8 +25,8 @@
} }
} }
], ],
"compiledCode": "58e6010000323232323232323232223225333007323232323232533300d3370e900018060018991919299980819b8748000c03c0044c8c94ccc048cdc3a40000022944528180800099801002119baf3004300f00100e163300100323375e6006601c00201a44646600200200644a66602a0022980103d87a8000132325333014300500213374a90001980c00125eb804cc010010004c064008c05c0048c04c00458dd61808800980480198078009807801180680098028008a4c26caca66600a66e1d2000300637540022930b118029baa001230033754002ae6955ceaab9e5573eae815d0aba201", "compiledCode": "58ce010000323232323232323232223232253330083232533300a30053009300f301000213232533300c3007300b3300100323375e600660160020142a666018600e601666002006466ebcc00cc02c0040285288a501622323300100100322533301200114c103d87a8000132325333011300500213374a90001980a80125eb804cc010010004c058008c0500048c04000458dd618071803980700098030008a4c26caca66600c6002600e6ea800852616370e9000118029baa001230033754002ae6955ceaab9e5573eae815d0aba21",
"hash": "3162d9ccfeb3ddafc1d6104b2bd409290b51e018d20a7137194274ad" "hash": "2d8a5f8ab6df9b192878cfedf4335bd90e62997e937502513b2ba80c"
} }
], ],
"definitions": { "definitions": {

2
examples/acceptance_tests/090/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [

7
examples/acceptance_tests/093/aiken.lock Normal file
View File

@ -0,0 +1,7 @@
# This file was generated by Aiken
# You typically do not need to edit this file
requirements = []
packages = []
[etags]

2
examples/acceptance_tests/093/aiken.toml Normal file
View File

@ -0,0 +1,2 @@
name = "aiken-lang/acceptance_test_093"
version = "0.0.0"

10
examples/acceptance_tests/093/lib/foo.ak Normal file
View File

@ -0,0 +1,10 @@
pub fn wow(a: Void) -> Int {
when Some(a) is {
Some(Void) -> 42
None -> 0
}
}
test wow_1() {
wow(Void) == 42
}

2
examples/acceptance_tests/script_context/aiken.lock
View File

@ -13,4 +13,4 @@ requirements = []
source = "github" source = "github"
[etags] [etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709381590, nanos_since_epoch = 532309000 }, "cf946239d3dd481ed41f20e56bf24910b5229ea35aa171a708edc2a47fc20a7b"] "aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709566515, nanos_since_epoch = 54688000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

18
examples/acceptance_tests/script_context/plutus.json
View File

@ -5,7 +5,7 @@
"plutusVersion": "v2", "plutusVersion": "v2",
"compiler": { "compiler": {
"name": "Aiken", "name": "Aiken",
"version": "v1.0.24-alpha+8532aff" "version": "v1.0.24-alpha+86c5bb8"
} }
}, },
"validators": [ "validators": [
@ -23,8 +23,8 @@
"$ref": "#/definitions/Void" "$ref": "#/definitions/Void"
} }
}, },
"compiledCode": "59034d010000323232323232323232232232253330083253330093330093375e601c601e601e601e601e601e601e601e601e601e601e601e600e6002600e00498126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff004a09444c94ccc028c8c94ccc030cdc3a400400226464a66601c66ebcc018c03000530126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0013370e6eb4c014c030005200014a0602400260140042c6014002600260100062646464a66601a664464a6660260022c264a666028002264a66602466ebcc024c040004dd318032410151ad720e2a66602466ebcc028c040c028c040005300122d8799f581c11111111111111111111111111111111111111111111111111111111ff0015333012323253330143370e90000008a5014a2602400260126020601460200022a66602466ebcc014c04000530103d879800013375e6010602000298103d87a800014a029405280a50301600216301600137586004601a0024602660286028002600a601600c266ebcc00cc02cc014c02c018dd31800a40a8294094ccc034cdc3800a4000297adef6c6013232330010014bd6f7b63011299980980089980a19bb04c1014000374c00697adef6c6013232323253330143375e66012911000024c103d879800013301833760981014000374c00e00a2a66602866e3d22100002133018337609801014000374c00e00626603066ec0dd48011ba6001330060060033756602a0066eb8c04c008c05c008c054004c8cc0040052f5bded8c044a66602400226602666ec13001014000375000697adef6c6013232323253330133375e66010911000024c103d879800013301733760981014000375000e00a2a66602666e3d22100002133017337609801014000375000e00626602e66ec0dd48011ba800133006006003375a60280066eb8c048008c058008c050004894ccc034cdc80010008a6103d87980001533300d3371e0040022980103d87a800014c103d87b80002301030113011301100114a04601e602000229408c0380045261365653330063370e900018039baa0011498594ccc010cdc3a4000600a6ea800452616230053754002460066ea80055cd2ab9d5573caae7d5d02ba15745", "compiledCode": "59030601000032323232323232323223232232253330093253323300b33300b30013010301130113011301130113011301130113011301130113009300230090034a09444c94ccc030c94ccc034cdc3a40046018002264a66601c6008600a6018002260146eb4c00cc030004528180918058008b1800980500209919191929998081919299980a8008b0a99980a980c000899299980999baf30083011001374c60089040546b5c838a99980999baf300a3011300a30110014c0122d8799f581c11111111111111111111111111111111111111111111111111111111ff00153330135333013300f301230083011300a301100114a0294454ccc04cc014c00cc0440044cdd798039808800a6103d87a800014a029405280a5030170011637586002601e6010601e0124602c602e602e002266ebcc010c038c01cc038020dd31800a40a8294094ccc040c03000452f5bded8c026464646600200297adef6c60225333017001133018337609801014000374c00697adef6c601323232325333018300a3300b48810000213301c337609801014000374c00e00a2a666030601000426603866ec13001014000374c00e00626603866ec0dd48011ba600133006006003375660320066eb8c05c008c06c008c064004c8cc0040052f5bded8c044a66602c00226602e66ec13001014000375000897adef6c60132323232533301730093300a48810000213301b337609801014000375001000a2a66602e600e00426603666ec13001014000375001000626603666ec0dd48011ba800133006006003375a60300066eb8c058008c068008c060004dc7a44100375e980103d879800022533300f33720004002298103d87980001533300f3371e0040022980103d87a800014c103d87b80002301230133013301300114a04602260240026ebd300126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0014a04601e00229309b2b2999803980198041baa0011498594ccc014c004c018dd50010a4c2c6e1d2000230053754002460066ea80055cd2ab9d5573caae7d5d02ba15745",
"hash": "381d52fa18759846189ed3aefd79cc3348e9a21bf37d02efd4d82803" "hash": "ddf3567962feeaec6af9b2e9209b4e2e65d91cbd51524c0d439704d7"
}, },
{ {
"title": "deploy.spend", "title": "deploy.spend",
@ -40,8 +40,8 @@
"$ref": "#/definitions/Data" "$ref": "#/definitions/Data"
} }
}, },
"compiledCode": "59022b010000323232323232323232222533300653330063375e00698103d8798000132533300733232232533300b3370e900018050008991919299980719baf4c0106d8799f182aff0000213370e600c00a90020a5032533300e3370e9000000899192999809980b0010a4c2c6eb4c050004c03000858c030004c044004c02400458c8c8cc00400400c894ccc040004530103d87a800013232323253330113371e00e004266e952000330150014bd7009980300300198090019bae30100023014002301200137286ecd300106d8799f182aff00300100122533300c0011480004cdc02400466004004601e0026eacc030c034c034c034c034c034c034c034c034c034c034c014c004c0140084c8c94ccc030004584c94ccc034004584c8c94ccc0314ccc030cdd79802980500126126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff0013375e6022602460246024601400498122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff0014a02a66601866ebcc044c048c028c018c02800530012ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff0013232533300e3370e90020008a5116300c0013005300a00114a02940c040008c03c008c03c004dd6180098031801180300191806980718070008a502300c00114a029309b2b118029baa001230033754002ae6955ceaab9e5573eae815d0aba201", "compiledCode": "59021d010000323232323232323232222533300653330063375e00698103d87980001325332330083323223253323300d3001300c00213232533300f3375e98106d8799f182aff0000213008300600514a0a66601c6004601a00226464a666026602c0042930b1bad3014001300c001163012300b002370e90000b1919198008008019129998088008a60103d87a8000132323253330113371e00c6eb8c04800c4cdd2a40006602a00297ae013300500500230120023015002301300137286ecd30106d8799f182aff00300100122533300d0011480004cdc0240046600400460200026eacc034c038c038c038c038c038c038c038c038c038c038c018c008c01800c4c8c94ccc034004584c94ccc038004584c94ccc030c94ccc034cdd798029805800a6126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff0013375e6024602660266026601600298122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff0014a060220062a66601866ebcc044c048c028c018c0280053012ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff001533300c3005300b3004300a00114a22c2940528180800098080009bac30013007300330070042300e300f300f001370e90020a502300c00114a029309b2b118029baa001230033754002ae6955ceaab9e5573eae815d0aba201",
"hash": "2a4302a5a57880cf5b8971074a685eb78c9ea09802fb74933291300d" "hash": "1deb9ada02620cc083d12ab10a12442a100b93f6867093d8f5b6c3d9"
}, },
{ {
"title": "mint.mint", "title": "mint.mint",
@ -51,8 +51,8 @@
"$ref": "#/definitions/Data" "$ref": "#/definitions/Data"
} }
}, },
"compiledCode": "5902bc0100003232323232323232322253330053232323232533300a3232323253330113014002132533300f3370e90001807000899b8f002375c6028601a0022c601060180142c6eb8c048004c004cc010c00cdd5980298051803980500424500300100122533300f00114bd70099808180698088009980100118090008a9998051991299980619b8748000c02c0084c8c8c8c8c94ccc044cdc3a40040022c266e1cdd6980b1807801241e428601e002646600200200444a666028002298103d87a800013232323253330153371e91103666f6f0000213374a90001980c9ba80014bd700998030030019bad3016003375c60280046030004602c002646464a66602266e1d200200114bd6f7b63009bab3016300f002300f001323300100100222533301400114c103d87a800013232323253330153371e010004266e95200033019374c00297ae01330060060033756602c0066eb8c050008c060008c058004c014dd5980398060019bae3012001300a002163004300800630053008006132323232533300e3370e9000180680089919299980819baf00d00113370e600a6eacc010c038c02cc038031200214a0602800260180022c6644646600200200644a6660280022980103d87a800013232323253330153375e00e004266e952000330190014bd70099803003001980b001980a001180c001180b0009bab3001300b3008300b0093007300b00923012301330133013301330133013301330133013001300100122533300f0011480004cdc0240046600400460240022940528119801000a4410022323300100100322533300f00114bd6f7b630099191919299980819b8f0070021003133014337606ea4008dd3000998030030019bab3011003375c601e004602600460220024601a601c601c601c601c00246018601a0024601600229309b2b118029baa001230033754002ae6955ceaab9e5573eae815d0aba21", "compiledCode": "59029b010000323232323232323232225333005323232323253323300b32323253330113014002132533300f3005300e00113371e0046eb8c050c03400458c020c03002858dd71809000998008009980218019bab3005300a3007300a00848810022533301000114bd70099808980718090009980100118098008a999191980699912999807980298070010992999808180298078008b099b87375a602a601c00290790a19198008009991192999809980418090008a5eb7bdb1804dd5980c1808800991980080080191299980b8008a6103d87a8000132323253330173371e00c6eb8c06000c4c02ccc06cdd3000a5eb804cc014014008dd5980c001180d801180c80098039bab3009300e002375c602a601c00644a6660280022980103d87a8000132323253330143371e91103666f6f00375c602a00626010660306ea00052f5c026600a00a0046eb4c054008c060008c05800458c01cc02c024c020c02c0244c8c8c8c94ccc044c01cc04000454ccc044cdd7807180b18078008980318019bab3002300f300c300f00d14a02c6644646600200200644a66602e002298103d87a8000132323253330173375e00c6030006260166603600297ae01330050050023018002301b002301900137566002601c6016601c0186014601c0184602a602c602c602c602c602c602c602c602c602c002600200244a66602400229000099b8048008cc008008c054004dd2a40006e1d200214a06e1d200014a04660040029110022323300100100322533300f00114bd6f7b630099191919299980819b8f0070021003133014337606ea4008dd3000998030030019bab3011003375c601e004602600460220024601a601c601c601c601c00246018601a0024601600229309b2b118029baa001230033754002ae6955ceaab9e5573eae815d0aba21",
"hash": "e99d11c0b749de6e0b88c3a54f0ed498e72bc459d1d3d71148230f67" "hash": "6e3c9bfdb34a06415d0c09ce79172369079c8f8683999ac659f90cd6"
}, },
{ {
"title": "withdrawals.spend", "title": "withdrawals.spend",
@ -68,8 +68,8 @@
"$ref": "#/definitions/Void" "$ref": "#/definitions/Void"
} }
}, },
"compiledCode": "5901ee01000032323232323232323223223225333008323232533300b3232533300d3370e90010008b099b87375a60246016004902a1805800998009bab30023009300330090044c0126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff001533300b3232533300d3370e90010008b099b87375a60246016004900e1805800998009bab30023009300330090044c126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff0013375e6e9cc8cc004004dd598019805180218050029129998080008a5eb804cc044c038c048004cc008008c04c004dd399807a6126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff003300f4c126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff004bd700a5014a044646600200200644a666022002298103d87a800013232323253330123375e00e004266e95200033016375000297ae0133006006003375a60260066022004602a00460260024601e6020602060206020602060200024601c00229309b2b299980319b8748000c01cdd50008a4c2ca66600866e1d2000300537540022930b118029baa001230033754002ae6955ceaab9e5573eae815d0aba201", "compiledCode": "5901e6010000323232323232323232232322322533300932323253323300d32533300e3002300d0011613370e6eb4c04cc0300052054330023756600660166008601600a980126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff001533300d32533300e3002300d0011613370e6eb4c04cc030005201c330023756600660166008601600a98126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff0013375e6e9cc8cc004004dd598021806180298060031129998090008a5eb804cc04cc040c050004cc008008c054004dd399808a6126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff00330114c126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff004bd700a50370e90010a5022323300100100322533301200114c103d87a8000132323253330123375e00c6026006266e95200033016375000297ae0133005005002375a6026004602c0046028002460206022602260226022602260220024601e00229309b2b2999803980198041baa0011498594ccc014c004c018dd50010a4c2c6e1d2000230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441",
"hash": "1595536930902a5b877f84aa220ecf2f140f3f1c8a3f1c6face4b959" "hash": "f74e156a9e3b9de80c1c857c699f6db5a3778acd0e588126948a5db3"
} }
], ],
"definitions": { "definitions": {