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

Commit Graph

  • 6974d31285 chore(deps): bump tokio from 1.23.0 to 1.23.1 dependabot[bot] 2023-02-01 17:24:59 +0000
  • ecc5e13ccd
         Merge pull request #316 from aiken-lang/cip-0057-blueprints Matthias Benkort 2023-01-31 17:45:56 +0100
  • a50b51e086
         Fix bytearray literals parsing and formatting. KtorZ 2023-01-31 17:19:40 +0100
  • 79b8786cee
         Replace 'assets' with generated blueprints. KtorZ 2023-01-29 13:02:29 +0100
  • daee8e39d6
         Implement new command: address KtorZ 2023-01-31 15:30:52 +0100
  • 1aa12fb368
         Implement serde's Deserialize for blueprints. KtorZ 2023-01-31 15:26:41 +0100
  • cab59c188a
         Define serde's Serialize/Deserialize for Program<DeBrujin> KtorZ 2023-01-31 15:12:15 +0100
  • 4588ccd040
         Better use of From/Tryfrom within the blueprint module. KtorZ 2023-01-31 09:58:09 +0100
  • 22a1c1dfb4
         Use IndexMap throughout KtorZ 2023-01-29 13:30:58 +0100
  • 90ee86d14e
         Improve error reporting for the blueprint generation. KtorZ 2023-01-29 12:58:19 +0100
  • b3fc2d51cf
         Fix help on unknown::module error. KtorZ 2023-01-29 10:34:12 +0100
  • 2523816813
         Handle opaque single-variant-single-field special case. KtorZ 2023-01-29 10:33:50 +0100
  • aaa8cba0cf
         Fix nested generics and phantom-types, and handle list special case KtorZ 2023-01-29 10:09:16 +0100
  • 9a44cba007
         Add support for generics in the blueprint generation. KtorZ 2023-01-28 18:47:56 +0100
  • 0bd9d045b0
         Support tuples in blueprint generation. KtorZ 2023-01-28 17:34:43 +0100
  • d2cc44e5f4
         Allow testing blueprint generation from Aiken programs KtorZ 2023-01-28 16:01:50 +0100
  • b93e14659c
         Refactor blueprint & handle annotated schemas KtorZ 2023-01-28 13:18:59 +0100
  • 547696abde
         Add title and description to exported types in the blueprint KtorZ 2023-01-27 16:51:02 +0100
  • 59ffc6434f
         Add title to blueprint's validators KtorZ 2023-01-27 10:56:08 +0100
  • f8970ecb9e
         Move UPLC dump into separate function + log event. KtorZ 2023-01-27 10:47:08 +0100
  • b667b7f7b7
         Refactor test collection to use the new CheckedModules method KtorZ 2023-01-27 10:38:18 +0100
  • 5683d19a4c
         Refactor build steps to generate blueprints instead KtorZ 2023-01-27 09:49:05 +0100
  • 3cefbd00af
         Draft basic Blueprint schema type definition. KtorZ 2023-01-26 09:28:45 +0100
  • 0e65fecf69
         Merge pull request #302 from aiken-lang/when-clause-guards Lucas 2023-01-30 12:18:04 -0500
  • 60ad3dae50
         chore: fmt builder.rs rvcas 2023-01-30 12:07:50 -0500
  • d4a73f1235
         chore: commit assets rvcas 2023-01-30 12:01:56 -0500
  • af67f41ead
         fix: Air::Lam not real, probably meant Air::Let rvcas 2023-01-30 12:01:40 -0500
  • aec79936e2
         chore: move a test case to 049 rvcas 2023-01-30 11:48:41 -0500
  • b653714c0c
         Merge branch 'main' into when-clause-guards Lucas 2023-01-30 11:40:29 -0500
  • f7421032bd
         Merge pull request #315 from aiken-lang/assert-data-type Lucas 2023-01-30 11:34:47 -0500
  • 0ea2be0e95 feat: Add codegen for handling clause guards Kasey White 2023-01-30 05:11:27 -0500
  • a638388747 Add more complex test 40. Add assert for when constr index is given Kasey White 2023-01-30 04:17:03 -0500
  • 8c04ab093a update test 40 Kasey White 2023-01-30 03:24:52 -0500
  • afd040fda5 feat: Finish up assert feature Better error reporing on NonFunctionalApplication Error Refactor redundant code Add handling of whens with one clause. Kasey White 2023-01-29 05:21:55 -0500
  • 4c8089c28a Assert now works for a variety of types. Still some final work to finish and test. Things are good so far Kasey White 2023-01-28 05:14:12 -0500
  • 60736b4a54 chore: Add error when type casting without annotation Also implement and test most of assert. Finishing last few cases. Kasey White 2023-01-28 02:40:53 -0500
  • fc88028034 some refactoring and adding assert on lists Kasey White 2023-01-26 05:20:26 -0500
  • d4eec1fe79 chore: Add scaffolding for assert Kasey White 2023-01-23 14:13:03 -0500
  • 38c24cca01 single clause when not yet implemented Kasey White 2023-01-22 05:46:27 -0500
  • 1af1b6d898 finalize aiken ir with typing Kasey White 2023-01-22 04:18:48 -0500
  • 4976ea4164 chore: add test for the new token captures rvcas 2023-01-26 10:07:11 -0500
  • 703fcb451d fix(parser,windows): capture carriage return properly rvcas 2023-01-26 09:33:29 -0500
  • 3c97f057cc chore: fix clippy rvcas 2023-01-24 11:58:52 -0500
  • ba05f1f070 feat: add label to span rvcas 2023-01-24 11:31:07 -0500
  • a485406e3d fix: use the location of the pattern not the entire clause rvcas 2023-01-24 10:26:08 -0500
  • 7206360baa feat(when): single when clause now emits warning rvcas 2023-01-24 10:22:03 -0500
  • ad7a62d2bf
         Merge pull request #306 from aiken-lang/micah/acceptance-test-048 Micah 2023-01-23 12:46:42 +1100
  • d608c50130 Added 048 acceptance test Micah Kendall 2023-01-23 01:12:29 +1100
  • e36f91c39c fix: multiple list cases of the same length weren't being handled Kasey White 2023-01-21 16:10:26 -0500
  • a178cee7bf Add new acceptance test scenario: 046 KtorZ 2023-01-19 18:33:10 +0100
  • e8fb386bdc chore: Switch from hashmap and hashset to indexmap and indexset Kasey White 2023-01-21 17:25:09 -0500
  • a926a1a2d4
         Add new acceptance test scenario 048 KtorZ 2023-01-21 17:49:44 +0100
  • 5d7585cc05
         Implement parser for when clause guard KtorZ 2023-01-21 17:36:38 +0100
  • 91bd0d1d77
         Display warning help + minor error improvements. KtorZ 2023-01-21 17:42:45 +0100
  • 83fd910604
         Update artifacts from acceptance tests 036 KtorZ 2023-01-21 12:46:22 +0100
  • 333a990249
         Fix parsing of subtractions and negations in the absence of space. KtorZ 2023-01-21 12:43:11 +0100
  • bb360cd7c8
         Fix display of 'UnknownLabels' KtorZ 2023-01-21 11:37:17 +0100
  • d905f24e7f
         Forbid solo-assignment as the only function body KtorZ 2023-01-21 10:32:06 +0100
  • 2101bb924d
         Fix tuple-pattern parser KtorZ 2023-01-21 10:04:11 +0100
  • d321b85df2
         Refactor type errors back into macro annotations KtorZ 2023-01-20 20:08:40 +0100
  • 4459fdb360
         Fix error reporting on cyclic definitions. KtorZ 2023-01-20 20:07:37 +0100
  • ce65236514
         Parse tests as private functions. KtorZ 2023-01-20 12:50:07 +0100
  • 61be8ca73e
         Add diagnostic codes to type-check warnings. KtorZ 2023-01-20 12:27:48 +0100
  • e0046eea2b
         Merge pull request #299 from aiken-lang/forbid-assignment-as-last-expression Lucas 2023-01-19 19:49:14 -0500
  • 10fb7455f3
         Forbid let-binding as last expression of a sequence KtorZ 2023-01-19 18:05:57 +0100
  • c5e876e817
         Fix typo in variant name: Implicity -> Implicitly KtorZ 2023-01-19 17:26:33 +0100
  • bb82b1bc1e
         slightly rework hint for 'ImpliclyDiscardedExpression' KtorZ 2023-01-19 17:25:18 +0100
  • 092151d6a0
         Remove dead-code and fix comment about discarded expressions KtorZ 2023-01-19 16:35:39 +0100
  • dcfa730de9
         Merge pull request #296 from aiken-lang/zero-arg-anon-funcs Matthias Benkort 2023-01-19 11:23:21 +0100
  • 52724ea0e0 feat: handle anon zero arg functions. Test 045 Kasey White 2023-01-19 01:34:27 -0500
  • 7215bf33e9 fix: get_variant_name was not properly traversing type args on map and data types Kasey White 2023-01-18 15:58:50 -0500
  • 2f6c794cdf fix: ci... :facepalm rvcas 2023-01-18 15:24:36 -0500
  • 479d49bdfc fix: ci... again rvcas 2023-01-18 15:17:24 -0500
  • 086de8cbc0 chore: switch things back rvcas 2023-01-18 14:38:43 -0500
  • be6327cf59 fix: ci rvcas 2023-01-18 14:30:53 -0500
  • f975c345c9 fix: ci rvcas 2023-01-18 14:24:18 -0500
  • 71ae85a720 missing a condition check on when Kasey White 2023-01-18 14:03:38 -0500
  • 439a54d9f1 Fix CI workflow not erroring on acceptance test failure. KtorZ 2023-01-17 17:28:25 +0100
  • d7e4aef4c5 feat: Add boolean conditions to when statements Kasey White 2023-01-17 03:43:47 -0500
  • 75808cc046 Add new acceptance scenario: 044 KtorZ 2023-01-17 16:57:06 +0100
  • c440026e36
         Fix generated projects' README + rename 'certify' -> 'publish' KtorZ 2023-01-18 16:48:40 +0100
  • 20ac9c20a2
         Remove some dead-code. KtorZ 2023-01-18 16:43:40 +0100
  • b475d6a6a4
         Provide better errors when packages aren't found. KtorZ 2023-01-18 16:34:26 +0100
  • 6e64bb72e6
         Add new acceptance test scenario 045 KtorZ 2023-01-18 16:28:44 +0100
  • 071dc00624
         Implement various visual improvements for the doc generator KtorZ 2023-01-18 12:34:18 +0100
  • 33d902ba2a feat: Now opaque types with one constr and one field are converted to inner field type Kasey White 2023-01-17 02:30:56 -0500
  • 98d2cb5afc in progress: working on taking special opaque types and converting them to their inner type Kasey White 2023-01-16 06:51:55 -0500
  • 0da4560792 fix failing unit tests Kasey White 2023-01-17 03:02:06 -0500
  • 5ceb3b07fb
         fix: call was not capturing full span rvcas 2023-01-16 15:26:07 -0500
  • 38734361d0 feat: make part of summary red if errors exist rvcas 2023-01-16 15:14:46 -0500
  • 4024add4da feat: error when an expression is implicitly discarded rvcas 2023-01-16 14:53:33 -0500
  • 844570caf5
         Fix multi-line type-alias tuple definitions KtorZ 2023-01-16 11:30:20 +0100
  • 1adac64585 feat(imports): return a nice error if a validator module is imported rvcas 2023-01-15 18:45:15 -0500
  • f114905f7d fix: small typos in error messages rvcas 2023-01-15 18:44:40 -0500
  • c66d07a54c feat: validator fns no longer need to be public rvcas 2023-01-15 12:11:16 -0500
  • 63bfb4e05d chore: no longer need pub here rvcas 2023-01-15 12:10:38 -0500
  • 00f2150eed feat: add identity, always, & flip rvcas 2023-01-14 23:21:42 -0500
  • 9daf86e984
         chore: fix version for hello world rvcas 2023-01-14 22:22:36 -0500
  • b69c1f66d7 feat: return err if data type contains functions rvcas 2023-01-14 20:25:46 -0500
  • 95c9be5c52 chore: acceptance test 040 had the wrong name rvcas 2023-01-14 20:23:22 -0500