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

Commit Graph

  • cbf3ef2854 Add new Prelude alias: 'Map' KtorZ 2024-04-03 11:23:08 +0200
  • d7574e738f fix: remaining cargo tests microproofs 2024-04-01 17:18:25 -0400
  • 999e408a28 fix some more tests microproofs 2024-03-31 16:50:30 -0400
  • 7b5ad961e2 fix: found issue with record access on Pairs microproofs 2024-03-31 01:27:00 -0400
  • cb1ca84dad fixing more tests microproofs 2024-03-31 00:53:04 -0400
  • 30dd1f60e7 small simplification microproofs 2024-03-30 13:38:07 -0400
  • 75b076552c feat: Do a major overhaul on how we check types to allow for match patterns instead of if statements Also fix one more test microproofs 2024-03-30 13:35:42 -0400
  • 3c332ca42a Few more places in codegen where we need to be able to deal with Pair records microproofs 2024-03-29 16:05:16 -0400
  • 26f68c2fb4 fix: found various unify and type issues while running tests microproofs 2024-03-29 13:00:39 -0400
  • fd226be51f add Pair type to prelude microproofs 2024-03-28 16:20:18 -0400
  • a8c8cf41cf Finishing up codegen changes for pair microproofs 2024-03-28 13:59:56 -0400
  • 963d275bb8 continue progress on pair adding microproofs 2024-03-25 11:51:41 -0400
  • 21b60896f0 remove wild card match from tree functions Start working on supporting Pair clauses microproofs 2024-03-19 20:31:30 -0400
  • f950ae7d3d WIP: add new opcodes to Air and AirTree and update parts of codegen to handle the new pair type microproofs 2024-03-18 14:24:41 -0400
  • 9e78f0fc2a update for latest main microproofs 2024-03-18 11:24:13 -0400
  • 61a021f9e3 update pair to handle alias microproofs 2024-03-13 14:08:10 -0400
  • d05d8e7de6 Start working on separating pairs from 2 tuples in Aiken microproofs 2024-03-01 13:22:02 -0500
  • a9c8054819
         chore: update license rvcas 2024-05-01 13:56:32 -0400
  • db8eb6a108
         Provide more context for some panics KtorZ 2024-05-01 12:04:47 +0200
  • 925a11be69
         Check for args length when comparing types. Duh! KtorZ 2024-05-01 10:45:48 +0200
  • 24560e9acd
         fix: fixing bash messages Christopher Valerio 2024-04-28 17:21:19 -0600
  • 6c052f44a1
         fix: Adding better error messages Christopher Valerio 2024-04-28 17:18:37 -0600
  • 3c66da75d6
         Improving errors Christopher Valerio 2024-04-28 17:13:48 -0600
  • 9d4c09c722
         fix: Removing debugging flag Christopher Valerio 2024-03-29 15:56:05 -0600
  • 0b2786e335
         feat: aikup install completions scripts linux only Christopher Valerio 2024-03-29 15:55:31 -0600
  • 063f3d0835
         feat: Adding installation for fish and bash Christopher Valerio 2024-03-29 13:33:15 -0600
  • c5faffe946
         feat: adding oh-my-zsh support Christopher Valerio 2024-02-17 11:11:55 -0600
  • 949f16f34a
         rebase from main Christopher Valerio 2024-04-28 17:04:40 -0600
  • 945a3f743b feat: builtin wrapper reduction optimization microproofs 2024-04-26 19:24:04 +0200
  • 4f99c81dee
         chore: update changelog rvcas 2024-04-12 21:43:28 -0400
  • ff4ddfbe1b Simplifying PR per reviewers request Micah Kendall 2024-04-01 23:17:50 +1100
  • d39dbd6697 fmt Micah Kendall 2024-04-01 15:30:10 +1100
  • d25b8f91c7 feat: Emit keyword Micah Kendall 2024-04-01 15:16:35 +1100
  • 23713ce6fa
         chore: update changelog rvcas 2024-04-09 11:48:32 -0400
  • 17ddbfaafa chore: remove dbg rvcas 2024-04-05 12:26:43 -0400
  • 5fc338a1eb test: add some snapshot tests for export type rvcas 2024-04-04 17:03:22 -0400
  • 5cb1e23008 fix: program generate should only run after params and args are validated rvcas 2024-04-04 17:02:29 -0400
  • cac119338d feat(blueprint): a memoized program that only runs code gen every other time rvcas 2024-04-04 17:01:01 -0400
  • aa3896e92a feat(export): allow trace levels to be controlled rvcas 2024-04-04 15:08:12 -0400
  • 79ccc55499 feat(cli): print Export json to stdout rvcas 2024-04-03 19:18:47 -0400
  • dac3308620 feat(Project::export): use Export::from_function and transpose rvcas 2024-04-03 19:17:42 -0400
  • 8ed930ac5a feat: implement Export object based on blueprint rvcas 2024-04-03 19:16:15 -0400
  • 3cdb21ad6b feat(blueprint): make a helper public rvcas 2024-04-03 19:14:41 -0400
  • a11b1fa56a chore: cleanup validator creator method rvcas 2024-04-03 19:14:01 -0400
  • 9322020a5e feat(blueprint): re-export Error rvcas 2024-04-03 19:13:02 -0400
  • f50f7e42db feat(project): create export type rvcas 2024-04-03 14:15:08 -0400
  • 9d49be46b8 chore: add some docs to the uplc crate rvcas 2024-04-03 14:14:43 -0400
  • 033cc26313 fix: with_project no longer needs a seed rvcas 2024-03-04 13:04:35 -0500
  • 1d462314c4 feat: use new generate_raw function rvcas 2024-03-04 12:57:15 -0500
  • 7d67f1497c feat(export): implement basic command functionality rvcas 2024-03-01 11:32:36 -0500
  • b63bd9b9e0 feat(cli): add empty export commands rvcas 2024-02-29 13:01:40 -0500
  • 2abf626e25 chore(deps): bump h2 from 0.3.24 to 0.3.26 dependabot[bot] 2024-04-08 16:25:49 +0000
  • fdbe811bf1
         chore: update changelog rvcas 2024-04-02 19:49:30 -0400
  • b27fcf38e5
         fix(check): collapse_links on tuple_index access closes #905 rvcas 2024-04-02 19:45:16 -0400
  • 7c5b9aa35e
         feat(lsp): find_node for TypedArgVia rvcas 2024-04-02 19:22:19 -0400
  • d22ee6e086
         chore: remove useless clone rvcas 2024-04-02 19:04:33 -0400
  • 0ba6d23efa
         chore: update changelog rvcas 2024-04-02 17:56:53 -0400
  • e02bc2a58a
         feat(lsp): find_node should traverse tail of list rvcas 2024-04-02 17:55:04 -0400
  • 98bd61a0cd
         chore: update changelog rvcas 2024-03-29 11:38:22 -0400
  • b5f27026e2
         fix: confusing public validator closes #902 rvcas 2024-03-29 11:32:04 -0400
  • ce2c723d0c
         chore: remove some dbg macros rvcas 2024-03-29 11:28:22 -0400
  • 21b1e29f09 chore: clippy fix microproofs 2024-03-27 16:39:52 -0400
  • a6003c3be9 chore: push changes in blueprint snapshot test microproofs 2024-03-27 15:57:29 -0400
  • a5a0734629 fix: casting a field type to Data with expect and traces on was assuming the raw Data was of type constr microproofs 2024-03-27 15:52:23 -0400
  • 075668b52e
         chore: Release rvcas 2024-03-25 22:09:37 -0400
  • 54a89d3e69
         chore: update changelog rvcas 2024-03-25 22:05:25 -0400
  • a3f7b48ec3 Allow downcasting to data in piped function calls. KtorZ 2024-03-23 11:56:38 +0100
  • 4e8042fd06
         chore: Release KtorZ 2024-03-22 16:10:17 +0100
  • eee1d1bf1e
         Fix release date for v1.0.25-alpha. KtorZ 2024-03-22 16:07:29 +0100
  • 96387e3437
         Fixes #767 KtorZ 2024-03-22 16:04:09 +0100
  • 80858387f6
         chore: update changelog rvcas 2024-03-21 20:20:31 -0400
  • a09069b828
         fix: binop associativity formatting rvcas 2024-03-21 20:12:49 -0400
  • 0f9dbfd874
         Fixes #883. KtorZ 2024-03-21 18:20:19 +0100
  • ee280bc309 fix: only allow casting on top level Data rvcas 2024-03-21 11:53:49 -0400
  • c20ff6b160 fix: contains_opaque was never intended to be used for type equality rvcas 2024-03-21 11:30:01 -0400
  • 5cec2544b3 Nonsensical prints to be removed. KtorZ 2024-03-21 16:13:54 +0100
  • 25e9db4f6c Rename t1 -> lhs, t2 -> rhs in unify. KtorZ 2024-03-21 16:13:43 +0100
  • dc9bab4f5c Add extra test case. KtorZ 2024-03-21 16:13:06 +0100
  • bee2b712de Fixes #881. KtorZ 2024-03-21 09:44:26 +0100
  • 4f8e900aac
         fix: Discard not taken into account in backpassing rvcas 2024-03-20 17:53:17 -0400
  • 898ef74457
         fix: spans for backpassing args rvcas 2024-03-20 17:26:30 -0400
  • 8495f98c1d remove print microproofs 2024-03-17 16:26:10 -0400
  • 61936cb91e fix(codegen): Add tracing when checking for a constr vs another primitive microproofs 2024-03-17 16:25:17 -0400
  • d1ba8db889
         Do not generate documentation for empty modules. KtorZ 2024-03-15 21:40:57 +0100
  • 6515efeb73
         Implementing remaining shrinking strategies. KtorZ 2024-03-15 13:36:05 +0100
  • b09e0316fa
         Merge pull request #877 from aiken-lang/dependencies-pruning Matthias Benkort 2024-03-15 00:25:00 +0100
  • 9986bc6bfd
         Remove duplication between docs & compile KtorZ 2024-03-15 00:05:37 +0100
  • 1caed3e87c
         Use BTreeSet instead of HashSet whenever possible. KtorZ 2024-03-14 23:08:39 +0100
  • 3f254dbe6b
         Merge pull request #875 from aiken-lang/rvcas/expect_opaque Matthias Benkort 2024-03-14 19:43:47 +0100
  • fd50473a32
         Only compile modules the project depends on KtorZ 2024-03-14 19:29:51 +0100
  • 038c5b2d34
         Rewrite run_n_times to not be recursive but mutates arguments. KtorZ 2024-03-14 14:18:38 +0100
  • cdf564fc9d
         Expand 'ExpectOnOpaqueType' error help and label. KtorZ 2024-03-14 11:20:34 +0100
  • 0343aeca34
         Fix remaining insta snapshots. KtorZ 2024-03-14 11:06:53 +0100
  • 3055c5ef52
         Do not allow casting when rhs or lhs contain an opaque type. KtorZ 2024-03-14 11:00:17 +0100
  • 191a3e9134
         chore: weird thing from rebase rvcas 2024-03-13 20:21:33 -0400
  • e71470747f
         feat: fix some tests and add a failing one rvcas 2024-03-13 20:15:27 -0400
  • 9127dcdd6e
         Add note on the type-casting check. KtorZ 2024-03-13 13:25:51 +0100
  • 8f31b45e36
         Fix allow_casting condition in unification KtorZ 2024-03-13 13:25:30 +0100
  • f10cf73905
         Rework 'is_opaque' to also check for inner types. KtorZ 2024-03-13 13:14:38 +0100
  • 22b618116e
         rename function argument for clarity KtorZ 2024-03-13 13:07:07 +0100