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

Commit Graph

  • 06347c3efa Add CHANGELOG entry. KtorZ 2023-09-08 16:23:12 +0200
  • c711a97e69 Throttle calls to package registry for version resolution KtorZ 2023-09-08 15:54:25 +0200
  • 15efeb3069 Remove unused code & data-type 'UseManifest' KtorZ 2023-09-08 15:10:48 +0200
  • 5381762e50 Rework logs around dependency fetching. KtorZ 2023-09-08 15:03:45 +0200
  • 76ff09ba0e Ensure that version resolution works offline KtorZ 2023-09-08 14:55:08 +0200
  • 87087a1811 Always check package status when version is not pinned KtorZ 2023-09-08 14:48:50 +0200
  • 3c3a7f2423 Define 'is_git_sha_or_version' to assert whether a version is 'immutable' KtorZ 2023-09-08 14:43:27 +0200
  • 65fb3a640a Remove dead-code. KtorZ 2023-09-08 14:42:06 +0200
  • a72628a4dc Auto-derive 'Debug' trait instance for types in deps KtorZ 2023-09-08 14:41:14 +0200
  • a45001376d fix: is_record was used incorrectly in code gen, the real solution was to look up the datatype and check constructors length microproofs 2023-09-13 00:33:02 -0400
  • d042d55d42 fix clippy warnings in code gen microproofs 2023-09-12 21:25:05 -0400
  • 9782c094b7
         Fix clippy suggestions. KtorZ 2023-09-08 16:21:07 +0200
  • 8ba5946c32
         Preserve escape sequence after formatting KtorZ 2023-09-08 12:12:11 +0200
  • 5cfc3de7bf
         Add CODEOWNERS KtorZ 2023-09-08 10:21:26 +0200
  • 6b70292dfb
         chore: cargo fmt rvcas 2023-09-06 21:10:50 -0400
  • 1de7b2866a
         feat(cli): add --deny to build, check, and docs rvcas 2023-09-06 17:19:44 -0400
  • 819a0a20e6 add tests for case and constr Fix a minor issue with decoding order microproofs 2023-09-02 21:25:34 -0400
  • c9b01ab365 chore: fill in cost model test: Add case and constr eval tests microproofs 2023-09-01 22:31:40 -0400
  • 85901dc141 chore: update cost model with placeholders for new terms to pass tests microproofs 2023-08-02 17:19:01 -0400
  • 40e1d39f8b Add placeholders for cost model microproofs 2023-08-02 11:16:14 -0400
  • 33d6d3049e add compute for the new terms constr and case microproofs 2023-08-02 00:02:23 -0400
  • e566c4e1de feat(uplc): add Case and Const terms microproofs 2023-08-01 22:33:25 -0400
  • dfe433ea46
         fix: trim whitespace when loading hex strings from files closes #720 rvcas 2023-08-31 18:22:09 -0400
  • 097d1fa893
         chore: update changelog rvcas 2023-08-31 18:01:52 -0400
  • 437a95bfe8
         fix: behave like rust with hyphens closes #722 closes #690 rvcas 2023-08-31 18:00:21 -0400
  • a87a8a7b35
         chore: update changelog rvcas 2023-08-31 17:41:36 -0400
  • dca09811c1
         fix: empty records crashing code gen closes #728 rvcas 2023-08-31 17:39:38 -0400
  • fb967d4c7b
         fix: uplc formatter of Data closes #716 rvcas 2023-08-31 17:20:48 -0400
  • 51c44c6a30 fix: add an assert for better error messages when doing empty types microproofs 2023-08-30 13:50:37 -0400
  • cd3a02416f chore: rm unused pub function waalge 2023-08-28 21:56:01 +0000
  • 756e16c14b fix: rename assert to expect waalge 2023-08-28 21:55:34 +0000
  • baa6917af5 Fix: Change type map length assert to check for greater than equals instead of equals to argument length microproofs 2023-08-29 21:59:15 -0400
  • d01766d735
         Merge pull request #721 from waalge/waalge/rm-mut Matthias Benkort 2023-08-29 21:00:05 +0200
  • 67986d9416 chore: build static binaries for Linux/Windows Chris Gianelloni 2023-08-28 15:40:35 -0400
  • b9d79a83bb chore: rm unused pub function waalge/rm-unused-pub-func waalge 2023-08-28 21:56:01 +0000
  • fe46f7ba7c fix: rename assert to expect waalge 2023-08-28 21:55:34 +0000
  • d4b9f22ac3 rm unnecessary mut waalge 2023-08-26 16:30:44 +0000
  • 1715496d5b
         chore: update resolver in virtual workspace rvcas 2023-08-24 15:51:39 -0600
  • 0e7f1597bf
         chore: add release instructions in contributing.md rvcas 2023-08-24 15:43:26 -0600
  • b075d85b40
         chore: Release rvcas 2023-08-24 15:05:12 -0600
  • b3494a7f63
         chore: fix versions rvcas 2023-08-24 15:04:52 -0600
  • a7062ccb88
         chore: fix versions rvcas 2023-08-24 15:04:19 -0600
  • 747e057d05
         fix: tags rvcas 2023-08-24 15:00:09 -0600
  • 379368c530
         Fix clippy. KtorZ 2023-08-22 13:30:30 +0200
  • 2f0211a7b1
         Bump all version manually because cargo workspaces didn't work. KtorZ 2023-08-22 13:27:10 +0200
  • 780a61e3e8
         Release 1.0.16-alpha KtorZ 2023-08-22 13:18:48 +0200
  • d3fe241ccd
         Wrap-up CHANGELOG KtorZ 2023-08-22 13:14:35 +0200
  • 7883aff5f7
         revert 619b73d03e KtorZ 2023-08-22 12:59:36 +0200
  • 89c55a23fa chore: Release microproofs 2023-08-19 20:17:00 -0400
  • 0eec4c188a update changelog for v1.0.15 microproofs 2023-08-19 20:11:24 -0400
  • 084b900b2a change: traverse_with_tree now has a boolean to determine when with is called fix: Opaque types are now properly handled in code gen (i.e. code gen functions, in datums/redeemers, in from data casts) chore: add specific nested opaque type tests to code gen microproofs 2023-08-19 20:07:37 -0400
  • c6f764d2db Refresh Cargo.lock & fill-in CHANGELOG. KtorZ 2023-08-19 16:42:34 +0200
  • 139226cdab Support interactive blueprint parameter application. KtorZ 2023-08-19 16:40:11 +0200
  • c1b8040ae2 Add helper for splitting a long line into multiple lines. KtorZ 2023-08-19 16:39:01 +0200
  • 961e323c36 Enable iterating over validator's parameters with a callback KtorZ 2023-08-19 16:38:44 +0200
  • 051e9a6851 Add some utility functions for displaying Term/PlutusData KtorZ 2023-08-19 16:37:20 +0200
  • 690e41261e
         chore: Release rvcas 2023-08-16 23:30:21 -0400
  • be20426329
         chore: update changelog rvcas 2023-08-16 23:16:56 -0400
  • f5a49c4df4
         fix: aliased import of single type throws compiler error closes #707 rvcas 2023-08-16 23:15:51 -0400
  • 6d90c27587
         chore: update changelog rvcas 2023-08-16 23:06:53 -0400
  • 2600937447
         chore: cargo fmt rvcas 2023-08-16 22:56:22 -0400
  • b138cb0ccd
         chore: update changelog rvcas 2023-08-16 22:55:59 -0400
  • 649039c993 tx simulate still need fee work logicalmechanism 2023-08-16 12:04:07 -0700
  • 050c41c8dc tx simulate returns a vector of exbudgets now logicalmechanism 2023-08-16 12:00:23 -0700
  • 8cf92ce8ed `aiken new`: Try to get the latest tag of stdlib Ariady Putra 2023-08-17 02:19:54 +0700
  • c95f43ae07 add one more test microproofs 2023-08-16 21:54:06 -0400
  • 20aa54b5ca fix: last test fixed microproofs 2023-08-16 20:41:46 -0400
  • a45e04fd9b fix: using the wrong var for pattern matching microproofs 2023-08-16 19:59:29 -0400
  • 2456801b17 fix list clauses with guards and add more tests microproofs 2023-08-16 16:31:44 -0400
  • f4d0f231d7
         test: fix acceptance tests rvcas 2023-08-16 14:52:06 -0400
  • 80e4a5c6a2
         chore: remove build folder rvcas 2023-08-16 14:17:33 -0400
  • ae216bd932
         test(ci): run examples too rvcas 2023-08-16 13:33:54 -0400
  • 6ecb3f08b0
         chore: default stdlib on new is 1.5.0 rvcas 2023-08-16 13:24:10 -0400
  • 0ff64e3bac test: check and format tests for logical op chain rvcas 2023-08-14 22:05:48 -0400
  • e14d51600f feat(format): logical op chain rvcas 2023-08-14 22:01:20 -0400
  • 2c2f3c90fb feat: new snapshots rvcas 2023-08-14 17:20:32 -0400
  • 05eb281f40 chore: can safely remove this at this point rvcas 2023-08-14 17:20:02 -0400
  • e4ef386c44 feat(tipo): inference for and/or chains rvcas 2023-08-14 17:19:24 -0400
  • ab3a418b9c feat(parser): add support for and/or chaining rvcas 2023-08-14 17:18:11 -0400
  • 4a1ae9f412 set eval to public microproofs 2023-08-12 16:42:23 -0400
  • ca4a9fcd3d chore: make eval function and SlotConfig public microproofs 2023-08-11 20:33:08 -0400
  • 8af253e1df chore: make slot_to_begin_posix_time a public function microproofs 2023-08-11 20:05:22 -0400
  • 2f7784f31e chore: update changelog expecting a type on List<Data> from data now only checks that type is a list and not each element microproofs 2023-08-10 23:01:46 -0400
  • eda388fb29 test(aiken-lang): add a new test for list edge case in when clause patterns microproofs 2023-08-08 20:47:35 -0400
  • 252f68de17 fix clippy microproofs 2023-08-07 19:08:18 -0400
  • 367dabafb5 fix: update last 2 tests for new recursion optimization microproofs 2023-08-07 19:06:00 -0400
  • f464eb3702 Cargo fmt + clippy, with latest rust Pi Lanningham 2023-08-07 18:43:44 -0400
  • 0d99afe5e2 Cargo fmt Pi Lanningham 2023-08-07 18:34:11 -0400
  • 90c7753201 update tests for new recursion optmization microproofs 2023-08-07 18:17:53 -0400
  • 65984ed15b fix: move where we call the with in traverse_tree_with microproofs 2023-08-07 16:25:08 -0400
  • dba0e11ba7 Add other shadowing cases Pi Lanningham 2023-08-07 16:23:28 -0400
  • fc948f0029 Add the same optimization to dependent functions Pi Lanningham 2023-08-03 12:52:38 -0400
  • c45caaefc8 Rudimentary implementation Pi Lanningham 2023-07-28 21:55:50 -0400
  • 09f889b121 Add codegen for recursive statics case Pi Lanningham 2023-07-28 21:41:37 -0400
  • 586a2d7972 Add recursive_static_params to AIR Pi Lanningham 2023-07-25 23:06:57 -0400
  • 71a941e0b0 Update changelog microproofs 2023-08-07 12:11:39 -0400
  • 6254eeb2ed add acceptance test 88 microproofs 2023-08-07 11:55:25 -0400
  • f7d278a472 fix: 2 acceptance tests were throwing errors due to exhaustiveness checker microproofs 2023-08-06 18:54:01 -0400
  • 1d9878c5ee fix: code gen tests now up to date using trace fix: Formatter should take ErrorTerm and return "fail" fix: fail with no reason should just return ErrorTerm microproofs 2023-08-06 18:49:50 -0400
  • 624fdee9ea keep traces in tests microproofs 2023-08-04 15:37:11 -0400