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

Commit Graph

  • 6de1d91104
         Create dedicated error when environment isn't found. KtorZ 2024-08-04 11:02:15 +0200
  • 2dca0c4185
         Ensure env modules dependencies are properly handled. KtorZ 2024-08-04 10:33:58 +0200
  • fbe2f82582
         Thread down environment module from cli down to the type-checker KtorZ 2024-08-04 10:27:32 +0200
  • c9d0da0c22
         Parse sources of conditional env modules. KtorZ 2024-08-03 17:42:55 +0200
  • 4645257e62
         Prune pallas dependencies. KtorZ 2024-08-03 14:14:49 +0200
  • 09c065d332
         Merge pull request #991 from aiken-lang/pattern-match-bytearrays Matthias Benkort 2024-08-03 14:09:12 +0200
  • f14dfdf8e1
         Allow pattern-matching on bytearrays KtorZ 2024-08-02 13:28:07 +0200
  • ea032c90f2
         Add missing CHANGELOG entries. KtorZ 2024-08-02 12:08:25 +0200
  • 86aed1baa5 Enable 'mk_pair_data' builtin. KtorZ 2024-07-27 14:09:45 +0200
  • 643e43f8aa Fix zero-arg builtins invokations. KtorZ 2024-07-27 11:31:40 +0200
  • 1c58da4d86 Support mk_cons builtin KtorZ 2024-07-27 11:30:00 +0200
  • bf5a406ffb Remove clause guards. KtorZ 2024-08-01 16:14:56 +0200
  • b28d4a6e9f
         Add input reference to ReferenceInputNotFound error. KtorZ 2024-08-01 15:29:39 +0200
  • 34d5bc71b1
         Add one more edge-case test for multiline. KtorZ 2024-08-01 15:21:53 +0200
  • 91aa435f37
         Fix 'multiline' truncating last character of each line. KtorZ 2024-08-01 15:16:46 +0200
  • b8bb480bff
         Fix 'aiken new' workflow template KtorZ 2024-07-26 13:55:44 +0200
  • 4645fd3e28
         chore: Release rvcas 2024-07-25 08:28:15 -0400
  • 732147b36a
         chore: remove msi installer rvcas 2024-07-25 08:26:45 -0400
  • 53b5a5ccee
         Screw windows too, until next non-alpha. KtorZ 2024-07-25 12:24:47 +0200
  • 9dc4c915f3
         Manually set windows version. KtorZ 2024-07-25 12:07:27 +0200
  • 9e08f9b4e6
         Re-add wix file for Windows release. KtorZ 2024-07-25 11:48:27 +0200
  • 26c3e95a06
         screw musl targets, for now. KtorZ 2024-07-25 11:29:52 +0200
  • 28c1922600
         Also include pkg-config for musl build. KtorZ 2024-07-25 10:23:30 +0200
  • d36edb4e01
         Add libssl-dev build dependency for musl target. KtorZ 2024-07-25 10:17:29 +0200
  • 49190b485a
         chore: Release KtorZ 2024-07-25 09:58:06 +0200
  • 327449e320
         Update CHANGELOG, bump date, document latest fixes & optimizations KtorZ 2024-07-25 09:51:57 +0200
  • 594a304190
         Merge pull request #980 from aiken-lang/multivalidator-plus-optimization Matthias Benkort 2024-07-25 09:47:47 +0200
  • 63863c948f
         Merge pull request #979 from aiken-lang/fix_casting_inference Matthias Benkort 2024-07-25 09:40:27 +0200
  • c286ada08d
         clippy fix microproofs 2024-07-24 11:29:55 -0400
  • 1001e83374
         Updated acceptance test runs microproofs 2024-07-24 10:34:29 -0400
  • dfce9c1d96
         feat: Add multivalidator as an AIR tree opcode. feat: Add uplc eval optimization microproofs 2024-07-24 09:59:12 -0400
  • 67493ad847
         Fix casting inferrence on patterns KtorZ 2024-07-24 10:45:45 +0200
  • 987a5fa779
         Set a date for v1.0.30-alpha release. KtorZ 2024-07-24 09:39:45 +0200
  • 06ac851458
         chore: update changelog rvcas 2024-07-23 11:20:42 -0400
  • 967c264bfe
         Merge pull request #978 from aiken-lang/supercharge_traces Matthias Benkort 2024-07-23 08:53:46 +0200
  • 89890f3b4b
         Fill-in CHANGELOG KtorZ 2024-07-19 12:44:12 +0200
  • 30ddfa23d9
         Provide better parse errors in trace when using comma instead of colon. KtorZ 2024-07-19 12:26:26 +0200
  • 2922c0aa6f
         Display expected patterns/tokens in parse error when applicable. KtorZ 2024-07-19 12:16:13 +0200
  • d6fd37c80e
         Rework 'compact' mode for traces KtorZ 2024-07-19 10:51:47 +0200
  • a9d782e206
         re-introduce code-gen patch, but with a test. KtorZ 2024-07-19 09:40:05 +0200
  • 5afcc9b0c1
         Remove unnecessary code_gen patch. KtorZ 2024-07-19 09:22:19 +0200
  • f8236817fe
         Allow serialisable (Data-able) arguments to trace KtorZ 2024-07-18 17:19:12 +0200
  • beb5ac4643
         Add 'diagnostic' to the prelude, as well as companion functions. KtorZ 2024-07-18 16:07:31 +0200
  • 754ed07408
         Type-check variadic traces & desugarize them. KtorZ 2024-07-18 10:02:23 +0200
  • f9719af23e
         Allow variadic arguments in trace KtorZ 2024-07-18 08:32:26 +0200
  • 976262c2e6
         Allow discard in expect. KtorZ 2024-07-17 18:11:09 +0200
  • 61a991cb23
         Merge branch 'benchmark-knights' KtorZ 2024-07-17 13:01:32 +0200
  • 46b82fac86
         Split benchmarks out of acceptance tests job. KtorZ 2024-07-17 13:01:17 +0200
  • e074037838
         Move benchmarks one level up. KtorZ 2024-07-17 13:00:57 +0200
  • 30d3898b5b
         Add Rust cache to continuous integration workflow. KtorZ 2024-07-17 12:56:41 +0200
  • 52974aed75
         Add clausify benchmark. KtorZ 2024-07-17 12:51:58 +0200
  • 20e606e645
         Add benchmarks to continuous integration workflow. KtorZ 2024-07-16 17:16:11 +0200
  • 28d2ee7186
         Delete examples/benchmarks/.github/workflows/tests.yml Matthias Benkort 2024-07-16 17:13:49 +0200
  • f14dab9547
         Collect results from previous versions in a README. KtorZ 2024-07-16 17:13:03 +0200
  • 5b0a1716b5
         Fix mk_starts and second_last in knights benchmarks. KtorZ 2024-07-16 14:48:51 +0200
  • 65afb11546
         Implement quicksort on chess board. KtorZ 2024-07-16 14:47:17 +0200
  • f2ff9a2ee3
         Review knights benchmark and update dependencies. KtorZ 2024-07-16 14:46:36 +0200
  • 1d16cbf386
         more benchmark work microproofs 2024-01-13 13:21:46 -0500
  • c62821e02a
         continue porting over knights example microproofs 2024-01-11 14:44:51 -0500
  • 8f825f68b1
         commit new example for benchmarking microproofs 2024-01-10 19:27:21 -0500
  • fe7d744946
         Split continuous workflow in three jobs. KtorZ 2024-07-16 17:41:14 +0200
  • 0145237bbe
         Version wix boilerplate. KtorZ 2024-07-16 17:33:41 +0200
  • e9f7e96970
         Update cargo-dist setup and generated artifacts. KtorZ 2024-07-16 17:30:11 +0200
  • c52ba9c873
         Merge pull request #971 from rober-m/main Matthias Benkort 2024-07-02 15:46:23 +0200
  • fef3626498
         Fix: Nix expression doesn't work in Darwin Robertino 2024-07-02 11:51:46 +0100
  • 5da7db355f
         Use ubuntu-22.04 for linux releases, and add musl target. KtorZ 2024-07-01 17:34:07 +0200
  • 8b86ee8219
         Merge pull request #962 from waalge/w/bump-nix Matthias Benkort 2024-07-01 15:43:09 +0200
  • 5bdea11cc1 fix: add a new assignment kind instead of using a boolean rvcas 2024-06-25 18:35:42 -0400
  • f1cfc84e67 Fix tree traversal node selection for a few of the enum variants microproofs 2024-06-25 18:13:07 -0400
  • 9907dd6c64 Fix unit tests microproofs 2024-06-25 13:45:58 -0400
  • 4bd9125b86 Fix delay of arguments to be exactly the same as codegen tests microproofs 2024-06-25 09:21:44 -0400
  • f695276bf7 Fix codegen tree traversal to be updated for the otherwise field and future proof the traversal function microproofs 2024-06-24 16:30:56 -0400
  • b5ac5bc949 Add current fixed tests and start working on codegen fix microproofs 2024-06-15 13:37:44 -0400
  • f0f1296906 Fix more tests microproofs 2024-06-14 01:16:01 -0400
  • cc9df04093 Fix missing delay in list_access_to_uplc. Also fix one of the unit tests. microproofs 2024-06-13 19:55:36 -0400
  • 41b941e0e3 Fix castfromData in record access cases microproofs 2024-06-13 14:06:11 -0400
  • 00d1927dad Add few more test cases for the parser and type-checker. KtorZ 2024-06-13 15:26:07 +0200
  • aeb079334e chore: this test doesn't make sense anymore rvcas 2024-06-12 17:22:05 -0400
  • 8f343abaa1 chore: add new snapshots rvcas 2024-06-12 17:12:37 -0400
  • e09f6bbc87 delay otherwise branch to prevent premature errors microproofs 2024-06-12 13:31:21 -0400
  • df939e20ce missed a Air Op Code and updated how we pass in otherwise for assignment microproofs 2024-06-12 01:29:14 -0400
  • 7da35d5d73 chore: add acceptance tests for if/is rvcas 2024-06-11 20:07:46 -0400
  • 579abb7d3d fix: no need to check exhaustiveness during if/is rvcas 2024-06-11 19:58:32 -0400
  • 5024bd3f9c feat: code gen support for if/is rvcas 2024-06-11 19:29:55 -0400
  • 1b8805825b feat: impl if/is rvcas 2024-06-11 19:05:55 -0400
  • b2c42febaf chore: move if_branch to helper parser rvcas 2024-06-11 12:49:19 -0400
  • d99c014bf7 chore: correct the usage of a legacy numeric constant Dima S 2024-06-25 09:27:59 +0200
  • 1e195156d7 chore(ci): Bump actions/checkout from 3 to 4 Dima S 2024-06-24 23:11:04 +0200
  • 372b186103 nix use rustc 1.79. Add analyzer to devshell w/bump-nix waalge 2024-06-19 15:18:18 +0000
  • de870e2529
         feat: warning on compiler version mismatch rvcas 2024-06-13 20:26:39 -0400
  • 0ebffa2b9e
         Fix few error messages. KtorZ 2024-06-13 14:54:30 +0200
  • 3ddd088780
         Merge pull request #955 from aiken-lang/allow-complete-patterns-in-args Matthias Benkort 2024-06-07 16:10:06 +0200
  • 858dfccc82
         Authorize complete patterns as function args. KtorZ 2024-06-07 15:23:33 +0200
  • b6da42baf2
         Bump 'is_validator_param' up from 'ArgName' to '...Arg' KtorZ 2024-06-07 11:32:05 +0200
  • 4d42c6cb19
         Introduce 'ArgBy' to allow defining function arg not only by name. KtorZ 2024-06-07 11:17:16 +0200
  • 257bd23019
         update changelog KtorZ 2024-06-06 11:21:17 +0200
  • 216dab99d4
         chore: Release KtorZ 2024-06-06 11:02:27 +0200
  • 87f4ed359b
         Update changelog: set a release date. KtorZ 2024-06-06 11:02:02 +0200
  • 71ed844db0
         Merge pull request #952 from aiken-lang/auto-merge-imports Matthias Benkort 2024-06-05 10:11:12 +0200
  • d7ec2131ef
         Automatically merge import lines from same module. KtorZ 2024-06-04 10:35:21 +0200