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

Commit Graph

  • 49bd4ba33d chore: Release microproofs 2023-10-25 19:00:03 -0400
  • d2202a705c update changelog microproofs 2023-10-25 18:59:44 -0400
  • 4dd17dacf3 chore: rename uplc builder builtins microproofs 2023-10-17 12:29:38 -0400
  • 3e283a59ec Split off builtin function builders waalge 2023-08-29 20:21:03 +0000
  • 46c58dbd61
         Implement quickfixes for redundant imports. KtorZ 2023-10-22 00:29:09 +0200
  • 28b699c86a
         Merge unused imported constructors and unused imported type with unused imported value KtorZ 2023-10-22 00:27:30 +0200
  • 5f8e256050
         Present aiken-lsp & fill-in CHANGELOG KtorZ 2023-10-21 21:39:30 +0200
  • 17832fc5af
         Fix clippy warnings: remove redundant closures & guards. KtorZ 2023-10-21 21:27:31 +0200
  • d6f74b5932
         Merge pull request #753 from aiken-lang/lsp/quickfix-unknowns Matthias Benkort 2023-10-21 21:23:56 +0200
  • c0513da032
         Add quickfix for unknown constructors. KtorZ 2023-10-21 14:24:47 +0200
  • f6eff7ec58
         Fix incoherent 'UnknownVariable' being returned in type-check KtorZ 2023-10-21 14:09:07 +0200
  • 5986163ba7
         Add quickfix for unknown alias & data types. KtorZ 2023-10-21 13:57:06 +0200
  • d965467a53
         Fix insertion of unqualified import when first KtorZ 2023-10-21 13:56:15 +0200
  • c550b4766d
         Implement quickfix for 'UnknownModule'. KtorZ 2023-10-21 12:59:48 +0200
  • e48ac6b592
         Relocate and refactor quickfix code into its own module KtorZ 2023-10-21 12:00:58 +0200
  • 763516eb96
         Refactor and relocate document edits function for imports. KtorZ 2023-10-21 11:31:01 +0200
  • 699d0a537c
         Use (untyped) AST to find the right insert location for imports. KtorZ 2023-10-21 10:42:59 +0200
  • 66ade8e3e3
         Implement simple code action quickfix for unknown variable. KtorZ 2023-10-20 17:59:18 +0200
  • c4221730bf
         Define 'ExtraData' trait for errors KtorZ 2023-10-20 17:14:10 +0200
  • 41e26b216b
         Some LSP improvements regarding hovering KtorZ 2023-10-19 20:04:10 +0200
  • a08405c607 changelog additions microproofs 2023-10-17 12:36:13 -0400
  • e5801f9c19
         feat: support doc comments for functions args and validator params rvcas 2023-10-16 13:33:14 -0400
  • 10b9dc2042
         chore: remove unused constants rvcas 2023-10-13 16:56:03 -0400
  • 596ce49327 fix: mixed up operators for ConstAboveDiagonal and ConstBelowDiagonal Closes #618 microproofs 2023-10-13 11:40:07 -0400
  • e8bcbecf31
         chore: avoid cloning name rvcas 2023-10-12 17:50:44 -0400
  • 55f89a7ff4
         fix: incorrect 'unused::constructor' rvcas 2023-10-12 17:43:15 -0400
  • 52dfc13f8f
         chore: explain a weird if condition rvcas 2023-10-12 17:24:11 -0400
  • c764a6f99c fix: reset option should not reset special functions in only a multivalidator microproofs 2023-10-07 16:53:45 -0400
  • 4649a5a9d2 fix: don't reset the used special functions microproofs 2023-10-07 16:52:12 -0400
  • 8964675670 feat: Add tracing for common multivalidator issues microproofs 2023-10-07 15:52:28 -0400
  • 68d9a21c6a commit current lock files microproofs 2023-10-07 15:30:11 -0400
  • a86f08c6d1 update tests for new trace reduction microproofs 2023-10-07 15:29:51 -0400
  • 7a6ddc45a0 feat: Rework codegen traces to prevent repeated messages from taking up uplc script space microproofs 2023-10-07 14:43:12 -0400
  • 44021cde19 Detect when fields_expose is unnecessary in clause_pattern microproofs 2023-10-07 13:19:33 -0400
  • 9335522df4 Make change @ktorz suggested microproofs 2023-10-07 13:04:07 -0400
  • 98cb01413b chore: prevent strings from being inlined and replicated microproofs 2023-10-06 10:13:28 -0400
  • c2bf6e5682
         Add missing keywords to documentation generator. KtorZ 2023-10-06 14:46:34 +0200
  • a524836c94
         Add compiler version & system information to panic error message KtorZ 2023-10-06 14:45:25 +0200
  • 524d0dadf5
         Add compiler's version to blueprint. KtorZ 2023-10-06 14:17:55 +0200
  • d56d5180cf
         Move compile-time build info to aiken-project KtorZ 2023-10-06 14:08:47 +0200
  • bd61a2ddf3
         chore: adjust git ignore rvcas 2023-10-04 17:09:18 -0400
  • 8a1c824dd7 chore: add specific error for when the validator returns false microproofs 2023-10-04 11:08:22 -0400
  • 78ff6cf178 chore: update changelog rvcas 2023-10-03 01:16:59 -0400
  • 135dbd8335 feat: handle pipe fn infer TODOs rvcas 2023-10-03 01:01:46 -0400
  • fb6cbbec8b chore: Release microproofs 2023-09-29 22:08:09 -0400
  • d131ec563b update changelog microproofs 2023-09-29 22:07:19 -0400
  • add513790d hotfix: cyclic functions hoisted as a dependency used the wrong key to modify its own cyclic_calls microproofs 2023-09-29 22:01:43 -0400
  • 82ceb5b696 chore: Release microproofs 2023-09-29 19:39:28 -0400
  • 4aa5bda9eb update changelog microproofs 2023-09-29 19:37:44 -0400
  • 83f0dd2cbe chore: fix blueprint validator tests microproofs 2023-09-29 17:20:12 -0400
  • fb2ca0e3e0 inline is actually cheaper in a lot of cases microproofs 2023-09-29 16:31:28 -0400
  • a2068ff062 fix: optmizer should never inline recursive functions chore: some renames microproofs 2023-09-29 16:11:29 -0400
  • 335560b81f Add placeholders for new terms in optimize Update tests to check optimization is applied properly microproofs 2023-09-29 15:05:03 -0400
  • 5e2a78173b optimization: increase the cases that inline_basic_reduce can handle microproofs 2023-09-29 14:26:55 -0400
  • 4c278e2f9d Use unknown when git dirty waalge 2023-09-28 09:05:43 +0000
  • dbd4fe2aab fix rust version waalge 2023-09-27 22:25:55 +0000
  • 14a6141046 shortRev waalge 2023-09-27 21:27:55 +0000
  • 37ec2b121b rev waalge 2023-09-27 21:03:47 +0000
  • f5fb84f104 try patch waalge 2023-09-27 20:54:04 +0000
  • 3c11c95e01 insert into rust waalge 2023-09-27 20:32:25 +0000
  • b4837c7ee6 add rev waalge 2023-09-27 19:06:32 +0000
  • 3fc469b7c7 update changelog microproofs 2023-09-27 18:34:38 -0400
  • 47596f0324 feat: Remove tuple_index and record_access in favor of faster more direct functions for accessing an item in a tuple or a field in a record microproofs 2023-09-27 16:24:16 -0400
  • 15a43d1a87 fix rust version waalge/git-rev waalge 2023-09-27 22:25:55 +0000
  • cf7020c528 shortRev waalge 2023-09-27 21:27:55 +0000
  • 873b39169e rev waalge 2023-09-27 21:03:47 +0000
  • c925d09792 try patch waalge 2023-09-27 20:54:04 +0000
  • a2359aeaa5 insert into rust waalge 2023-09-27 20:32:25 +0000
  • 5f1d437b29 add rev waalge 2023-09-27 19:06:32 +0000
  • 1bcc9e8524 fix: expect on tuples from data now checks for no more items after the last microproofs 2023-09-26 12:49:50 -0400
  • 8e75007a5f changelog: remove accidental duplicated Fixed microproofs 2023-09-25 21:16:00 -0400
  • 38d15c677f Update changelog microproofs 2023-09-25 18:28:11 -0400
  • 1ca3499128 chore: rename type microproofs 2023-09-25 18:04:25 -0400
  • eb0b4dd6d8 update lock files microproofs 2023-09-25 17:31:10 -0400
  • b8737a1021 add one more test for unbound generics microproofs 2023-09-25 17:28:19 -0400
  • 534eb62a07 fix: There was a stack overflow due to passing unbound types to a function microproofs 2023-09-25 13:05:27 -0400
  • 1cab479b81 fix: dependency hoisting for cyclic functions Add more tests microproofs 2023-09-24 21:15:12 -0400
  • 2f80d07132 fix: minor stuff including fixing the var name used in modify_cyclic_calls and carefully controling the functions we add to sorted dependencies microproofs 2023-09-22 17:54:43 -0400
  • f4310bcf33 feat: finished up mutual recursion Now we "handle" vars that call the cyclic function. That includes vars in the cyclic function as well as in other functions "handle" meaning we modify the var to be a call that takes in more arguments. microproofs 2023-09-22 17:22:19 -0400
  • ae3053522e feat: Update cyclic functions to be aware of being in a cycle. Finish the creation of cyclic functions The last part is to update vars that call into a function in the cycle microproofs 2023-09-21 17:40:36 -0400
  • 794fc93084 remove unused structs microproofs 2023-09-20 17:02:49 -0400
  • 0b38855ce4 add new enum for hoistablefunctions microproofs 2023-09-06 22:13:36 -0400
  • ced818c455 checkpoint commit microproofs 2023-09-05 17:27:13 -0400
  • 0fb9837ddf chore: change UserFunction to HoistableFunction to prepare for mututal recursion microproofs 2023-09-03 17:43:55 -0400
  • 984237075a Add new acceptance test scenario: 066 KtorZ 2023-02-17 17:10:48 +0100
  • 74b8ab62b2 chore: add comments microproofs 2023-09-03 16:42:06 -0400
  • a4aa51ed2d WIP: first part of mutual recursion is done. This involves creating the function definition and detecting cycles. The remaining part is to "fix" the call sites of the mutually recursive functions microproofs 2023-09-03 16:29:27 -0400
  • ecc5769c64 fix: restore static binary builds Chris Gianelloni 2023-09-20 15:16:42 -0400
  • 5b018b7c07 test: add a test around a tuple of constructors when with many conditions microproofs 2023-09-20 16:20:42 -0400
  • 4ca8681ca0
         chore: commit example lock files rvcas 2023-09-20 13:26:49 -0400
  • 1ecdf38842
         fix: release rvcas 2023-09-20 13:03:38 -0400
  • ee4001d2c8
         chore: Release KtorZ 2023-09-20 18:03:46 +0200
  • 91d4cb9b12
         Fix a date in the CHANGELOG for 0.17.0 KtorZ 2023-09-20 18:02:39 +0200
  • 4650c64f6b update changelog microproofs 2023-09-20 11:51:01 -0400
  • f379039efc
         Fix record shorthand causing parsing ambiguity in if/else expressions. KtorZ 2023-09-15 09:40:40 +0200
  • 1dea348a2e
         chore: rust rover error rvcas 2023-09-13 21:29:05 -0400
  • 7b915b7dcf
         chore: allow clippy::arc_with_non_send_sync in tests rvcas 2023-09-13 19:07:45 -0400
  • d808197507
         chore: clippy fix rvcas 2023-09-13 18:17:59 -0400
  • bc0824f4eb
         chore: new aiken.lock files for examples rvcas 2023-09-13 18:17:40 -0400
  • 9a4f181a0f
         chore: clippy fix rvcas 2023-09-13 17:19:31 -0400