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

Commit Graph

  • f3cdc05875
         fix: the refactor on discharge value env (#393) Kasey 2023-02-18 20:49:29 -0500
  • 1aea586cab
         Merge pull request #390 from aiken-lang/acceptance-test-060--record-and-tuple-constants Matthias Benkort 2023-02-17 18:20:39 +0100
  • cd4ceb219c
         Remove complex and compound constants. KtorZ 2023-02-17 17:30:24 +0100
  • 560c17d5aa
         Add new acceptance test scenario: 060 KtorZ 2023-02-13 10:55:03 +0100
  • c76c98f153
         Merge branch 'expect-tuples' KtorZ 2023-02-17 16:43:15 +0100
  • 76b2396830
         Fix offset location for 'SingleConstructorExpect' warnings. KtorZ 2023-02-17 16:43:07 +0100
  • 92021e00b4
         Merge branch 'parser-newline-comment-fix' KtorZ 2023-02-17 14:08:20 +0100
  • 4a22e5f656
         Fix module comment parsing / formatting after bumping chumsky to 0.9.0 KtorZ 2023-02-17 14:07:24 +0100
  • ec144fa220
         Make 'choose_data' builtin available. KtorZ 2023-02-17 11:24:33 +0100
  • f10e9e8977
         Add new acceptance test scenario: 062 KtorZ 2023-02-16 13:58:51 +0100
  • 95e1442b49 Swap arguments to unify when inferring traces KtorZ 2023-02-16 14:50:45 +0100
  • 8fabfd112e Add new acceptance test scenario: 063 KtorZ 2023-02-16 14:46:37 +0100
  • 45454ced01 Make tracing configurable, when relevant. KtorZ 2023-02-16 14:33:19 +0100
  • e9e3f4f50a Implement TraceIfFalse type-checking and AST transformation. KtorZ 2023-02-16 13:53:05 +0100
  • 6a50bde666 Implement parser & formater for 'TraceIfFalse' KtorZ 2023-02-16 13:51:37 +0100
  • 60390fe4f0 Add TraceIfFalse untyped expression KtorZ 2023-02-16 13:50:50 +0100
  • 6ce62115f7 found formatting issue Kasey White 2023-02-16 16:18:56 -0500
  • d7cfca2a57 fix condition and branch body getting passed same scope Kasey White 2023-02-16 16:10:54 -0500
  • d1ca85c4bc feat: add support for assign and nested assign Kasey White 2023-02-16 14:31:04 -0500
  • e7a61df1f3 Add new acceptance test scenario: 062 KtorZ 2023-02-16 13:58:51 +0100
  • 3204322da6
         Fix validator lookup by title. KtorZ 2023-02-16 10:28:11 +0100
  • 20841962f6
         Fix error messages still referring to blueprint's purpose. KtorZ 2023-02-16 10:06:12 +0100
  • ec6baf3a6a
         Merge pull request #351 from aiken-lang/acceptance-test-054-pattern-match-on-list Matthias Benkort 2023-02-16 10:01:56 +0100
  • 2151fe4484 fix(infer): if branch bodies need to be checked in a new scope rvcas 2023-02-15 23:55:36 -0500
  • c4a588f3dd test(check): if scoping rvcas 2023-02-15 23:53:57 -0500
  • d41e6942c6 test: fix acceptance tests rvcas 2023-02-15 22:46:16 -0500
  • 7b0faa7c1c test(check): validator errors and warning rvcas 2023-02-15 22:21:20 -0500
  • a311531508 fix(cli): aiken address rvcas 2023-02-15 22:04:45 -0500
  • 8b4985498b chore: add fmt test for validator rvcas 2023-02-15 21:30:45 -0500
  • 2e78b7100c fix: blueprint tests rvcas 2023-02-15 21:26:50 -0500
  • b057d27465 fix: some updates from latest main rvcas 2023-02-15 21:13:21 -0500
  • 673b57b81c feat: get bluprint stuff compiling again rvcas 2023-02-15 12:58:34 -0500
  • d03288cece feat(validator): move return type and arity check to infer rvcas 2023-02-15 12:58:18 -0500
  • a88a193383 fix: properly lex new token and adjust parsed spans rvcas 2023-02-15 12:56:52 -0500
  • e647330433 fix: better formating for validator rvcas 2023-02-15 12:55:11 -0500
  • a044c3580e feat: typecheck validators rvcas 2023-02-14 12:09:12 -0500
  • 2e7fe191db feat(definitions): rvcas 2023-02-14 00:24:40 -0500
  • 2fa494bda7 fix: calculated list pattern length with tail incorrectly before. Now subtract 1 from length since next item does not need a end of list check Kasey White 2023-02-15 04:43:05 -0500
  • d26ff0298f Add new acceptance test scenario: 054. KtorZ 2023-02-08 19:14:41 +0100
  • dfe240ad64
         Merge pull request #380 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-02-16 00:51:50 +0100
  • 4d2d9319af [create-pull-request] automated change KtorZ 2023-02-15 23:50:11 +0000
  • 000a24b41c
         Merge pull request #379 from aiken-lang/trace-rework-and-unification Matthias Benkort 2023-02-16 00:48:13 +0100
  • 56258dc815
         Fix todo/error parser on when clauses. KtorZ 2023-02-16 00:33:13 +0100
  • 808ff97c68
         Preserve trace, error & todo formatting. KtorZ 2023-02-15 23:02:49 +0100
  • 6525f21712
         Remove 'Todo' from the AST & AIR KtorZ 2023-02-15 21:53:11 +0100
  • 7b676643bd
         Lift 'error' up one level in the parser and remove its label. KtorZ 2023-02-15 21:09:03 +0100
  • 7abd76b6ad
         Allow to trace expressions (and not only string literals) KtorZ 2023-02-15 18:46:07 +0100
  • 4e51e49fe6
         Align context diagnostics to use similar syntax. KtorZ 2023-02-15 17:26:26 +0100
  • 7251b2d01e
         Remove single-argument function call special-case in formatter KtorZ 2023-02-15 17:20:58 +0100
  • 47e77aa819
         Add new context test for datums and reference scripts KtorZ 2023-02-15 17:10:14 +0100
  • 6772e20d85
         Replace withdrawals withdraw validator with always true validator. KtorZ 2023-02-15 12:59:33 +0100
  • b300cf38db
         Add new script context test scenario covering minting & values. KtorZ 2023-02-15 12:49:56 +0100
  • cf7f206324
         Add missing cbor-diag dependency for running acceptance tests. KtorZ 2023-02-15 10:46:18 +0100
  • 014c7a3d73
         Fix error display in tx simulate. KtorZ 2023-02-15 09:39:34 +0100
  • 01c392836e
         Fix CI script + add script interactions. KtorZ 2023-02-15 09:13:14 +0100
  • e1c0c3986d
         Remove unused imports in 054. KtorZ 2023-02-15 08:56:26 +0100
  • a24fc55993 Delay 2nd arg on trace in case it throws and prevents trace from printing Kasey White 2023-02-15 03:06:58 -0500
  • e15e725bfe add one more test Kasey White 2023-02-15 01:36:32 -0500
  • 5e5a9dd25f quick fix for test 59 Kasey White 2023-02-14 23:11:49 -0500
  • 32b0200966 fixes: tuple clauses, zero args funcs, list clause named pattern Kasey White 2023-02-14 20:49:40 -0500
  • 23bf101e08 Add new acceptance test scenario: 058 KtorZ 2023-02-13 10:35:44 +0100
  • d9cfad8f68 Add new acceptance test scenario: 061 KtorZ 2023-02-13 11:09:07 +0100
  • 6132c092e3 Add new acceptance test scenario: 059 KtorZ 2023-02-13 10:46:48 +0100
  • b7fa57027a scope is now properly handled in expect cases Kasey White 2023-02-14 12:28:16 -0500
  • d8ff9e23a4
         Merge pull request #373 from aiken-lang/test-script-context-interactions Lucas 2023-02-14 12:03:04 -0500
  • 428b5f2b37
         Align output of `tx simulate` with other Aiken's commands. KtorZ 2023-02-14 16:49:13 +0100
  • a3078adce8
         Add succinct README to explain what's going on. KtorZ 2023-02-14 16:25:17 +0100
  • 685473ead6
         Rename data -> ctx KtorZ 2023-02-14 16:10:45 +0100
  • 5369872a3d
         Add new script_context acceptance scenario for withdrawals. KtorZ 2023-02-14 16:08:51 +0100
  • 34596b3084
         Fix collecting withdrawal scripts in eval_phase_one KtorZ 2023-02-14 15:58:34 +0100
  • 251aa756d9
         Make basic script a template, and add more assertions. KtorZ 2023-02-14 11:37:10 +0100
  • 545323128c
         Write basic e2e validator with evaluation. KtorZ 2023-02-14 10:39:31 +0100
  • 4ef1ba69de
         Use blueprint in hello-world example. KtorZ 2023-02-14 09:16:30 +0100
  • 3b3ec7d95c format fix Kasey White 2023-02-12 19:12:38 -0500
  • 765ceefd38 feat: add ability to downcast void to data Kasey White 2023-02-12 18:53:02 -0500
  • 4c838defd1 fix issue with final clause producing clauseguard air Kasey White 2023-02-12 16:44:04 -0500
  • e9883adf12 fix: scope issue when using when with a function call subject Kasey White 2023-02-12 04:53:01 -0500
  • 2bda581fbd Add new acceptance test scenario: 057 KtorZ 2023-02-10 09:56:42 +0100
  • 1c9540ec87 one more test case to add Kasey White 2023-02-11 20:13:46 -0500
  • 4b1015e0d4 change how expect works on lists and constructors Add more coverage to acceptance test 40 on expect Kasey White 2023-02-11 19:58:22 -0500
  • deb2ab8f80
         Merge pull request #362 from aiken-lang/patterns-improvements Matthias Benkort 2023-02-11 22:46:04 +0100
  • b83a247ff7
         Add slightly more informative note for list pattern on int. KtorZ 2023-02-11 17:00:32 +0100
  • 2e8fd6e1c2
         Remove patterns on 'String' KtorZ 2023-02-11 16:57:14 +0100
  • 6649821200
         Add type-checker sanity tests for list patterns. KtorZ 2023-02-11 16:54:49 +0100
  • 56e90fba21
         Add missing newlines to 'join' in error messages. KtorZ 2023-02-11 16:24:56 +0100
  • 3c7663cd3c
         Basic exhaustivness check on list patterns KtorZ 2023-02-11 16:20:28 +0100
  • 831a37d094
         feat: shouldn't use this warning on list rvcas 2023-02-11 09:42:39 -0500
  • e92d9af3c2 fix: changed how list_access_to_uplc handles discards fixing unit test 55 Also fix incorrect error message in runtime in machine Kasey White 2023-02-11 04:30:18 -0500
  • ddef61a855 fix: blueprint tests Kasey White 2023-02-10 19:45:44 -0500
  • 0269409fa1 case where removing a lam with 0 occurrences is not safe Since a function call can have arbitrary other calls that lead to error and that is difficult to detect. Kasey White 2023-02-10 19:24:47 -0500
  • 21fbd48b8d
         Improve error on duplicate imports. KtorZ 2023-02-10 17:07:08 +0100
  • f747ee0aca
         Improve error message when finding a non-exhaustive let-binding. KtorZ 2023-02-10 10:34:49 +0100
  • 22f5ecc8c6
         Merge pull request #358 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-02-10 10:15:28 +0100
  • 22eea92c6f [create-pull-request] automated change KtorZ 2023-02-10 09:11:55 +0000
  • 9b0fc0b395
         chore: fix some weirdness after rebasing with main rvcas 2023-02-09 00:19:22 -0500
  • bf15fece57
         Merge pull request #356 from aiken-lang/big_int Matthias Benkort 2023-02-10 09:49:44 +0100
  • c1d67e95e1
         feat: fix errors and add tests for BigInt changes rvcas 2023-02-09 15:01:30 -0500
  • bd4aeb779c
         Implement integer_log2 on BigInt KtorZ 2023-02-09 18:07:52 +0100
  • e76d26eb3c
         Fixup: follow compiler. KtorZ 2023-02-09 16:09:49 +0100
  • cfbe5fd3cc
         feat: use BigInt in constant integer rvcas 2023-02-09 09:46:42 -0500