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

Commit Graph

  • 3b4c6cb2aa fix: missing message error term in one place for type is void microproofs 2024-02-06 13:58:55 -0500
  • e25be7643e discards will now check for type too. microproofs 2024-02-06 11:21:25 -0500
  • c03d12b98c initial thoughts waalge/moonrat waalge 2024-02-06 11:12:44 +0000
  • 982eff449e chore: Release microproofs 2024-01-31 13:48:20 -0500
  • b46206bfe2
         chore: update changelog rvcas 2024-01-31 13:47:07 -0500
  • bcc2a0fd12 update changelog microproofs 2024-01-31 13:42:46 -0500
  • 258c224e21 update changelog microproofs 2024-01-31 13:42:46 -0500
  • d8cdeba6fd chore: lastest acceptance test lock and plutus.json files microproofs 2024-01-31 00:07:43 -0500
  • 551941392e fix: assert had one minor edge case due to final clauses with lists microproofs 2024-01-31 00:05:09 -0500
  • 444bccf19c fix: change list_access_to_uplc to properly handle list discards microproofs 2024-01-30 23:53:33 -0500
  • a83220c8d9 fix: module_name was being overrided by the moduleselect field microproofs 2024-01-30 23:52:50 -0500
  • 3a534271e7
         chore: update changelog rvcas 2024-01-30 12:35:50 -0500
  • 81e93b4309 Introduce cli aliases for check and build subcommands Kuly14 2024-01-18 14:34:32 +0100
  • 3a7a0c1971
         chore: remove unused deps rvcas 2024-01-30 12:28:18 -0500
  • 16c15ee48a
         fix: nix stuff for @waalge rvcas 2024-01-29 18:37:49 -0500
  • 8584adc1b7 chore: Release microproofs 2024-01-25 15:10:11 -0500
  • ede6c22267 remove traces from test 89 microproofs 2024-01-25 14:24:21 -0500
  • 115ff61abe update changelog again microproofs 2024-01-25 14:22:45 -0500
  • 78d2049d7b fix: Using the wrong match string for discards in FieldsExpose Also need to return a lambda wrapped term from list_access_to_uplc under all conditions microproofs 2024-01-25 14:18:36 -0500
  • 09ca2b4955
         fix: nix stuff rvcas 2024-01-25 11:36:56 -0500
  • defd36ad8c
         chore: Release rvcas 2024-01-25 11:07:32 -0500
  • 1ab6d050af
         chore: bump pallas rvcas 2024-01-25 11:07:18 -0500
  • 589bb9a4b3
         chore: change how we depend on pallas rvcas 2024-01-24 21:26:48 -0500
  • 9d563612f3
         chore: prep changelog for release rvcas 2024-01-24 20:40:53 -0500
  • 4c00c9e7de update changelog microproofs 2024-01-24 20:03:57 -0500
  • 1431bec32f update changelog microproofs 2024-01-24 19:50:52 -0500
  • b15e6c296b Add a few more expect cases to test 40 microproofs 2024-01-24 16:21:06 -0500
  • ae0b428658 update tests to account for new verbose tracing microproofs 2024-01-24 15:49:06 -0500
  • 00e1942999 another test fix microproofs 2024-01-23 16:08:07 -0500
  • dc61e11813 fix test microproofs 2024-01-23 16:01:53 -0500
  • 36a0b317ad fix condition to account for tail presence microproofs 2024-01-23 16:00:06 -0500
  • 3c81ebf137 updating more of the tests microproofs 2024-01-23 15:04:24 -0500
  • 51f1f2b67f change redundant if branches microproofs 2024-01-23 12:36:56 -0500
  • e523ae63f3 fixed some of the tests microproofs 2024-01-22 17:58:11 -0500
  • 3a44c45b48 fix: one builtin error wasn't be caught with a messaged exception microproofs 2024-01-22 17:54:03 -0500
  • eda4e259d6 minor fix and some refactoring on the if statements microproofs 2024-01-20 16:34:33 -0500
  • 82fc82ceee fix: used wrong index in tupleAcessor microproofs 2024-01-19 13:49:53 -0500
  • 956c3d6cf0 feat: refactor code gen to avoid builtin errors when tracing is turned on microproofs 2024-01-19 13:35:48 -0500
  • b50e4ab63a
         Re-format and re-run all acceptance tests. KtorZ 2024-01-20 10:43:17 +0100
  • 9ee2d58ba3
         Merge pull request #807 from aiken-lang/rvcas/various-fixes Matthias Benkort 2024-01-20 10:42:31 +0100
  • 50ebfc6090
         remove wrongly committed acceptance test blueprints KtorZ 2024-01-20 10:38:40 +0100
  • 54a1b50138
         Make behavior between curly- and paren-delimited blocks consistent. KtorZ 2024-01-20 10:36:07 +0100
  • bf96c3afd2
         Add more tests & rename 'Invalid' -> 'Unfinished' KtorZ 2024-01-20 10:26:33 +0100
  • cb6fd59dbd
         Fix minor typo in error label Matthias Benkort 2024-01-20 09:58:36 +0100
  • 25a837ab3f
         feat: parser and check fixes rvcas 2024-01-19 14:32:21 -0500
  • 8a90e9eda0
         Improve behavior and reporting of tests expected to fail KtorZ 2024-01-19 18:18:44 +0100
  • 94f9fa9cab
         Merge pull request #805 from waalge/waalge/fix-nix-build-pallas-hash Matthias Benkort 2024-01-19 16:10:58 +0100
  • 0f10b343f1 fix: nix build git version patch (untested) waalge 2024-01-19 14:15:22 +0000
  • 51cc7d68eb fix: nix build requires githash waalge 2024-01-19 14:13:32 +0000
  • 1f6e719fde
         Merge pull request #800 from aiken-lang/codegen-traces Matthias Benkort 2024-01-19 14:41:25 +0100
  • 2b4137dc24
         Revert "minor refactor" KtorZ 2024-01-19 14:31:09 +0100
  • af90b38bf8
         minor refactor microproofs 2024-01-18 11:29:04 -0500
  • 6fa272bd34
         Remove compiler-generated helper 'global' traces in compact mode. KtorZ 2024-01-18 16:04:55 +0100
  • 42fdecf41f
         Fix coloring output of multi-line traces. KtorZ 2024-01-18 14:31:21 +0100
  • 858e45f3f3
         Fill-in CHANGELOG. KtorZ 2024-01-18 13:18:16 +0100
  • 3d131a5d09
         Fix CLI docs for traces. KtorZ 2024-01-18 13:10:50 +0100
  • 59c784778e
         Convert span's start to line number + col KtorZ 2024-01-18 12:44:20 +0100
  • e67d5863a1
         Introduce 'compact' trace level verbosity KtorZ 2024-01-18 11:43:07 +0100
  • 627c6b576e
         Move line_numbers under 'aiken-lang' KtorZ 2024-01-18 11:41:06 +0100
  • f79b37d551
         Replace 'bool' with 'TraceLevel' in codegen microproofs 2024-01-17 11:53:29 -0500
  • d27ea98a8f
         Rework tracing arguments to --keep-traces & --trace-level KtorZ 2024-01-17 17:23:34 +0100
  • 86146ae7f4
         adding codegen traces microproofs 2024-01-13 23:21:25 -0500
  • 81e29539c8
         Merge pull request #803 from aiken-lang/780-possible-bug-with-test-github-action-version-generated-by-aiken-new Matthias Benkort 2024-01-19 14:27:38 +0100
  • e439cb5924
         Merge pull request #804 from aiken-lang/fix-796-flat-bigint Matthias Benkort 2024-01-19 14:27:25 +0100
  • 0e2b8ae251
         Bump pallas dependencies to include flat bigint patch KtorZ 2024-01-18 18:12:07 +0100
  • 1796147264 fix: aiken new github action version microproofs 2024-01-18 12:10:06 -0500
  • 9f263c46f8
         Merge pull request #801 from cardenaso11/nix-macos-build-libs Matthias Benkort 2024-01-18 13:18:55 +0100
  • 328514182e add additional CoreServices dependency when building on macOS card 2024-01-17 17:47:58 -0500
  • 06672fce05 add new test microproofs 2024-01-13 19:17:35 -0500
  • d26524048e fix: headlist builtin on assoc lists implement chooseunit for 0 args microproofs 2024-01-13 18:55:39 -0500
  • c7af27a6ba fix: generic edge case with tuples that allowed 2 tuples and 3 tuples to use the same monomorphized function. microproofs 2024-01-13 16:34:38 -0500
  • f934e87b1d Reuse "convert_tag_to_constr" Niels Mündler 2023-12-31 11:56:45 +0100
  • cda1716d47 Unify construction of PlutusData objects from int + fields Niels Mündler 2023-12-31 11:48:47 +0100
  • 742a728d53 Fix conformance test to make a point Niels Mündler 2023-12-31 11:45:59 +0100
  • 316842876d Fix PlutusData Constr test case Niels Mündler 2023-12-31 11:44:02 +0100
  • 4bd8ab890a Add reverse mapping for PlutusData constr Niels Mündler 2023-12-31 11:36:56 +0100
  • 0ae631a1fe Fix parsing Constr PlutusData Niels Mündler 2023-12-31 11:28:41 +0100
  • 4a8fecb70a fix: satisfy clippy's demands microproofs 2024-01-11 14:53:02 -0500
  • 8b62873ef5
         fix(format): post trace sequences getting wrapped in curlies closes #781 rvcas 2024-01-09 22:39:55 -0500
  • ff462fa8ea don't need clippy macro anymore :) microproofs 2024-01-08 18:07:58 -0500
  • f722af1149 fix: accidentally put quotes around tail_name microproofs 2024-01-08 15:46:35 -0500
  • 2216f387c3 refactor: change codegen uplc to have more type safety Also refactor list_access_to_uplc microproofs 2024-01-08 14:06:29 -0500
  • 7992a50bec
         Make foreign `Language` type publicly available (#793) Mitchell Turner 2024-01-08 13:31:21 -0800
  • 30a6b77116 Get rid of 'VoidMsg' in favor of an 'Option'. KtorZ 2024-01-04 17:59:15 +0100
  • c50a9cb5bd refactor: convert msgs to use AirMsg type instead of AirTree microproofs 2024-01-04 11:24:59 -0500
  • 394cac86b8 feat: expect on a type now can take in a msg when in trace mode microproofs 2024-01-04 10:12:58 -0500
  • 4fc65cc600 feat: change expect from data on constrs to take in a message term microproofs 2024-01-03 19:10:46 -0500
  • 43e84d7af7 fixing gen_uplc tets microproofs 2024-01-03 13:08:13 -0500
  • c7a1ff0959 refactor how tracing is popped off to be in one location in uplc_gen microproofs 2024-01-03 12:23:42 -0500
  • 355e38d6e2 feat: expects now print the line of code that failed microproofs 2024-01-03 01:34:10 -0500
  • 412945af3a update aiken code gen test microproofs 2024-01-02 22:04:50 -0500
  • aa51ce3e3e feat: add code messages when using expects on constrs microproofs 2024-01-02 21:59:22 -0500
  • 71cfb6f6af feat: Add specific messages for using expect with booleans TODO: fill out the rest of the expects with messages microproofs 2024-01-02 21:52:01 -0500
  • 7b452c21f0 Fix formatting Niels Mündler 2023-12-14 15:25:12 +0100
  • 4c60be368e Add command line option to shrink uplc Niels Mündler 2023-12-13 23:12:18 +0100
  • b6acdde552 Use to_i64 for clarity Niels Mündler 2023-12-18 15:18:05 +0100
  • d06f2f6008 Formatting Niels Mündler 2023-12-18 15:04:10 +0100
  • eefd26c6fa Add acceptance tests for this tricky case Niels Mündler 2023-12-18 15:03:17 +0100
  • fb56700bde Fix and re-enable pretty print test for bigint Niels Mündler 2023-12-18 13:28:09 +0100
  • 89e518f878 Deduplicate code Niels Mündler 2023-12-18 14:55:19 +0100