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

Commit Graph

  • 8d60f08f65
         Add acceptance test 111 KtorZ 2024-08-31 00:03:46 +0200
  • 6d0fe560e2
         Provide UPLC machine error as trace context on test failure KtorZ 2024-08-31 00:01:54 +0200
  • fed464278d
         Allow field access on 'else'. KtorZ 2024-08-31 00:01:46 +0200
  • 7aefa85de1
         Handle importing validator handler into test module. KtorZ 2024-08-30 22:43:10 +0200
  • 5dfa3e7cca
         Add label annotation where missing in type-checker errors. KtorZ 2024-08-30 18:41:25 +0200
  • 5414fd8f04
         Fill-in CHANGELOG for zero-arg / super-const. KtorZ 2024-08-30 18:41:06 +0200
  • 75c059bf65
         Fix module constant usage warnings. KtorZ 2024-08-30 18:24:35 +0200
  • 55d381fbfc
         Merge branch 'supercharge-constants' KtorZ 2024-08-30 15:45:04 +0200
  • e3e889f875
         Update benchmarks. KtorZ 2024-08-30 15:45:00 +0200
  • a06383d333
         Use const instead of zero-arg functions in few code-gen tests. KtorZ 2024-08-29 16:57:20 +0200
  • ef89691331
         Ensure code-gen's Program version/semantic matches Plutus version KtorZ 2024-08-29 16:56:16 +0200
  • 4a8bec4caa
         Fixing gen uplc tests microproofs 2024-08-20 12:52:23 -0400
  • e772ff1787
         Missed some zero parameter check microproofs 2024-08-17 18:45:52 -0400
  • 6c2e3272da
         Re-implement and extend docs formatter for constants KtorZ 2024-08-17 15:54:20 +0200
  • 71f90ad49f
         Fix constant definition parser. KtorZ 2024-08-17 15:53:48 +0200
  • a909e9eb0a
         Add acceptance_tests/109 to illustrate new config/constants capabilities. KtorZ 2024-08-17 15:09:47 +0200
  • 38e8c6264d
         Do not trigger warnings for exported configurations. KtorZ 2024-08-17 14:56:56 +0200
  • 9063549f2e
         Re-use expr formatter for constants. KtorZ 2024-08-17 14:56:18 +0200
  • f35afe8d65
         Implement SimpleExpr logic for configuration parsing microproofs 2024-08-16 22:04:20 -0400
  • f674f9ee97
         hoist functions to super constants too microproofs 2024-08-14 18:43:20 -0400
  • cd0a9440e8
         Allow any expression as constants KtorZ 2024-08-02 17:23:14 +0200
  • 79cf0b8d97
         Fix test_framework tests trying to implement function on foreign type. KtorZ 2024-08-29 13:48:57 +0200
  • c21466831c
         Bump versions to 1.1.0, in anticipation. KtorZ 2024-08-29 09:11:54 +0200
  • e31c6de04e
         Adjust module organization to facilitate resurrection of the playground. KtorZ 2024-08-29 09:11:26 +0200
  • 8bccbd9e00
         Update acceptance tests and script context tests to latest stdlib. KtorZ 2024-08-28 17:41:32 +0200
  • 745f14ccb2
         Adjust doc to support blockquote alerts. KtorZ 2024-08-28 15:28:49 +0200
  • 6bbc6a8f2f
         chore: fix the issue in gift card rvcas 2024-08-27 19:12:44 -0400
  • d337e601cb
         chore: add a test for by name with params rvcas 2024-08-27 18:10:46 -0400
  • 9943c2cc7a
         Merge pull request #977 from aiken-lang/rvcas/validators_v3 Matthias Benkort 2024-08-27 20:31:25 +0200
  • b78aee2acc
         Use pallas==0.30.1 KtorZ 2024-08-27 20:17:56 +0200
  • efeda9a998
         Prevent non-default fallback on exhaustive validator KtorZ 2024-08-27 20:12:34 +0200
  • 48535636ed
         Fix remaining acceptance tests to be V3-compatible KtorZ 2024-08-27 18:58:50 +0200
  • d615b4f889
         Fix incongruous panic when annotation is missing from Datum. KtorZ 2024-08-27 18:52:40 +0200
  • 4003343444
         Fix default annotation for spend's optional datum and mint argument. KtorZ 2024-08-27 18:34:37 +0200
  • 0510ca58f7
         Implement record access syntax for validator handlers. KtorZ 2024-08-27 17:16:15 +0200
  • ee8f608c0b
         Omit validator return annotation when formatting KtorZ 2024-08-27 14:53:07 +0200
  • d74e36d0bc
         Introduce 'Never' type as a safe alternative to always None options KtorZ 2024-08-27 11:06:02 +0200
  • ff25fbd970
         chore: acceptance tests v3 syntax rvcas 2024-08-26 15:56:49 -0400
  • b57f840cad
         chore: use correct arguments in gift card validators rvcas 2024-08-26 15:45:37 -0400
  • c87f459ce7
         chore: convert gift card tutorial to v3 rvcas 2024-08-26 15:41:01 -0400
  • 3521a8c921
         Start adjusting acceptance tests to the new Plutus V3 syntax. KtorZ 2024-08-25 17:12:36 +0200
  • af9a785d65
         Provide default annotation to validators (incl. fallback) KtorZ 2024-08-25 17:08:46 +0200
  • 1198d7a5ae
         Adjust hello world example to new Plutus V3 syntax. KtorZ 2024-08-25 16:29:24 +0200
  • 0c9ea196be
         Format uplc crate KtorZ 2024-08-25 16:20:38 +0200
  • e9edd20c21
         Fix gen_uplc tests revolving around validators. KtorZ 2024-08-24 15:50:03 +0200
  • 52a39629b7
         Add UPLC test for always_true mint validator. KtorZ 2024-08-24 12:34:26 +0200
  • 8c2fdf9ad4
         Use dot to separate purpose from validator name in blueprint KtorZ 2024-08-24 11:24:40 +0200
  • ed55f03aa2
         Fix remaining blueprint test. KtorZ 2024-08-24 11:18:40 +0200
  • 442010d056
         Fix generation of fallback validator KtorZ 2024-08-24 11:15:56 +0200
  • 73522296aa
         chore: accept updated snapshot rvcas 2024-08-23 17:18:11 -0400
  • ff1464b462
         feat: annotated data for option datum rvcas 2024-08-23 17:15:54 -0400
  • d8723c5497
         feat: use __fallback in bluprint for the else rvcas 2024-08-23 16:32:31 -0400
  • 4589c51cd3
         feat: enforcement that spend first arg is option rvcas 2024-08-22 17:03:47 -0400
  • c57009bf99
         chore: fix some tests that now correctly fail due to arity checks rvcas 2024-08-22 16:38:42 -0400
  • c706d6072d
         Fix few blueprint generation tests KtorZ 2024-08-16 18:37:40 +0200
  • f9acbd3bcb
         DRY handlers generation from validator KtorZ 2024-08-16 18:19:23 +0200
  • 047f422d0d
         remove v2 script contexts acceptance tests. KtorZ 2024-08-16 17:19:07 +0200
  • 6a6bf6f65f
         Handle (though discard) first script purpose argument of publish and propose. KtorZ 2024-08-16 17:13:12 +0200
  • 5943d94c6c
         Finish re-working machine errors display. KtorZ 2024-08-16 17:04:16 +0200
  • fe205e360f
         Update remaining script context e2e tests. KtorZ 2024-08-16 16:34:25 +0200
  • 7ec3f2e8df
         DRY builtins types creation to ensure proper consistency. KtorZ 2024-08-16 15:26:52 +0200
  • 5b61a75088
         feat: handler withdraw purpose rvcas 2024-08-15 16:44:42 -0400
  • be7c0c8012
         fix: withdraw kinda rvcas 2024-08-15 16:43:45 -0400
  • f86d550ca0
         Fix type for mint scriptinfo microproofs 2024-08-15 16:16:20 -0400
  • 3aa9e0c4b7
         chore: run fmt on mint rvcas 2024-08-15 16:02:26 -0400
  • 3fac7002d4
         feat: switch mint to new def rvcas 2024-08-15 15:59:51 -0400
  • 953ee6b5d1
         Fix ordering for ScriptInfo type microproofs 2024-08-15 13:26:51 -0400
  • b9456b5946
         fix: wrap_validator_condition needs to happen earlier rvcas 2024-08-15 12:45:33 -0400
  • e174532bfd
         chore: add more redacted values to machine errors rvcas 2024-08-15 12:37:17 -0400
  • 79099675d4
         fix: free unique on purpose arg rvcas 2024-08-15 12:24:21 -0400
  • c2c4bddfb3
         feat: new check for valid purpose names rvcas 2024-08-15 12:15:45 -0400
  • 5cf0a4d294
         Fix validator arity check KtorZ 2024-08-15 17:45:26 +0200
  • 823492c27b
         Adjust v3 script context end-to-end tests to work with new syntax. KtorZ 2024-08-14 19:01:05 +0200
  • 972e9bd763
         Define ScriptPurpose & ScriptContext types in prelude, fix codegen new v3 wrapper. KtorZ 2024-08-14 18:52:50 +0200
  • 03a348040b
         chore: convert hello_world to v3 rvcas 2024-08-13 16:14:38 -0400
  • 90d75d4a13
         fix: redeemer could be missing rvcas 2024-08-08 19:05:35 -0400
  • 00b8a39236
         fix: private type leaks rvcas 2024-08-08 18:51:29 -0400
  • 79840248c0
         fix: more parse errors in some tests rvcas 2024-08-08 14:41:31 -0400
  • f94e40daf4
         fix: more test and issues with scoping/names rvcas 2024-08-08 14:37:14 -0400
  • cf3180996a
         fix: map fallback name if present to else rvcas 2024-08-08 13:00:11 -0400
  • 00907c2bcc
         fix: format snapshot tests rvcas 2024-08-08 12:56:01 -0400
  • 7f26db401c
         feat: handler implicit some and none rvcas 2024-08-08 12:18:38 -0400
  • 6b8be61b6e
         test: new snapshots for parsing v3 validators rvcas 2024-08-06 17:04:42 -0400
  • 0d8d80e5a7
         feat: transform TypedValidator in a function of handlers rvcas 2024-08-06 16:29:45 -0400
  • 466a4f0b39
         feat: adjust blueprint stuff to be aware of handlers rvcas 2024-08-06 15:33:48 -0400
  • 471bbe2175
         feat: append validator name to handlers rvcas 2024-08-06 14:35:25 -0400
  • b984f0455a
         feat: return a vec instead of Option rvcas 2024-08-05 23:39:36 -0400
  • 4287fa3f4a
         feat: new formatting for validators v3 rvcas 2024-07-30 18:01:54 -0400
  • 9e866a5ec1
         fix: make sure that fallback gets it's own scope with params rvcas 2024-07-30 17:27:14 -0400
  • 1d9034573b
         feat: impl infer for new validators rvcas 2024-07-30 17:23:09 -0400
  • fff90f7df5
         feat: fix inference comp issues rvcas 2024-07-18 19:57:38 -0400
  • 0de5cbc74e
         feat: implement new validator parsing rvcas 2024-07-18 17:50:36 -0400
  • c98e32d3e9
         optional costmodel in eval p2 raw jmhrpr 2024-08-24 16:36:24 +0100
  • 8dfaa1bf90
         Fix parsing of v3 cost model KtorZ 2024-08-24 18:26:02 +0200
  • a71d7c260c
         Fix doc_test examples for 'common_prefix' KtorZ 2024-08-23 16:17:54 +0200
  • c92b260260
         Fix gen_uplc tests following: 0f905045 KtorZ 2024-08-23 16:17:27 +0200
  • c3b287507e
         Fix link_tree test following 0ff12b92 KtorZ 2024-08-23 16:10:07 +0200
  • 05a3d5fb2a
         Revert "Switch back to pallas crates release now that 0.30.0 is out." KtorZ 2024-08-23 16:07:11 +0200
  • 842001dc0d
         Merge branch 'desugar-last-assignment' KtorZ 2024-08-23 16:04:49 +0200
  • 70e760cbaa
         Fill-in CHANGELOG regarding last expect and tests now accepting Void. KtorZ 2024-08-21 14:36:33 +0200