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

Commit Graph

  • 6dfac19942 bump flake. rm cargo patch. fix version waalge/bump-flake-cargo-1-85 waalge 2025-03-25 09:44:30 +0000
  • 9bd670767d
         Merge pull request #1135 from aiken-lang/fix_bytearray_comments Lucas 2025-03-24 00:32:25 -0400
  • 443a54d4ef
         chore: update change lang rvcas 2025-03-23 23:15:28 -0400
  • 871951933e
         chore: forgot a snapshot rvcas 2025-03-23 23:15:04 -0400
  • e1104f4293
         test: format_allow_comments_in_byte_array rvcas 2025-03-23 23:14:50 -0400
  • abcbe48267
         chore: add new snapshots and fix errors introduced from ast changes rvcas 2025-03-23 23:14:33 -0400
  • e5211cf792
         feat: add support for capturing spans inside of UntypedExpr::ByteArray and UntypedPattern::ByteArray rvcas 2025-03-23 23:11:07 -0400
  • cf4534be31 chore: update changelog rvcas 2025-03-23 21:26:29 -0400
  • 824431371e feat: centralize some Cargo.toml configs at root and upgrade to edition 2024 rvcas 2025-03-23 21:06:13 -0400
  • 5f9b5ac781 feat: basic ability to have many projects in one repo rvcas 2025-03-23 20:24:11 -0400
  • e0732c2ecf
         chore: add unreleased section to readme rvcas 2025-03-23 14:41:25 -0400
  • f03633edb4
         chore: Release rvcas 2025-03-23 14:25:50 -0400
  • 796eb2d98a
         Bump versions to v1.1.14 KtorZ 2025-03-21 11:05:21 +0100
  • 8ef1d1f5c7
         Anchor v1.1.14 CHANGELOG entry. KtorZ 2025-03-21 11:00:38 +0100
  • e872b9eb2e
         Merge pull request #1125 from aiken-lang/always-typecheck-trace-label Matthias Benkort 2025-03-21 10:41:04 +0100
  • 9354a5bad4
         Merge branch 'main' into always-typecheck-trace-label Matthias Benkort 2025-03-21 10:40:50 +0100
  • 37220241e5
         Merge pull request #1129 from aiken-lang/blueprint-apply-better-errors Matthias Benkort 2025-03-21 10:40:20 +0100
  • f3ed727a01
         Provide better errors when failing to match validators in blueprint apply. KtorZ 2025-03-20 13:01:38 +0100
  • 38252ef449
         Merge pull request #1126 from aiken-lang/capture_constructors Matthias Benkort 2025-03-19 11:07:49 +0100
  • c920347f32
         allow captures within constructor calls. KtorZ 2025-03-18 14:44:15 +0100
  • c88cbd8f28
         rework trace label evaluation strategy KtorZ 2025-03-18 09:05:08 +0100
  • 3fa25fecfa
         Merge pull request #1120 from aiken-lang/avoid-adjacent-sequence-fusions Matthias Benkort 2025-03-17 14:47:33 +0100
  • 0bca89908f
         Merge branch 'main' into avoid-adjacent-sequence-fusions Matthias Benkort 2025-03-17 14:35:59 +0100
  • 1d9a55e1d8
         Merge pull request #1121 from aiken-lang/unused-record-fields-hint-args-ordering Matthias Benkort 2025-03-17 14:35:37 +0100
  • 0d33d43da6
         Merge pull request #1119 from aiken-lang/types-as-namespaces Matthias Benkort 2025-03-17 14:35:24 +0100
  • 776aea86f5
         Fix hint when suggesting to use named fields KtorZ 2025-03-16 14:07:25 +0100
  • 54d41f73ea
         Fix adjacent sequence collapse in parser KtorZ 2025-03-16 13:42:44 +0100
  • 6a4a602391
         have namespaces work also for calls to record-like constructors. KtorZ 2025-03-16 13:17:05 +0100
  • 0ed94c18d7
         fill-in CHANGELOG. KtorZ 2025-03-16 01:11:28 +0100
  • 9d05011001
         factor out common logic for creating UnknownModule error in a cute little helper. KtorZ 2025-03-16 00:58:50 +0100
  • d7af418a63
         return dedicated error on invalid type field access, instead of confusing 'unknown module.' KtorZ 2025-03-16 00:45:20 +0100
  • 18d2beeadb
         add format test KtorZ 2025-03-16 00:29:39 +0100
  • b8f42dd555
         also support using Types as namespace when nested in module. KtorZ 2025-03-16 00:26:44 +0100
  • 2adc1fab66
         ensure import resolution is done according to local bindings KtorZ 2025-03-15 23:50:51 +0100
  • 983902fca8
         add extra regression test from stdlib. KtorZ 2025-03-15 23:00:55 +0100
  • 660ff7fa31
         adjust spans & tweak errors for maximum UX KtorZ 2025-03-15 22:28:49 +0100
  • b9052949f7
         hide internal functions from suggested hints on unknown modules/constructor/value. KtorZ 2025-03-15 21:11:46 +0100
  • 3db9828fe8
         allow use of types as namespaces for constructing values. KtorZ 2025-03-15 21:11:08 +0100
  • c66bca5829
         remove unused value constructors from modules type info KtorZ 2025-03-15 17:00:05 +0100
  • 79a7d80c7f
         Fix dependency namespacing in 'checks' tests. KtorZ 2025-03-15 16:59:53 +0100
  • 81713d93a0
         allow types to be used as namespace in patterns. KtorZ 2025-03-15 16:57:59 +0100
  • c556ada7d5
         introduce namespace enum to distinguish module select from type constructor select in patterns. KtorZ 2025-03-15 15:49:22 +0100
  • f786e80924
         Merge pull request #1117 from aiken-lang/fix-10999 Matthias Benkort 2025-03-06 18:42:43 +0100
  • 56e2c195cf
         Fix #1099. KtorZ 2025-03-06 13:05:12 +0100
  • 4ee7a48aab refresh benchmarks. KtorZ 2025-03-05 14:29:04 +0100
  • 3055fc5be1 chore: update changelog rvcas 2025-03-02 22:20:06 -0500
  • fc8c196e14 chore: fix issues for Pi rvcas 2025-03-02 17:12:40 -0500
  • ee4655328d chore: update changelog rvcas 2025-03-02 17:01:34 -0500
  • 0b1297f3b7 feat: add silent flag to all warning supression rvcas 2025-03-02 16:59:16 -0500
  • 97c382715f
         Merge pull request #1114 from aiken-lang/fixes Matthias Benkort 2025-03-02 13:51:28 +0100
  • 862fc490c1
         Use error's description for snapshot assertions + sort reported expected tokens KtorZ 2025-03-02 13:45:05 +0100
  • eadbc60a72
         Fill-in changelog. KtorZ 2025-03-02 12:59:54 +0100
  • 9b8137c056
         Better trace parsing + default behaviour. KtorZ 2025-03-01 16:59:22 +0100
  • 222d244bcf
         Do not allow empty continuation for backpassed assignments KtorZ 2025-03-01 16:58:41 +0100
  • b8bd91a589
         Merge pull request #1112 from aiken-lang/fix_changelog Matthias Benkort 2025-03-02 12:56:25 +0100
  • b9ef61e8e1
         chore: changelog was messed up rvcas 2025-02-26 10:16:00 -0500
  • 900bf91216 Version 1.1.13 Pi Lanningham 2025-02-26 10:07:00 -0500
  • 586f848929
         Merge pull request #1107 from aiken-lang/lsp-fixes Matthias Benkort 2025-02-23 01:14:16 +0100
  • 3c8bc7ebb6
         Also suggest qualified imports as quickfix when relevant. KtorZ 2025-02-22 19:04:34 +0100
  • c3f571334c
         Add utility to print trace line in LSP server output. KtorZ 2025-02-22 19:00:40 +0100
  • 1e64dc9aeb
         Tweak progress line title in LSP KtorZ 2025-02-22 18:05:13 +0100
  • 9f24a5c577
         Fix wrong use of 'UnknownVariable' instead of 'UnknownTypeConstructor' KtorZ 2025-02-22 17:53:58 +0100
  • a89694ed75
         Use less vertical space for type-constructor hint; KtorZ 2025-02-22 17:52:21 +0100
  • 62a4901252 chore: update changelog rvcas 2025-02-21 15:23:10 -0500
  • e589c46905 chore: update changelog rvcas 2025-02-21 15:22:39 -0500
  • 2fbbc56777 chore: reintroduce bench graph borders rvcas 2025-02-21 15:21:00 -0500
  • 725c6a67aa Changelog entry Pi Lanningham 2025-02-21 14:53:02 -0500
  • fb0e2b61ff fix: skip confirmation rvcas 2025-02-21 13:16:41 -0500
  • 216c5c31ec chore: bump pallas to 0.32.0 Simon Gellis 2025-02-19 10:48:38 -0500
  • d9a32c72eb feat: new github action for tagging releases rvcas 2025-02-18 18:10:16 -0500
  • 0da4f70c39 chore: Release Pi Lanningham 2025-02-18 15:24:16 -0500
  • 2971d82ff3 Update the changelog Pi Lanningham 2025-02-18 15:22:19 -0500
  • 7472428fed chore: don't use fork for now rvcas 2025-02-18 14:47:01 -0500
  • cc729a70ca Add changelog entry Pi Lanningham 2025-02-17 19:27:24 -0500
  • 3b21648cf9 make EvalResult fields public Pi Lanningham 2025-02-17 16:56:33 -0500
  • 18f15d2ac5 fix: clippy Pi Lanningham 2025-02-17 15:59:23 -0500
  • 4adf6f27ad Avoid wiping out traces when accessing logs Pi Lanningham 2025-02-17 15:55:33 -0500
  • 8115443990 fix: clippy Pi Lanningham 2025-02-17 15:42:46 -0500
  • ec6f1f84e2 fix: formatting Pi Lanningham 2025-02-17 15:39:24 -0500
  • 17a75d2481 Return an EvalResult alongside the redeemer Pi Lanningham 2025-02-17 15:16:20 -0500
  • e9bacf8f41 fix: nix builds waalge 2025-02-12 19:26:38 +0000
  • 90867f240b fix: better error logging when decoding tx_bytes by era Calvin Koepke 2025-02-13 09:52:34 -0700
  • 21c6a6a71d
         chore: remove stats from readme, it's cute but wastes space rvcas 2025-02-12 11:55:18 -0500
  • bf4fc5eb87
         chore: fix badge styles rvcas 2025-02-12 11:54:15 -0500
  • 7c3c5a500f
         pin textplots-rs fork to a specific revision & version. KtorZ 2025-02-11 14:32:21 +0100
  • 3bce2e2d78
         chore: Release KtorZ 2025-02-11 14:26:12 +0100
  • b26b599a97
         Update blueprint test vectors following 58d782fa KtorZ 2025-02-11 14:21:52 +0100
  • 172f7e1e01
         Fill-in CHANGELOG for #1074. KtorZ 2025-02-11 14:20:02 +0100
  • 3c2b631813
         Add 'Collecting' step to 'check' command output + warning for suspicious test filter KtorZ 2025-02-11 14:17:28 +0100
  • 58d782fa78
         Scope type-aliases per module in blueprint. KtorZ 2025-02-11 12:55:45 +0100
  • 94246bdb2b
         Merge pull request #1093 from aiken-lang/benchmarks-wrapup Matthias Benkort 2025-02-09 17:04:39 +0100
  • a6cdb5583d
         Make nix build optional. KtorZ 2025-02-09 16:57:43 +0100
  • d53f770d90
         minor tweaks and proof-reading. KtorZ 2025-02-09 16:53:58 +0100
  • 451179fd49
         Update CHANGELOG w.r.t benchmarks KtorZ 2025-02-09 16:28:42 +0100
  • 8edd8d37db
         fix benchmark output when either the sampler or bench fails KtorZ 2025-02-09 16:17:15 +0100
  • b4aa877d6a
         rework benchmarks output KtorZ 2025-02-09 15:21:45 +0100
  • 41440f131b
         rework sizing of benchmarks, taking measures at different points KtorZ 2025-02-08 18:26:02 +0100
  • 2dbc33e91f
         fuse together bench & test runners, and collect all bench measures. KtorZ 2025-02-08 17:40:07 +0100
  • a7f4ecef9d
         more aesthetic changes. KtorZ 2025-02-08 16:58:57 +0100
  • 37f721ff06
         fixup aesthetics KtorZ 2025-02-08 16:31:58 +0100