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

Commit Graph

  • 3bff47cc8f
         Bump 'install-nix-actions' in the github workflow. KtorZ 2023-04-13 11:09:56 +0200
  • 4420e43bc4
         Choose and install latest version on 'aikup', instead of failing. KtorZ 2023-04-13 10:14:57 +0200
  • ea83e80bf7
         Add a 'list' command to aikup. KtorZ 2023-04-13 10:04:24 +0200
  • 0cda98a0d1 chore: remove flamegraph.svg rvcas 2023-04-13 01:27:24 -0400
  • fdce9f373e chore: remove fib.uplc file rvcas 2023-04-13 01:19:34 -0400
  • ccc450659a chore: switch discharge value back to the recursive form for simplicity rvcas 2023-04-12 20:20:28 -0400
  • 564939ab61 feat microproofs 2023-04-12 18:30:36 -0400
  • 09a6ea51d6 feat(machine): reduce term allocations microproofs 2023-04-12 16:09:42 -0400
  • 70f12d3fc5 chore: new branch with some things from the bumpalo branch rvcas 2023-04-11 16:02:11 -0400
  • fc1b8738df fix: fixed how the ir was generating for expect Void, expect Bool, let Void microproofs 2023-04-12 22:37:33 -0400
  • 280284d4a1
         Merge pull request #456 from aiken-lang/clause-guard-wildcard-pattern Matthias Benkort 2023-04-12 08:40:16 +0200
  • 1e35281650
         clause guard with discard is now handled Kasey White 2023-04-10 02:12:40 -0400
  • 0846fe2d5f
         Add new failing test case for 048 (clause guards) KtorZ 2023-03-16 23:00:12 +0100
  • ff290bc582 add expect false test Kasey White 2023-04-09 16:26:12 -0400
  • 02d57cc076 tests pass now after adding in final wrapper as air elements Kasey White 2023-04-09 16:21:41 -0400
  • e69a70f49c remove final wrapper and replace with equivalent air elements Kasey White 2023-04-09 16:10:55 -0400
  • 9e95e24624 now tests are passing Kasey White 2023-04-09 00:49:43 -0400
  • efb901f3b4 fix: issue with modifying a functions dependencies and adding a function that depended on it causing infinite loops Kasey White 2023-04-08 23:57:15 -0400
  • a17ebf301f fix: now we monomorphize __expect_type functions Kasey White 2023-04-08 16:54:42 -0400
  • 9d9f8a914a fix generics causing a free unique due to ordering in expect_type Kasey White 2023-04-08 14:17:42 -0400
  • 581c86ed83 chore: commented code removal Kasey White 2023-04-07 13:29:47 -0400
  • 4d97719e6d update blueprint tests with new hashes and script outputs Kasey White 2023-04-07 13:27:31 -0400
  • 8d81345fb1 fix: diff_defined_types was not being filled if constructor had 0 args Kasey White 2023-04-07 12:16:34 -0400
  • 897011e9bc misc changes Kasey White 2023-04-07 02:36:39 -0400
  • f8483da4e0 Code gen now handles expecting on validator args in the air stack. Thus allowing us to use code gen created functions to expect on data types including recursive ones. Some minor tweaks to the air. Added a uplc optimization for later. Kasey White 2023-04-07 02:25:18 -0400
  • 4e4eed13e1 refactor define_ir_recurse to use let else Kasey White 2023-04-06 17:03:25 -0400
  • 4ff0504d58 feat: change define_ir_processor to handle code_gen_functions Also flattened out that function by using let else Kasey White 2023-04-06 13:30:45 -0400
  • bc7b07c1d9 fix: expect_type now works on recursice constructors and validator args are now handled by air Kasey White 2023-04-06 00:44:03 -0400
  • a1b3ae52d8 fix: optimization that was being ignored Kasey White 2023-04-05 15:57:31 -0400
  • 6c932bb562 expect on map and list now use a function that gets instantiated as air in code gen functions Kasey White 2023-04-05 10:11:55 -0400
  • abd97f0ade changed assert_on_list from being defined at uplc level to being defined at air level to enable proper hoisting Kasey White 2023-04-04 14:58:04 -0400
  • f4ba6b8985 fix: unused validator args had an incorrect if check Kasey White 2023-04-03 15:59:58 -0400
  • 3f45b524b8 feat: unused validator args are not expect checked Kasey White 2023-04-03 15:43:19 -0400
  • 8c8312a412 fix: expect true was always expecting false Kasey White 2023-04-03 15:20:33 -0400
  • ddf0fbfa0a fix: expect void now checks for unit instead of expecting data Args in validator are now fully expected on. Add new air FieldsEmpty to make checking for empty constructors easier Kasey White 2023-04-03 14:28:38 -0400
  • 23b72e18f3 Add new acceptance test scenario: expect unary constructors. KtorZ 2023-03-30 09:06:18 +0200
  • 5bdf9053cf [create-pull-request] automated change KtorZ 2023-04-08 08:28:10 +0000
  • ee8509956d
         Merge pull request #477 from aiken-lang/blueprint-json-deserializers Matthias Benkort 2023-04-08 10:26:11 +0200
  • 4799af3242
         Rework 'blueprint apply' command and wrap up wiring up validation. KtorZ 2023-04-07 17:40:40 +0200
  • bf222a3ea2
         Fix reference JSON deserialization. KtorZ 2023-04-07 17:38:37 +0200
  • c18deecdc8
         Show slightly better schema mismatch errors KtorZ 2023-04-07 16:21:33 +0200
  • 176cb45524
         Factor out error (schema mismatch) creation during blueprint validation. KtorZ 2023-04-07 16:20:51 +0200
  • 7d6612b108
         Rework parameter validation to work from 'Constant' instead of 'Term' KtorZ 2023-04-07 12:03:09 +0200
  • d58ef1a079
         Implement blueprint schema & data validations. KtorZ 2023-04-07 11:53:19 +0200
  • ee220881b6
         Generalize schema definition to work from inline schema or reference. KtorZ 2023-04-06 17:55:11 +0200
  • d620f6367c
         Bootstrap schema validation for simple constants. KtorZ 2023-04-06 11:57:23 +0200
  • 9033b44044
         Implement quick builder on PlutusData. KtorZ 2023-04-05 15:32:39 +0200
  • f311e048b7
         Improve error message on 'ParameterizedValidator'. KtorZ 2023-04-05 11:55:05 +0200
  • cdc7ebf9a0
         Remove now-unnecessary blueprint generics. KtorZ 2023-04-05 11:51:26 +0200
  • f0d2d20a4c
         Impl JSON deserialization for blueprint's 'Schema'. KtorZ 2023-04-05 11:40:01 +0200
  • 565c0bea74
         Write JSON deserializers for Reference, Constructors, Items and Data. KtorZ 2023-03-30 18:55:14 +0200
  • 9d2d99ed02 [create-pull-request] automated change rvcas 2023-04-07 21:23:48 +0000
  • 9a73535610 chore(deps): bump openssl from 0.10.45 to 0.10.49 dependabot[bot] 2023-04-07 21:08:19 +0000
  • 1444c9328d
         fix some typos rvcas 2023-04-07 16:51:18 -0400
  • d0d482b3cb
         chore(gift_card): run fmt rvcas 2023-04-07 16:35:58 -0400
  • 4e380012fb
         chore(gift_card): use kupmios backed by demeter for lucid rvcas 2023-04-06 21:35:08 -0400
  • 057102c491
         Add function to uplc::parser for string escape KtorZ 2023-04-05 14:25:19 +0200
  • cdff149b5e update flake waalge 2023-04-03 09:11:06 +0000
  • 298e8068ee chore: remove program_builder rvcas 2023-03-30 20:25:24 -0400
  • d8cbcde61d feat(validators): unused param warning rvcas 2023-03-30 16:34:22 -0400
  • 8fad5b77c6 chore: add some unit tests to stack Kasey White 2023-03-30 11:32:18 -0400
  • 6a4f62d074
         Allow newlines in when clause sequences. KtorZ 2023-03-30 13:49:00 +0200
  • 5d4c95d538
         Supports commenting validator inner functions. KtorZ 2023-03-30 13:37:09 +0200
  • 814157dd7b
         Fix formatter inconsistency with record spread patterns. KtorZ 2023-03-30 13:02:20 +0200
  • 17431daaa4
         Correctly nest multiline pipeline expressions. KtorZ 2023-03-30 12:48:15 +0200
  • cb5dc75326
         Remove unnecessary import. KtorZ 2023-03-30 11:50:44 +0200
  • 1d3315005c
         Support some single-character escape sequences in UPLC KtorZ 2023-03-30 11:46:44 +0200
  • 9a8e17020b
         Merge pull request #475 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-03-30 09:55:36 +0200
  • 30dc561853 [create-pull-request] automated change KtorZ 2023-03-30 07:24:37 +0000
  • dc500b8e13
         Add missing import to owo_colors KtorZ 2023-03-30 09:21:59 +0200
  • cc18e7cff2
         Fix formatting of function expressions with traces KtorZ 2023-03-30 09:21:46 +0200
  • efa31e3df7
         minor lsp tweaks KtorZ 2023-03-29 18:25:16 +0200
  • aa29636d50 fix: scope issue with ir_stack being incremented wrongly with assignment Also fixed scope of constructor tag and void in whens Kasey White 2023-03-28 19:58:36 -0400
  • 80f2fd746d test(gen_uplc::scope): more replace unit tests rvcas 2023-03-27 19:45:17 -0400
  • e5980c5a96 feat(gen_uplc::scope): use some assumptions to simplify replace rvcas 2023-03-27 19:45:04 -0400
  • c8ac9aa165 test: add replace same value unit test Kasey White 2023-03-27 17:53:09 -0400
  • 5453572fc0 test(gen_uplc::scope): common ancestor method rvcas 2023-03-27 15:21:40 -0400
  • 177c36fc68 chore: cargo audit is being stubborn again rvcas 2023-03-27 14:53:01 -0400
  • 822bb4242a fix: function hoisting errors -- One involving zero args being hoisted instead of compiled and replaced. Second involving not updating a function's dependeny function scope. Which then hoisted to a lower scope and caused free unique Kasey White 2023-03-27 14:39:21 -0400
  • 703429af98 chore: commit plutus.json rvcas 2023-03-27 13:34:49 -0400
  • 96b7fb1c50 chore: make clippy happy rvcas 2023-03-27 13:21:13 -0400
  • b5ed958f62 chore: remove unused variable rvcas 2023-03-27 13:20:01 -0400
  • b2dcb112c9 fix last 2 acceptance tests Kasey White 2023-03-27 12:16:32 -0400
  • 51a6589aac 2 acceptance tests left to fix Kasey White 2023-03-27 11:01:18 -0400
  • eef34b8f4b feat: all compiler errors fixed Kasey White 2023-03-24 22:54:56 -0400
  • 25ff8acb1e feat: one more function to finish up Kasey White 2023-03-24 16:18:46 -0400
  • 77afa76163 feat: refactor handle_each_clause fix expect type ordering on constr type checking Kasey White 2023-03-24 00:17:58 -0400
  • f07a959ab8 feat: almost done rvcas 2023-03-23 23:06:02 -0400
  • 709ee914ed feat: another round of functions using AirStack rvcas 2023-03-23 21:14:20 -0400
  • 489dd235ff feat(gen_uplc): finished up a few more functions rvcas 2023-03-23 17:18:27 -0400
  • 33a3c5dc13 feat(gen_uplc): introduce scope new type rvcas 2023-03-22 22:33:49 -0400
  • ca0d896b8d feat: start using AirStack methods rvcas 2023-03-21 23:17:51 -0400
  • 3e6f688e2d feat: refactor some methods and modules rvcas 2023-03-21 17:12:01 -0400
  • 2d77ec1a6a add merge function Kasey White 2023-03-21 16:32:06 -0400
  • 32d34d5fd3 create struct Air Env refactor out some to_strings Kasey White 2023-03-21 16:02:52 -0400
  • 0060d29265
         chore: update gift card example to use new validator syntax rvcas 2023-03-27 13:39:34 -0400
  • bb820ebdd8 fix: trace and scope issues fix scope issues involving fieldsexpose and other destructureing pattern fix trace to extract string from term. Kasey White 2023-03-21 12:38:13 -0400
  • 77f58cf5cb
         Merge pull request #463 from waalge/main Matthias Benkort 2023-03-21 13:00:58 +0100
  • 8be95e6961 bump rustc version waalge 2023-03-21 11:38:07 +0000
  • 6e5b24a937 refactor the rest of the term builders to use more concise code Kasey White 2023-03-20 22:33:27 -0400