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

Commit Graph

  • 7f4ca60d9a
         refresh README. KtorZ 2024-05-31 09:48:14 +0200
  • 00cd7ce97f
         Update README.md Matthias Benkort 2024-05-31 09:23:49 +0200
  • 5e1908897f
         Update README.md Matthias Benkort 2024-05-31 09:22:01 +0200
  • 2070576e46
         New LSP quickfix for 'use let' warning. KtorZ 2024-05-30 19:30:41 +0200
  • e9e26b969a
         Preserve warning display rework, but without breaking the LSP quickfixes. KtorZ 2024-05-30 19:20:11 +0200
  • 649e5163fc
         Fix parsing of single hex-digits. KtorZ 2024-05-30 17:19:48 +0200
  • 5694d9f9cb
         Introduce 'fail once' and alter behavior of 'fail' keyword for properties. KtorZ 2024-05-30 17:18:50 +0200
  • 28515e70ec
         Merge pull request #950 from hadelive/k256-error Matthias Benkort 2024-05-30 13:42:57 +0200
  • 4c1bee5091
         Merge pull request #949 from hadelive/minimal-pallas-deps Matthias Benkort 2024-05-30 13:42:45 +0200
  • 740e140c89
         fix: custom k256 error hade 2024-05-30 16:13:51 +0700
  • b367ec2113
         fix: fmt check hade 2024-05-30 16:08:03 +0700
  • ad3c9f24b7
         chore: minimal pallas dependencies hade 2024-05-30 10:51:14 +0700
  • c9a15194a0
         chore: some dist settings rvcas 2024-05-23 21:38:47 -0400
  • cb8f51d7a5
         chore: remove npm flow rvcas 2024-05-23 21:27:36 -0400
  • 2f9f554e78
         feat: npm publish flow rvcas 2024-05-23 21:16:13 -0400
  • cb4c01f46b
         chore: remove msi and update cargo dist rvcas 2024-05-23 21:07:44 -0400
  • 338fc0eba6
         chore: Release rvcas 2024-05-23 16:45:10 -0400
  • 2605dc6aa4
         chore: update changelog rvcas 2024-05-23 16:44:50 -0400
  • ed73df302a
         fix: completions should not work on windows rvcas 2024-05-23 16:43:56 -0400
  • ff50d4d2cf
         chore: Release rvcas 2024-05-23 16:23:59 -0400
  • 3f46559dbe
         chore: update changelog rvcas 2024-05-23 16:20:09 -0400
  • 2c8abe4a69 update changelog microproofs 2024-05-23 16:15:30 -0400
  • 59cfa209d7 change uplc version number based on plutus version microproofs 2024-05-23 15:04:59 -0400
  • e2bc3a9fc4
         Update blueprint generation to work with Pairs. KtorZ 2024-05-23 18:15:46 +0200
  • c48f15a957
         revert #903 'feat: Emit keyword' KtorZ 2024-05-23 17:22:12 +0200
  • e1f39ae539
         Oversight: fix missing 'AList' -> 'Pairs' conversion. KtorZ 2024-05-23 17:08:33 +0200
  • 5ce30b2632
         Rename AList -> Pairs due to popular demand. KtorZ 2024-05-23 16:45:40 +0200
  • 8e0f32a577
         Fix negative evaluation costs KtorZ 2024-05-23 11:21:47 +0200
  • 3d06129d9b add test for curry optimization that is a reduced case of #945 microproofs 2024-05-22 15:46:32 -0400
  • c3ad52b50f
         feat: add compiler version to aiken.toml rvcas 2024-05-22 15:35:54 -0400
  • d6cc450ce4 The actual issue with #945 is that the curry builtin reducer could sometimes place fully applied builtins that could evaluate and fail above where they were actually used. This happened with builtins that were called with the same constants enough times for the curry builtin to try hoist to a higher scope. This is now fixed by detecting which builtins are safe to evaluate in advance before we hoist fully applied builtins microproofs 2024-05-22 15:22:31 -0400
  • c1a913f420
         fix(config): add default for plutus version rvcas 2024-05-22 13:59:56 -0400
  • 7f38b55c1c
         fix: comments in record patterns closes #946 rvcas 2024-05-22 12:26:32 -0400
  • c16bd06e97 make sure traverse_uplc_with_helper is always passing the arg to lambda before running the with function. microproofs 2024-05-22 11:58:05 -0400
  • edf82f773c
         chore: update snapshots rvcas 2024-05-22 11:30:02 -0400
  • f5c4f4cb37
         chore(plutus_version): use a cuter name in the config field rvcas 2024-05-21 17:13:08 -0400
  • 489eff7f5b Closes #945 microproofs 2024-05-21 17:12:57 -0400
  • e28b0df840
         fix: add v3 mapping for builtin semantics relates to #907 rvcas 2024-05-21 17:06:18 -0400
  • 050d003b27
         feat: use plutus version in convert command rvcas 2024-05-21 17:05:02 -0400
  • f306f1715a
         feat: use plutus version in address command rvcas 2024-05-21 17:04:25 -0400
  • 3bc3792aa3
         feat: add plutus version to aiken.toml rvcas 2024-05-21 17:01:09 -0400
  • 4ca73c4cdf
         fix: closes #898 rvcas 2024-05-21 15:21:24 -0400
  • c1c2cd97b7 New test 103 and clippy fixes microproofs 2024-05-21 11:56:12 -0400
  • a3c14d881d
         Merge branch 'fix/scope-when-backtracking' KtorZ 2024-05-16 23:43:00 +0200
  • 7ff6eba869
         Prefer '.clone_from' over mutating a clone. KtorZ 2024-05-16 23:42:53 +0200
  • ea3e79c132
         Renamed 'unseed' -> 'not_yet_inferred' KtorZ 2024-05-16 23:33:23 +0200
  • 27b3536f09
         Also preserve warnings when resetting scope for backtracking. KtorZ 2024-05-16 23:20:52 +0200
  • e87063824c
         Fix pretty-printing of recursive type-alias causing stack overflow. KtorZ 2024-05-16 17:20:26 +0200
  • eadf709411
         Fix scope management issue when deep-inferring callee. KtorZ 2024-05-15 13:05:52 +0200
  • b546e42766
         FML. KtorZ 2024-05-14 15:27:08 +0200
  • 8881a88ae3
         Also fix multi-validator for gift_card. KtorZ 2024-05-14 13:28:24 +0200
  • 1ed4fa1c69
         Show warning when ignoring modules + restyle warnings slightly KtorZ 2024-05-14 13:27:19 +0200
  • 81219cfbdd
         Check for data-type serialisability after generic instantiation KtorZ 2024-05-14 10:55:50 +0200
  • 26ef25ba8d
         Make comparison of non-serialisable types illegal. KtorZ 2024-05-14 10:45:15 +0200
  • ff0407a245
         Fix stdlib adjustment in gift_card. KtorZ 2024-05-14 10:44:48 +0200
  • 6d7b851c70
         Fix 077 after yet-another-breaking-change in stdlib. KtorZ 2024-05-10 19:05:00 +0200
  • c5de9adcd3
         Add some log output / feedback to completion --install KtorZ 2024-05-10 17:29:59 +0200
  • c86978b5ac
         fix: clippy and add docs to the new flag rvcas 2024-05-10 10:51:29 -0400
  • 8a6957dfd0 Update fresh Dima S 2024-04-17 21:43:09 +0200
  • 8c67be55ce
         Fixes #921: top-level Miller-loop needs not to be serialisable KtorZ 2024-05-10 13:39:52 +0200
  • 83c0566afb
         Merge remote-tracking branch 'freexploit/add-completion-install' KtorZ 2024-05-10 13:10:49 +0200
  • 392b54aa0e
         chore: update readme links rvcas 2024-05-08 23:02:02 -0400
  • 4cbde9942a
         chore: goodbye old friend rvcas 2024-05-08 22:52:19 -0400
  • 6df1fcb9b0
         Merge branch 'aiken-lang:main' into add-completion-install Christopher Valerio 2024-05-08 10:03:34 -0600
  • f8ce46d0f4 chore(ci): run cargo dist init rvcas 2024-05-07 14:44:18 -0400
  • 30436a8a9c update changelog microproofs 2024-05-06 15:16:37 -0400
  • 893e9c9855 activate test 75 microproofs 2024-05-06 10:23:16 -0400
  • 878298cc8e don't use generic data type lookup when you have a Record Variant as a function microproofs 2024-05-05 23:45:13 -0400
  • 967f4348ed Add new acceptance test 101 capturing type mismatch at runtime. KtorZ 2024-05-05 19:27:09 +0200
  • 0a660c6a21 Add new acceptance test illustrating need for fn call ordering KtorZ 2024-05-05 14:27:32 +0200
  • 99c35a6459 Add now-necessary type-annotations in tests KtorZ 2024-05-05 14:26:27 +0200
  • a124bdbb05 Infer callee first in function call KtorZ 2024-05-05 13:12:49 +0200
  • 7b71389519 Change pretty-printing of unbound variable to '?' KtorZ 2024-05-05 13:30:42 +0200
  • ef70c6b8a8 Re-use generic id across builtin type-definitions. KtorZ 2024-05-05 13:06:00 +0200
  • 1070347203 Panic when encountering unknown generics. KtorZ 2024-05-05 13:10:30 +0200
  • b2661ef90a Better error message for compile time evaluation microproofs 2024-05-06 11:58:32 -0400
  • 68f1dcc65d Add comment as a reminder to future me microproofs 2024-05-06 11:48:10 -0400
  • 0e9baf4944 test should fail microproofs 2024-05-06 11:35:55 -0400
  • 2f61f59b60 Closes #909 microproofs 2024-05-06 11:35:05 -0400
  • 14903f7352 update gift card example microproofs 2024-05-04 16:08:08 -0400
  • b669db8516 update tests microproofs 2024-05-04 15:58:14 -0400
  • b3d0c3ec04 fix: fixing tests to account for the new stdlib main. Also added test 75 but commented out for now until a fix is merged microproofs 2024-05-04 14:26:06 -0400
  • a44ed4c1a8 Change prelude Map to AList microproofs 2024-05-02 15:44:33 -0400
  • b1f0dfdacd Implement parser & formatter for Pair annotations. KtorZ 2024-05-01 13:49:52 +0200
  • d8d2fb0ebc fix example error microproofs 2024-04-29 13:13:41 -0400
  • 58779401e8 fix: formatting was eating the space in pair after the , microproofs 2024-04-29 12:38:57 -0400
  • fc0e88018e Chore: Refactor get_uplc_type to account for constr types that don't exactly resolve to a uplc type Check arg_stack in uplc generator has only 1 argument at the end of the generation warning fixes microproofs 2024-04-25 16:55:01 +0200
  • 1091eba3c3 Review & fix acceptance tests KtorZ 2024-04-18 20:20:20 +0200
  • 03a5a9293c Replace snapshot test for export recursive function KtorZ 2024-04-18 18:13:10 +0200
  • 7cb548a749 Fix ordinal index on pairs KtorZ 2024-04-18 17:51:00 +0200
  • 2cb2c7fa1f Add dedicated 'Pair' typed and untyped expression KtorZ 2024-04-18 17:18:57 +0200
  • 390bccd406 Fix blueprint validator test snapshot. KtorZ 2024-04-18 16:18:16 +0200
  • 92a1da69d9 Add (possibly temporary) assertion on record access in codegen KtorZ 2024-04-18 16:03:02 +0200
  • 3dd94983bd Revert "fixing more pair issues" KtorZ 2024-04-18 16:01:04 +0200
  • 46c7cb797a fixing more pair issues microproofs 2024-04-11 10:15:12 -0400
  • ebe415cfc9 fix errors microproofs 2024-04-09 23:34:36 -0400
  • 5c59b816ea Add parser for 'Pair' pattern KtorZ 2024-04-04 10:37:09 +0200
  • 91a7e77ab4 Add 'Pair' pattern and rework internals to use it. KtorZ 2024-04-04 10:36:13 +0200
  • 897b5d1d7e Ensure type-aliases pretty-printing also work with Pair. KtorZ 2024-04-03 12:11:12 +0200
  • 3020af7cd7 Revert 'unify' implementation back to its more elegant form KtorZ 2024-04-03 11:58:11 +0200