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

Commit Graph

  • 6740107256 add acceptance test 17 microproofs 2023-05-20 17:02:57 -0400
  • dda8c4de7a adding more tests for code gen. microproofs 2023-05-20 15:29:13 -0400
  • ccb2d0b7ee urgent nix patch Micah Kendall 2023-05-20 06:24:20 +0800
  • 709d10d000 [create-pull-request] automated change rvcas 2023-05-18 05:35:10 +0000
  • d68d4656df
         feat(aiken-new): output a github action rvcas 2023-05-18 01:31:07 -0400
  • 70b1911b10 [create-pull-request] automated change MicroProofs 2023-05-17 22:11:47 +0000
  • 8e60234562 chore: Release microproofs 2023-05-17 18:04:45 -0400
  • c2904d15ba chore: prepare changelog for release microproofs 2023-05-17 18:01:14 -0400
  • 173154e406 fix: (code gen): expect type now properly tracks constructor dependency. This was specific to code gen generated functions. microproofs 2023-05-17 17:56:01 -0400
  • 6b58d643de update changelog microproofs 2023-05-16 16:29:12 -0400
  • 340ed3b6a5 fix: case where identity function was used as a param. This was causing a free unique. The fix is after stripping applied usage of identity, we then check if it is passed around and if so we leave in the function declaration. microproofs 2023-05-16 16:21:37 -0400
  • d6afaa7540 [create-pull-request] automated change rvcas 2023-05-15 02:09:45 +0000
  • 83d9172073
         chore: add next section to changelog rvcas 2023-05-14 22:07:45 -0400
  • f2d8c8938c
         chore: Release rvcas 2023-05-14 21:25:29 -0400
  • 327ff71af0
         chore: prepare changelog for release rvcas 2023-05-14 21:24:35 -0400
  • f448cd111c update changelog microproofs 2023-05-14 18:32:01 -0400
  • 4838ebd39e feat: record modules are no longer unimplemented for no fields refactor: remove some clones and use a ref instead test: add acceptance test 81 microproofs 2023-05-14 18:22:07 -0400
  • 3356e2ecd0 fix: nested constrs with a single index was ignoring fields microproofs 2023-05-14 17:33:01 -0400
  • 271c22db1a [create-pull-request] automated change rvcas 2023-05-12 18:39:30 +0000
  • 33f36a738b
         chore: update readme rvcas 2023-05-12 14:36:23 -0400
  • 252f829825 forgot one addition to changelog microproofs 2023-05-11 18:16:48 -0400
  • 98ae94f443 changelog update microproofs 2023-05-11 18:12:07 -0400
  • c3eab4cc2a chore: fix up when tuple deconstruction test add inline test for optimization tests add some more builder functions microproofs 2023-05-11 18:06:46 -0400
  • 1fb31e246c
         fix: better conditional comp for wasm rvcas 2023-05-11 16:59:54 -0400
  • 312682e567 [create-pull-request] automated change rvcas 2023-05-10 03:21:32 +0000
  • e1a75391a1
         chore: Release rvcas 2023-05-09 23:16:59 -0400
  • ce7bdea7be
         chore: update changelog rvcas 2023-05-09 23:16:27 -0400
  • 0c3dc0580a chore: add if_else optimization test microproofs 2023-05-09 19:09:24 -0400
  • 6456001cbc fix: the uplc optimization tests were missing intern add builtin force reduce tests microproofs 2023-05-09 18:55:53 -0400
  • 419b946a82 fix: wrap_data_reduce optimization should leave constr data and unconstr data untouched. microproofs 2023-05-09 16:56:50 -0400
  • 4b8fd1769a chore: change pattern todos to have a better error message microproofs 2023-05-08 16:27:43 -0400
  • 49898f7420 fix: to_data_builtin to operate on arg not func result microproofs 2023-05-08 16:04:41 -0400
  • b36cf1c029 chore: refactor default functions in uplc_code_gen. feat: Add an identity optimization to remove functions that return the argument only. microproofs 2023-05-08 15:36:40 -0400
  • d97aba430a fix github action nix waalge 2023-04-29 14:38:50 +0000
  • d19fc5b7a3 bump flake and change inputs waalge 2023-04-29 13:58:31 +0000
  • c6253d6074 bump flake and change inputs waalge 2023-04-29 13:26:01 +0000
  • d2dbae1cbf fix: Negative numbers now show up as a constant instead of 0 - that number microproofs 2023-04-30 14:44:54 -0400
  • f601ff4703 [create-pull-request] automated change MicroProofs 2023-04-28 21:16:06 +0000
  • b1728b57b8 chore: Release microproofs 2023-04-28 17:11:56 -0400
  • 42ad45ee41 chore: prepare changelog for release microproofs 2023-04-28 17:07:27 -0400
  • 332ce266da changelog update microproofs 2023-04-28 16:55:21 -0400
  • 7201163b77 fix: better function hoisting for code gen functions mainly code gen function dependencies won't be hoisted to the top. microproofs 2023-04-28 16:52:23 -0400
  • 0d0c96deda commit validator changes and tests microproofs 2023-04-28 16:47:50 -0400
  • b108c0f610 chore: add optimization test on unwrap data microproofs 2023-04-27 12:17:57 -0400
  • 8b11844282 clippy fix microproofs 2023-04-26 17:40:27 -0400
  • c3184c544c fix: wrap data reduce had the wrong argument called in recursively, thus skipping over cases that should have been reduced chore: Add unit tests on for uplc optimizations microproofs 2023-04-26 17:22:16 -0400
  • af14d8be2e [create-pull-request] automated change KtorZ 2023-04-26 10:58:00 +0000
  • 67434c331e
         Merge pull request #513 from aiken-lang/nix-bump Matthias Benkort 2023-04-26 12:56:04 +0200
  • 29d76a3d89 bump cargo2nix Micah Kendall 2023-04-26 18:39:21 +0800
  • 02136ade74 Cargo.nix bump Micah Kendall 2023-04-26 18:24:16 +0800
  • 537bcf176a chore: changelog update microproofs 2023-04-25 14:10:07 -0400
  • b050018a37 test fix: blueprint change microproofs 2023-04-25 02:06:56 -0400
  • ae68ae9afb fix: wrong var usage on inline_direct_reduce, now it properly looks at applied func not arg microproofs 2023-04-25 01:57:04 -0400
  • baa2cef6c4
         feat(playground): impl clone for some errors rvcas 2023-04-24 17:13:20 -0400
  • ff87a4c60f fix: "when bool is" was not properly assigning term to body when not a complex clause microproofs 2023-04-23 12:51:23 -0400
  • 9bb1a88f23 fix: expect [] on a non-empty list now fails. microproofs 2023-04-21 17:21:08 -0400
  • 0066765ae5 convert acceptance tests 9-10 microproofs 2023-04-20 13:16:27 -0400
  • 016634fc38 fix: inline_direct_reduce now works properly microproofs 2023-04-19 22:45:38 -0400
  • 0b7d217bd0 convert acceptance test 8 microproofs 2023-04-19 22:25:55 -0400
  • 3891016bc3
         chore(gift_card): better input id rvcas 2023-04-21 12:07:18 -0400
  • 6ab42735b0
         fix: switch back to blockfrost kupmios + demeter setup showing strange behavior rvcas 2023-04-21 11:59:31 -0400
  • c9a762a13c
         fix: we weren't including the name unused var warning rvcas 2023-04-20 16:53:56 -0400
  • 2a8488d3c1
         Fix css media query for newly introduced navigation. KtorZ 2023-04-20 16:49:45 +0200
  • 6b1ed427e7
         Some minor stylistic improvements on docs generation KtorZ 2023-04-20 16:28:57 +0200
  • 4269cf20b0
         Fix erroneous "aiken new" command's output instructions KtorZ 2023-04-20 14:38:48 +0200
  • 774c3a2fcf [create-pull-request] automated change MicroProofs 2023-04-20 00:05:34 +0000
  • 672a900243 chore: converted acceptance tests 5-7 microproofs 2023-04-19 20:03:27 -0400
  • c2ee631d07 feat: new setup for the gen_uplc testing microproofs 2023-04-18 22:45:36 -0400
  • e4276d7f5a move uplc tests to new location microproofs 2023-04-18 16:22:55 -0400
  • 23a7e7e680 chore: convert acceptance test 5 microproofs 2023-04-18 14:31:36 -0400
  • 9de713803a feat: Add wrap data reduce which helps prevent unnecessary wrap to unwrap and vice versa. microproofs 2023-04-18 13:58:55 -0400
  • 022d557906 chore: convert acceptance test 4 microproofs 2023-04-17 17:43:21 -0400
  • 7da3ac2c99 chore: convert acceptance test 3 microproofs 2023-04-17 16:23:10 -0400
  • 7dd13f8d73 feat: add end to end tests to replace acceptance tests with strict uplc comparison. microproofs 2023-04-17 15:14:34 -0400
  • 661a9a7ab8 [create-pull-request] automated change rvcas 2023-04-17 14:57:38 +0000
  • 3182dac908
         chore: Release rvcas 2023-04-17 10:53:30 -0400
  • 092c2cecc1
         chore: prepare changelog for release rvcas 2023-04-17 10:52:37 -0400
  • e3f2fb5393
         fix: need to return deserialization error here rvcas 2023-04-17 10:50:40 -0400
  • 7de465ad35 [create-pull-request] automated change rvcas 2023-04-17 04:04:05 +0000
  • 1d60a02822 chore(deps): bump h2 from 0.3.16 to 0.3.17 dependabot[bot] 2023-04-17 00:44:18 +0000
  • b67d876f61
         chore: update changelog rvcas 2023-04-16 20:44:13 -0400
  • 3b351d36fb
         fix(aiken-lang): assignment as last expr in when and if rvcas 2023-04-16 19:55:47 -0400
  • a686ac023d [create-pull-request] automated change rvcas 2023-04-16 20:53:21 +0000
  • 3d0fa1a5f6
         chore: Release rvcas 2023-04-16 16:49:08 -0400
  • e0056e3acd
         chore: prepare changelog for release rvcas 2023-04-16 16:48:23 -0400
  • 98c61ca151
         feat(aiken-lang): anonymous functions rvcas 2023-04-16 16:38:43 -0400
  • 20edce2146
         Merge pull request #494 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-04-14 08:04:36 +0200
  • 3005ed6591 [create-pull-request] automated change rvcas 2023-04-13 17:53:46 +0000
  • f4406ed3fc
         chore: disable release notes for now rvcas 2023-04-13 13:52:30 -0400
  • 6b99071a8a
         chore: ci lol rvcas 2023-04-13 13:48:19 -0400
  • 63ddef7efb
         chore: Release rvcas 2023-04-13 13:37:12 -0400
  • 4941be4b8d
         chore: add cargo release metadata to toml rvcas 2023-04-13 13:34:53 -0400
  • 7105b8c155
         chore: minor changelog adjustments rvcas 2023-04-13 13:06:25 -0400
  • 12e8ebdf4f
         chore: revert version bumps rvcas 2023-04-13 13:03:43 -0400
  • d2c8978326
         Merge pull request #493 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-04-13 17:47:03 +0200
  • f660caedb6 [create-pull-request] automated change KtorZ 2023-04-13 15:40:35 +0000
  • 067e39286d
         Bump versions to 1.0.0-alpha, update CHANGELOG. KtorZ 2023-04-13 17:35:21 +0200
  • 00550f8ddb
         Add myself as co-authors for some of the project's crate KtorZ 2023-04-13 17:25:21 +0200
  • e2c78bdd3b
         Add min rust-version to crates KtorZ 2023-04-13 17:24:44 +0200
  • 74a7257ec9
         Add some more instructions to 'blueprint apply' command help text. KtorZ 2023-04-13 12:23:16 +0200