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

Commit Graph

  • 841547dd6c
         Merge pull request #659 from SundaeSwap-finance/main Matthias Benkort 2023-07-04 15:13:58 +0200
  • 28209bbe9e
         Update CONTRIBUTING.md Pi Lanningham 2023-07-04 08:33:15 -0400
  • fb021bdfd1 Mention nix develop in CONTRIBUTING.md Pi Lanningham 2023-07-04 00:41:45 -0400
  • 12674c8c4c Added description to changelog Pi Lanningham 2023-07-01 14:21:22 -0400
  • c10f0e53df cargo fmt Pi Lanningham 2023-07-01 14:17:55 -0400
  • 4a8cb72708 Add a blueprint policy command Pi Lanningham 2023-07-01 14:14:09 -0400
  • 42544af799 fix: safe encode bits to check for 2^num_bits <= byte we are encoding fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding. It does not... fix: Debruijn was being converted to NamedDeBruijn incorrectly microproofs 2023-06-30 23:06:38 -0400
  • d641f731b7 fix: needed a stricter check for expect_pattern func on discard pattern microproofs 2023-06-28 15:54:59 -0400
  • 592ece5e27
         chore: use magic-nix-cache instead of cachix Cainã Costa 2023-06-28 11:06:33 -0300
  • 1c7b8e0286 [create-pull-request] automated change rvcas 2023-06-23 23:46:49 +0000
  • 90ff211205
         chore: Release rvcas 2023-06-23 19:41:14 -0400
  • 6f7dafb82c chore(deps): bump openssl from 0.10.49 to 0.10.55 dependabot[bot] 2023-06-23 22:38:48 +0000
  • 619b73d03e
         feat: enhance new command rvcas 2023-06-23 19:40:11 -0400
  • d633129ddf
         fix: clearer unused var warning closes #579 rvcas 2023-06-23 19:04:54 -0400
  • 697de40376
         chore: update changelog rvcas 2023-06-23 18:41:58 -0400
  • 8b3504e9a1 fix: `expect _ = ...` not including the cast from data logic if the type is data and right hand has a type annotation microproofs 2023-06-23 18:39:12 -0400
  • 226556bdd6 fix: builtins using the incorrect data to type conversion when used as a function param. microproofs 2023-06-23 14:30:29 -0400
  • db369da96e feat: Make traces produced by expect dependent on the value of the tracing flag. microproofs 2023-06-23 13:36:41 -0400
  • dbfa08a5a7 fix: issue with tuple clause It was not consuming the next case if there was no condition being checked in the clause. Now it properly always consumes the next clause unless last clause. microproofs 2023-06-23 12:36:15 -0400
  • 5362714a63 chore: update tests microproofs 2023-06-22 18:04:38 -0400
  • 626033ff9b fix: attempt to convert from opaque before doing monomorphization microproofs 2023-06-22 15:38:21 -0400
  • 24f5c4de6b fix: the final clause of a when expecting another clause afterwards in nested list cases. fix: all elements were being destructured in tuple clauses even if not used microproofs 2023-06-19 20:32:11 -0400
  • e1f788b628 chore: commit tests first microproofs 2023-06-19 20:05:01 -0400
  • 42519d3965
         Merge pull request #619 from aiken-lang/first-class-binary-operators Matthias Benkort 2023-06-17 17:23:34 +0200
  • 41b2bf1c7e
         Fill-in CHANGELOG. KtorZ 2023-06-17 17:21:43 +0200
  • 4252ee6373
         Implement formatter for anon binop. KtorZ 2023-06-17 08:44:59 +0200
  • 91f03abb7b
         Support all binary operator in the anonymous binop parser. KtorZ 2023-06-17 08:35:22 +0200
  • d0b4c1c3b5
         Add remaining boolean comparison operator to anon binop parser. KtorZ 2023-06-17 07:57:30 +0200
  • ec94230294
         Extend parser to accept anonymous binop as expressions. KtorZ 2023-06-17 07:36:11 +0200
  • ba911d48ea
         Refactor 'is_capture' field on function expressions. KtorZ 2023-06-17 07:26:46 +0200
  • 93135cebbb fix: redeemers in the script context are sorted by redeemer ptr not data hash microproofs 2023-06-16 12:24:44 -0400
  • e72a9f8e0b chore: rearrange code gen test order microproofs 2023-06-14 13:12:49 -0400
  • 44e21ddcb8 [create-pull-request] automated change rvcas 2023-06-14 01:31:24 +0000
  • 85d82e5aec
         chore: Release rvcas 2023-06-13 21:24:41 -0400
  • ad5feff06c [create-pull-request] automated change rvcas 2023-06-14 01:09:06 +0000
  • bf09c155fc
         chore: update changelog rvcas 2023-06-13 21:06:24 -0400
  • 06079fa57e
         fix: wow rvcas 2023-06-13 21:03:16 -0400
  • 379c2fe2bf chore: Release microproofs 2023-06-13 20:32:22 -0400
  • 878fd4de48 feat: include column number in location rvcas 2023-06-13 20:27:26 -0400
  • 44e066f907 feat: add a panic hook, present issue link rvcas 2023-06-13 20:15:38 -0400
  • b79437f596 update changelog microproofs 2023-06-13 12:02:17 -0400
  • c3bb7b0f75 fix: tail list being expected on when it should be empty microproofs 2023-06-13 11:48:54 -0400
  • 1e0f7ea0ab fix: foldl test microproofs 2023-06-13 11:38:24 -0400
  • af36b5ac77 fixes: fix: Issue where using var pattern in a when was passing the constr index instead of the constr fix: Issue where expecting on a list had unexpected behaviors based on list length microproofs 2023-06-13 10:55:21 -0400
  • 37b2f0c239
         fix: gift card example stdlib update rvcas 2023-06-13 00:38:29 -0400
  • 22d491bb88
         chore: update changelog rvcas 2023-06-13 00:24:04 -0400
  • aeaec6bcd8
         fix: record format when module select rvcas 2023-06-13 00:18:32 -0400
  • a5245fdc6b chore: couple more identity tests in optimize step microproofs 2023-06-10 00:01:54 -0400
  • 2bd159e186 [create-pull-request] automated change MicroProofs 2023-06-08 23:39:52 +0000
  • c5af6e0be3 chore: Release microproofs 2023-06-08 19:34:51 -0400
  • 9fe4aab599 chore: changelog v1.0.8-alpha microproofs 2023-06-08 19:33:27 -0400
  • 8ed3979517
         Merge pull request #593 from aiken-lang/hex-and-numeric-underscore Matthias Benkort 2023-06-08 18:50:47 +0200
  • 919bf6f350
         Complete CHANGELOG KtorZ 2023-06-08 16:39:03 +0200
  • 6bd8e94e17
         Preserve numeric underscore and hexadecimal notation through formatting. KtorZ 2023-06-08 16:37:20 +0200
  • 0b7682306f
         Refactor formatter to use new 'self.int' helper function. KtorZ 2023-06-08 15:34:28 +0200
  • 79a2174f0a
         Extend parser to support int as hexadecimal and numeric underscore. KtorZ 2023-06-08 14:12:33 +0200
  • 0ea11a4d13
         Introduce new test cases for hexadecimal and underscore parsing. KtorZ 2023-06-08 13:26:22 +0200
  • 0c4e7ed9da typo in changelog microproofs 2023-06-07 22:39:54 -0400
  • 1256bd5617 push codegen fixes to changelog microproofs 2023-06-07 22:38:22 -0400
  • e0e6ee1fa9 Update multi.ak Justin Syme 2023-06-07 15:03:12 -0600
  • fc9a60494e Update oneshot.ak Justin Syme 2023-06-07 15:01:46 -0600
  • 3fc9c8e0db
         chore: re-add empty line handling by @KtorZ rvcas 2023-06-07 17:21:04 -0400
  • 41a08e4a06
         chore: re-add nix stuff from @waalge rvcas 2023-06-07 17:16:56 -0400
  • 8d107b1293
         fix(build): --uplc must use Program<Name> to pretty print rvcas 2023-06-07 16:25:59 -0400
  • 1747090931
         fix: fmt crashing with comment at end of file rvcas 2023-06-07 15:59:54 -0400
  • feb2698e5e chore: commit multi-validator plutus.json rvcas 2023-06-07 15:41:56 -0400
  • 73c9ac3409 feat: create multi validator for gift card. This version of gift card allows for minting many gift cards in a tx under the same policy by policy creator. Also allows batch redeem. Kasey White 2023-03-30 20:39:09 -0400
  • 0afc3aba13
         Fix operator precedences, in particular |> KtorZ 2023-06-06 17:12:31 +0200
  • 5faa925aea fix: error when using nested boolean checks in when conditions microproofs 2023-06-06 03:04:12 -0400
  • bfd2a50a6b fix: zero arg functions were grabbing extra dependencies they didn't need to fix: Had the wrong conversion for constant maps to plutus data. Fixed to check for right conversion microproofs 2023-06-04 15:23:36 -0400
  • cf6d04e95b
         chore: some clippy warnings rvcas 2023-06-02 19:47:52 -0400
  • cdf8bd6548 fix: list items in when were not being added to scope fix: tuple clause must preserve previous clause properties state microproofs 2023-06-02 18:24:44 -0400
  • 8f0cf289b4 fixes: fix: rearrange clauses and fill in gaps now handles nested patterns in a uniform way fix: discards in records was being sorted incorrectly leading to type issues chore: remove some filter maps in cases where None is impossible anyway chore: some refactoring on a couple functions to clean up microproofs 2023-06-02 17:11:52 -0400
  • 9c29f4f26b
         fix: blueprints gen failing on List rvcas 2023-06-02 17:50:01 -0400
  • 6609ab335c chore: add another test for field destructuring in a list microproofs 2023-06-02 13:00:09 -0400
  • e4b270689a [create-pull-request] automated change rvcas 2023-06-02 06:27:28 +0000
  • fbec4a9385 Update docs.rs Pi Lanningham 2023-06-02 02:17:14 -0400
  • cb9a140601
         chore: Release rvcas 2023-06-02 00:34:07 -0400
  • d3ffafd9c7
         chore: update changelog rvcas 2023-06-02 00:07:49 -0400
  • 335cc0c8bc
         feat(cli): rework uplc subcommands rvcas 2023-06-01 23:50:59 -0400
  • e5d9398625 fix: add module name to type mismatch error rvcas 2023-06-01 19:57:25 -0400
  • 6955f79035 chore: update changelog microproofs 2023-06-01 12:22:42 -0400
  • fb5f81d634
         Merge pull request #560 from aiken-lang/blueprint_apply_fix Matthias Benkort 2023-05-31 14:58:56 +0300
  • deee50b77e fix: just change `as_key` microproofs 2023-05-31 00:27:31 -0400
  • a6807f0bfb fix: seems like definition lookups weren't working microproofs 2023-05-31 00:18:05 -0400
  • c710d488d6 fix: need to sort record update args so they match indices order microproofs 2023-05-30 20:17:31 -0400
  • 52a51acc69 fix: fix record update so it actually works microproofs 2023-05-30 19:00:36 -0400
  • e1e65d7695 typo microproofs 2023-05-30 16:26:56 -0400
  • a65821d5ab fix: constrs that contain fields now work when passed as an arg to a function. microproofs 2023-05-30 14:52:28 -0400
  • 26a607eb00
         fix: bad parsing of comments at end of file closes #551 rvcas 2023-05-30 11:07:39 -0400
  • c3b8ff0009
         chore: update changelog rvcas 2023-05-30 10:39:44 -0400
  • 2860bac4c6
         fix: bad parsing for module select type annotations closes #550 rvcas 2023-05-30 10:39:28 -0400
  • 28a9152f09 add acceptance tests to 20 microproofs 2023-05-21 16:36:56 -0400
  • f571665538 add test 18 microproofs 2023-05-20 23:44:14 -0400
  • 7b3e1c6952
         feat: adjust failing test syntax rvcas 2023-05-25 18:20:44 -0400
  • 00ac6b6c56 Fix dumping of builtin pairs Niels Mündler 2023-05-24 23:57:32 +0200
  • a44b5e1a77
         test: adjust formatter tests after latest tweaks rvcas 2023-05-25 17:37:53 -0400
  • 151db8d4ae
         fix: formatter weirdness relates to #542 rvcas 2023-05-25 17:19:02 -0400
  • a124a16a61
         feat(tests): implement a way to express that tests can fail rvcas 2023-05-25 16:54:53 -0400
  • 65bf4a85e4
         chore: adjustment cargo.toml rvcas 2023-05-23 10:40:13 -0400