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

Commit Graph

  • 7c3750bbb4 fix: apply order on field expose Kasey White 2023-03-20 18:08:06 -0400
  • 50db958d06 update codegen to use more streamlined uplc building methods Kasey White 2023-03-20 02:31:51 -0400
  • ef3862ade8 refactor: uplc code gen uses shorthand methods Kasey White 2023-03-17 22:05:04 -0400
  • 74a7a2f214 commit air changes that expose scope as a mutable pointer Kasey White 2023-03-17 19:05:04 -0400
  • 6422027c6c
         Fix README template for newly generated projects, and hello, world KtorZ 2023-03-18 22:23:55 +0100
  • 0f35675f57
         remove wrongly committed println. KtorZ 2023-03-18 17:33:21 +0100
  • 0b8c3b05fe
         Fill-in test scenario for parsing large integer constants. KtorZ 2023-03-18 16:17:42 +0100
  • 8a2af4cd2e
         Fix lexer throwing errors when parsing a too large tuple index. KtorZ 2023-03-18 16:12:45 +0100
  • df722d6f0f
         Merge pull request #457 from aiken-lang/double_validators Matthias Benkort 2023-03-18 10:59:11 +0100
  • 2dbc50f098
         feat: generate_test doesn't need arguments rvcas 2023-03-17 18:37:05 -0400
  • 74c61358ab
         feat: new error for when multi-validators have the same arg count rvcas 2023-03-17 18:18:37 -0400
  • d753b57c1b
         chore: use let-else 🤯 rvcas 2023-03-17 17:50:41 -0400
  • a4c7337df2
         Add new acceptance scenario 079 (double validators) KtorZ 2023-03-17 16:59:35 +0100
  • bc690c5410
         Generated wrapped schemas for multi-validators' redeemers KtorZ 2023-03-17 16:30:30 +0100
  • bb6fc76971
         start on registering redeemer wrapper type in definitions Kasey White 2023-03-17 11:11:37 -0400
  • 7e1403a3b2
         Complete generation of blueprint multi-validators. KtorZ 2023-03-17 15:56:01 +0100
  • fe92b27d50
         start on refactoring validator to support multi-validators in blueprint Kasey White 2023-03-17 10:39:26 -0400
  • 61113cd7b9
         distinguish between multi vs single validator case in blueprint schema generation. KtorZ 2023-03-17 15:22:35 +0100
  • 22880a300f
         Update crates/aiken-lang/src/parser.rs Lucas 2023-03-17 09:45:49 -0400
  • 950598b534
         Update crates/aiken-lang/src/parser.rs Lucas 2023-03-17 09:45:25 -0400
  • 3d92772d23
         Update crates/aiken-lang/src/tipo/infer.rs Lucas 2023-03-17 09:42:21 -0400
  • bf34324ac0
         Update crates/aiken-lang/src/format.rs Lucas 2023-03-17 09:38:58 -0400
  • c3870e340e
         feat(codegen): support multi-validators rvcas 2023-03-16 23:58:22 -0400
  • 87493bbba9
         feat(register_values): refactor repeated code into register_function and register other_fun rvcas 2023-03-16 21:30:20 -0400
  • 15bdb6972d
         feat(fmt): better validator formatting with double supported rvcas 2023-03-16 19:34:16 -0400
  • ed92869fb9
         feat(validator): parsing and typechecking for double validators rvcas 2023-03-16 18:33:57 -0400
  • 3eccc349aa
         Merge pull request #459 from aiken-lang/remove-multi-subjects Matthias Benkort 2023-03-17 14:58:56 +0100
  • 660d2199d4
         Make blueprint generation deterministic KtorZ 2023-03-17 14:57:28 +0100
  • 5e3a902c75 fix: add back some extra info on display rvcas 2023-03-15 16:14:22 -0400
  • 28a3844d54
         Cleanup implementation from multi-subjects when/is KtorZ 2023-03-17 13:04:22 +0100
  • c113582404 Support multi-clause patterns as syntactic sugar KtorZ 2023-03-16 22:42:07 +0100
  • 660ca3fada Fix comment formatting wrongly assuming false invariant. KtorZ 2023-03-16 23:33:02 +0100
  • 57e217e81c Add failing tests (fmt panic) on weird doc comments. KtorZ 2023-03-16 23:22:36 +0100
  • 0feb2df0a0
         Minor error messages fixes. KtorZ 2023-03-16 23:35:12 +0100
  • 13890874c0
         Fix 'run' script, also do 'check' on modules that have validators. KtorZ 2023-03-16 23:01:32 +0100
  • 4ed279b30d
         Merge pull request #454 from aiken-lang/newline-assignment Lucas 2023-03-16 15:32:11 -0400
  • fab6d56bf2
         Merge branch 'main' into newline-assignment Lucas 2023-03-16 15:30:55 -0400
  • b2f3b66a96 Fill-in CHANGELOG about let-binding change. KtorZ 2023-03-16 19:48:31 +0100
  • 5d3816e984 Improve warning message for UnusedVariable KtorZ 2023-03-16 19:14:17 +0100
  • 45575cae96 Fix 'run' script and re-generate blueprint for scenario 077. KtorZ 2023-03-16 18:40:50 +0100
  • a5e505e6b0 Remove unused let-binding from type-checking KtorZ 2023-03-16 16:51:30 +0100
  • 45ea7acc6a Refactor infer_assignment code to be more future-proof KtorZ 2023-03-16 15:25:53 +0100
  • 5bea2d163d Fix comments and remove commented-out code. KtorZ 2023-03-16 15:07:41 +0100
  • da8d3fc1fc Removed unused warning variant: UnusedLiteral KtorZ 2023-03-16 14:30:06 +0100
  • 20f5baffa7
         Enforce newline after assignment / clause. KtorZ 2023-03-16 19:42:57 +0100
  • bf9297efcf
         chore(gift_card): cardano scan url should be preprod as well rvcas 2023-03-16 09:45:11 -0400
  • c4f6ef93bf
         Merge pull request #450 from aiken-lang/better-feedback-for-type-holes Matthias Benkort 2023-03-16 14:20:20 +0100
  • d59305a1b0
         Provide better compiler feedback for type holes in annotations. KtorZ 2023-03-16 13:58:46 +0100
  • 0e7494541d
         feat: update changelog rvcas 2023-03-15 16:46:59 -0400
  • bf94956c7e feat: print todo's type when printing the todo warning rvcas 2023-03-15 16:28:59 -0400
  • f7308f22fd
         fix: gift_card deno.lock rvcas 2023-03-15 16:41:25 -0400
  • d13db5f34e Fix deno.lock waalge 2023-03-15 11:06:59 +0000
  • f2e5b0b89b Add Deno to nix. waalge 2023-03-15 10:14:37 +0000
  • 7e467ada2b chore(gift_card): more readme info rvcas 2023-03-14 19:12:33 -0400
  • 56aa53eb73 chore: update lucid rvcas 2023-03-14 19:03:15 -0400
  • 81359246f9 chore: update against latest main, rerun build, change unlock interface rvcas 2023-03-14 18:20:47 -0400
  • 0147af8330 chore: rename example parents folder to gift card rvcas 2023-03-11 22:45:25 -0500
  • a522cd1e7d chore: better names for the validators and some functions rvcas 2023-03-11 22:44:49 -0500
  • 5e062c130d feat: finish up end to end example rvcas 2023-03-11 16:10:12 -0500
  • 79fd6b4828 feat(one_shot): actually getting properly applied contracts rvcas 2023-03-11 00:41:19 -0500
  • a82cedbd92 feat(one_shot): apply params to script rvcas 2023-03-10 23:43:27 -0500
  • e35ccc9e0c feat(one_shot): document vendored lucid rvcas 2023-03-10 23:10:53 -0500
  • 14cdac7bfa feat(one_shot): some deno and lucid stuff rvcas 2023-03-10 23:08:41 -0500
  • ab1ee17ad4 feat(one_shot): some deno boilerplate rvcas 2023-03-10 12:43:53 -0500
  • 7ea8aeda01 feat: one_shot example rvcas 2023-03-09 19:30:07 -0500
  • e95d7214c9
         chore: update changelog rvcas 2023-03-14 18:12:45 -0400
  • f830172493 fix: wrong scope being passed in for unwrapdata and wrapdata in assignment ir Kasey White 2023-03-14 17:05:27 -0400
  • 2a00ef281b
         chore: bow to the clippy rvcas 2023-03-14 17:03:28 -0400
  • 724f1ac4b6 Remove unused 'FlexBreak' KtorZ 2023-03-14 16:41:55 +0100
  • 1311d9bd27 Support flexible pipe operator formatting KtorZ 2023-03-14 16:38:57 +0100
  • ae981403c6 Re-introduce field title & description in referenced schemas. KtorZ 2023-03-11 11:41:15 +0100
  • 45a463786f Update blueprints from acceptance tests and hello, world. KtorZ 2023-03-11 11:02:49 +0100
  • 451737237e Fix blueprint generation for recursive types. KtorZ 2023-03-11 10:25:05 +0100
  • f67e049dc2 Introduce indirection for fields. KtorZ 2023-03-10 09:37:39 +0100
  • 3a7aac0a33 Make blueprint code slightly more resilient to changes. KtorZ 2023-03-10 09:15:42 +0100
  • e44f18bae5 Add failing test scenario for recursive types. KtorZ 2023-03-10 09:14:05 +0100
  • 31c280552d add another validator Kasey White 2023-03-12 00:17:00 -0500
  • 4a7bbc23df fix: change in scope was applied in wrong place in pattern_ir for constr expect Kasey White 2023-03-12 00:12:45 -0500
  • 4b9ccc8592
         Merge pull request #426 from waalge/waalge/bump-cargo2nix Matthias Benkort 2023-03-11 12:05:07 +0100
  • 6440c4f498
         fix(codegen): tuple pattern scopes rvcas 2023-03-09 19:30:52 -0500
  • fa55a4173c fix: gh actions bump cargo2nix unstable waalge 2023-03-09 09:48:38 +0000
  • 6817510e2d Merge branch 'main' into waalge/bump-cargo2nix waalge 2023-03-09 09:44:11 +0000
  • 993d1f1187 merge waalge 2023-03-09 09:41:33 +0000
  • f377d60085 ChooseData is now lazy with its branch arguments. This enables calling the un_data builtins directly from choose_data args Kasey White 2023-03-09 00:18:45 -0500
  • dbef4474fa Add new acceptance scenario: 065 KtorZ 2023-02-17 16:59:07 +0100
  • 553eb88d3d fix(check): record field access properly restricted to single constr types rvcas 2023-03-08 23:36:13 -0500
  • ba4635a8b0
         chore: update changelog rvcas 2023-03-08 22:50:03 -0500
  • 41e725152e
         feat(unify): cannot cast between string and data closes #432 rvcas 2023-03-08 22:47:38 -0500
  • c85240cbed Fix exception when doing expect boolean = .. Kasey White 2023-03-08 22:20:01 -0500
  • 6cde0628a7 fix(check): filter tests before code gen rvcas 2023-03-08 19:38:06 -0500
  • a66c9bd2c3
         Remove redundant match on tuple blueprint generation. KtorZ 2023-03-08 16:40:03 +0100
  • 2c987e289d
         Fix 'find_modules_prefix' when generating docs. KtorZ 2023-03-08 12:28:01 +0100
  • e8feb10505 chore: bump rust version in nix waalge 2023-03-08 11:03:50 +0000
  • ab32302117
         Only generate documentation of current package with 'docs' KtorZ 2023-03-08 12:00:59 +0100
  • 0ea4538cac
         Fix typo and pluralize message for invalid field arity error. KtorZ 2023-03-08 11:44:54 +0100
  • 2aa8a7f973
         Merge pull request #424 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-03-08 11:40:05 +0100
  • d8934b3d8d
         Merge pull request #421 from aiken-lang/monomorph-panic-fix Matthias Benkort 2023-03-08 11:39:50 +0100
  • 89373c32e6
         Functions with only a generic return weren't being properly monomorphized. Fixed that. Kasey White 2023-03-07 23:50:00 -0500
  • 4a8e756f88 [create-pull-request] automated change KtorZ 2023-03-08 09:26:01 +0000
  • 95997822dc
         Merge pull request #422 from aiken-lang/rvcas/json_output_cmds Matthias Benkort 2023-03-08 10:24:05 +0100