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

Commit Graph

  • 538181f145
         Move custom musl build instructions under generic cargo-dist configs. KtorZ 2024-10-02 10:12:18 +0200
  • 31819fe197
         Define custom build setup for musl target. KtorZ 2024-10-02 10:05:39 +0200
  • 356d845a9a
         chore: Release microproofs 2024-10-01 16:14:25 -0400
  • e4e8ca8a6d
         Update changelog microproofs 2024-10-01 16:13:33 -0400
  • c8731c98c7
         Remove prints microproofs 2024-10-01 16:09:44 -0400
  • 5fe6e3f77b
         Finish simplification changes microproofs 2024-10-01 15:57:54 -0400
  • c6c5cddead
         Fix ordering of params on standard functions microproofs 2024-09-24 17:38:18 -0400
  • 2bbc699a25
         Refactor some code to make a define_const AirTree function microproofs 2024-09-20 00:39:27 -0400
  • 513ca27717
         Generate empty redeemer for `else` handler, to keep full compliance with the blueprint spec KtorZ 2024-10-01 19:03:34 +0200
  • e8d97028ad
         Prevent constant evaluating to generic/unbound functions KtorZ 2024-10-01 18:27:56 +0200
  • 51b6b77db8
         Build LSP projects with verbose tracing level KtorZ 2024-10-01 16:12:41 +0200
  • 0060804d1a
         Fix redundant warning when destructuring validator params KtorZ 2024-10-01 13:17:00 +0200
  • 5737556efc
         Fix compiler crash around dangling expect/let in traces KtorZ 2024-10-01 12:24:31 +0200
  • 9533903acc
         Prepare CHANGELOG for v1.1.4 KtorZ 2024-10-01 11:20:07 +0200
  • d5f8d3ab78
         Cost model fixes with tests (#1030) Kasey 2024-09-29 22:55:18 -0400
  • 92f5bf529f Generate address on else and spend validators; uses title Riley-Kilgore 2024-09-24 07:29:45 -0700
  • 7c6f3278ba Fixed single character patterns using double quotes Riley-Kilgore 2024-09-24 08:32:41 -0700
  • 9a29f4e876
         Tweak cargo-dist config to produce static binaries for linux. KtorZ 2024-09-23 12:22:06 +0200
  • a35d4f383f
         Also add musl tools as system dependencies. KtorZ 2024-09-23 11:08:04 +0200
  • bdab4d99b4
         Install necessary system dependencies for musl target. KtorZ 2024-09-23 11:03:40 +0200
  • b6e5bf68c5
         Bundle openssl with musl build. KtorZ 2024-09-23 10:56:45 +0200
  • 466dfca4f2
         Install musl as target in CI workflow. KtorZ 2024-09-23 10:54:27 +0200
  • 555bbc7a48
         attempt building statically linked binary with musl. KtorZ 2024-09-23 10:53:02 +0200
  • ac9c71e32a
         Try to bundle openssl with the Aiken binary to avoid core dumps on Linux KtorZ 2024-09-22 18:08:17 +0200
  • 3d77b5c378
         chore: Release microproofs 2024-09-20 14:05:15 -0400
  • e8cf43d7ec
         Format fix microproofs 2024-09-20 13:52:09 -0400
  • d3e95bd000
         Changelog release change microproofs 2024-09-20 13:49:45 -0400
  • eb37ed0da5
         Clippy fix microproofs 2024-09-20 13:47:56 -0400
  • 4f1de2d3b5
         Add test for flat error when encoding bls constant microproofs 2024-09-20 13:41:58 -0400
  • c3af748b76
         Update changelog microproofs 2024-09-20 12:53:34 -0400
  • fa2aa0a3e8
         When we find bls constants in UPLC convert them to their a hoisted compressed form with an uncompress call microproofs 2024-09-20 12:31:36 -0400
  • a8b37820e8
         Fix incorrect warning about unused variable when softcasting without explicit right-pattern. KtorZ 2024-09-20 15:07:23 +0200
  • 7155b4e45d
         Merge pull request #1023 from solidsnakedev/main Matthias Benkort 2024-09-20 14:47:08 +0200
  • 3fddab4724
         Add test for hard cast and soft cast on same type microproofs 2024-09-19 23:48:06 -0400
  • 18e79db4b2
         Fix edge case with traces off and usage of softcast and hardcast on the same type microproofs 2024-09-19 22:29:13 -0400
  • 83ac723a50
         Fix extraneous space added after multiline alternative patterns KtorZ 2024-09-19 20:23:56 +0200
  • dd77fa7e53
         Mention cost model fixes in CHANGELOG. KtorZ 2024-09-19 20:20:30 +0200
  • 3f149ab346
         Provide intermediate feedback during property test runs. KtorZ 2024-09-19 20:18:34 +0200
  • 91843b2c0e
         Tweak error output for failed data reification. KtorZ 2024-09-19 20:10:28 +0200
  • 43182721f5
         Update PlutusV1 cost model microproofs 2024-09-19 10:36:36 -0400
  • b50fa91d4c Finish updating v2 models microproofs 2024-09-17 16:20:47 -0400
  • b26e16e319 Start updating v2 cost models microproofs 2024-09-17 16:15:50 -0400
  • 6b145d5594
         - KtorZ 2024-09-18 17:29:31 +0200
  • 75b5332288 fix: Add wrap constructor to V1/V2 stake_credential when Purpose is Rewarding solidsnakedev 2024-09-17 19:45:39 -0600
  • 47a15cf8b2
         Fix formatting of long multiline if/is expressions. KtorZ 2024-09-15 14:59:47 +0200
  • 12c0d0bc04
         Fix formatter adding extra unnecessary newlines after literal lists clause values or assignments. KtorZ 2024-09-15 14:40:40 +0200
  • d6c728c0f6
         Fix link_tree generation when re-inserting the same modules. KtorZ 2024-09-14 16:29:18 +0200
  • 7047c7720e
         chore: Release microproofs 2024-09-13 16:52:20 -0400
  • 0f8cb19ede
         Update Changelog for release microproofs 2024-09-13 16:49:37 -0400
  • a9a7a4f977
         Fix few formatter annoyances. KtorZ 2024-09-13 18:53:26 +0200
  • 799546b654
         Show strings as UTF-8 text string during type reification KtorZ 2024-09-13 18:33:23 +0200
  • 9cf908d07f
         Fix type reification of Data KtorZ 2024-09-13 18:32:49 +0200
  • 4fb13af49f
         Fix type reification of PRNG. KtorZ 2024-09-13 18:31:53 +0200
  • debbae4fda
         Update Changelog microproofs 2024-09-13 12:09:11 -0400
  • a1045352d7
         Merge pull request #1018 from solidsnakedev/main Matthias Benkort 2024-09-13 09:29:55 +0200
  • 16e222e997
         Clippy fixes microproofs 2024-09-12 19:34:40 -0400
  • 3f2de2665d
         Clippy fixes microproofs 2024-09-12 19:13:31 -0400
  • 8d13b0b706
         Add acceptance test 112 microproofs 2024-09-12 19:06:46 -0400
  • 362ca2544f
         Fixed remaining issue when all parameters passed in to a recursive function were static. Also fixed issue where modifying the calls in the airtree lead to an out of bounds index. microproofs 2024-09-12 16:57:45 -0400
  • 30e66be568
         Fix soft casting case microproofs 2024-09-12 15:02:30 -0400
  • 49ef3a740c
         Cargo tests now pass microproofs 2024-09-11 18:08:46 -0400
  • 7c52094b15
         Making progress on using interning in gen_uplc microproofs 2024-09-09 17:29:15 -0400
  • 6413f2c1cc
         Make 'simple_spend_no_datum' acceptance test more to-the-point KtorZ 2024-09-12 17:21:09 +0200
  • 8a3bbfc89a
         Simplify optional datum extraction by removing duplication KtorZ 2024-09-12 17:19:17 +0200
  • defce9be4e fix: Plutus V3 NoDatum - Error: missing required inline datum or datum hash in script input solidsnakedev 2024-09-11 15:25:20 -0600
  • 0905146140
         chore: Release KtorZ 2024-09-10 13:25:04 +0200
  • 74d197077d
         Mention Riley contribution in CHANGELOG. KtorZ 2024-09-10 13:23:16 +0200
  • 7741be64f8
         Fix validator's fallback handler generation KtorZ 2024-09-10 10:47:41 +0200
  • 5879dcfd4c Fix import completions Riley-Kilgore 2024-09-04 03:35:18 -0700
  • 616dec8f03
         Fix formatter getting rid of curly braces around multi-line constants. KtorZ 2024-09-08 16:23:41 +0200
  • 0c0369ad61
         Fix needed parentheses under trace-if-false disappearing when formatting. KtorZ 2024-09-08 16:21:45 +0200
  • b6d99142f9
         Fix formatting of multi-line alternative patterns. KtorZ 2024-09-08 13:11:18 +0200
  • 8db4a60986
         (re)format aiken sources in the repository. KtorZ 2024-09-07 18:25:21 +0200
  • 28916c1ef9
         Show relative path by default instead of absolute KtorZ 2024-09-07 18:24:46 +0200
  • 943d90a99e
         Fix invalid interpolation in error message. KtorZ 2024-09-07 18:23:35 +0200
  • b7ea6ea391
         Fix list-pattern formatting KtorZ 2024-09-07 11:32:18 +0200
  • 5ec147e6c7
         Mention config in generated README & generate env folder KtorZ 2024-09-06 14:15:44 +0200
  • 04fb11084c
         Fix dark colorscheme for dark. KtorZ 2024-09-06 13:31:16 +0200
  • 19e30b10f9
         Fix #1013 KtorZ 2024-09-06 12:27:53 +0200
  • 888b7e34c6
         Drop debug line that stayed in source code x_x KtorZ 2024-09-06 12:15:55 +0200
  • 1f692bc93e
         Update CHANGELOG.md Matthias Benkort 2024-09-03 23:30:18 +0200
  • be31a7ce38
         chore: Release rvcas 2024-09-03 17:01:41 -0400
  • 20ac89fc33
         chore: reset version rvcas 2024-09-03 17:01:24 -0400
  • 140cb02be0 Generic test now passes microproofs 2024-09-03 16:21:23 -0400
  • 6a438bc8cd Fix missing locations from generated handler code. KtorZ 2024-09-03 20:06:29 +0200
  • 2f33c4a8f4 Push up test failing due to missing messages microproofs 2024-09-03 13:32:41 -0400
  • 8933688c68 Rest of the tests to push up microproofs 2024-09-03 13:09:50 -0400
  • c370a4aa6a Pushing up tests that test both trace and non-trace uplc microproofs 2024-09-03 12:58:09 -0400
  • a6bc0f7157 Fix positioning on unwrap_void microproofs 2024-09-01 20:15:03 -0400
  • 2be76d7cda Use Delay error directly when casting from data without traces microproofs 2024-09-01 20:10:59 -0400
  • 575f0f9a9a
         Merge pull request #1007 from waalge/waalge/bump-flake Matthias Benkort 2024-09-03 19:00:54 +0200
  • 0a8f1f4930 bump flake waalge 2024-09-03 16:20:50 +0000
  • f60df16bc2
         Preserve type-aliases during blueprint generation. KtorZ 2024-09-03 16:39:50 +0200
  • 007b85b864
         Warn for any ignored file during source parsing KtorZ 2024-09-03 15:28:09 +0200
  • 038f6ecbfd
         Detect and report duplicate module names during parsing KtorZ 2024-09-03 15:24:01 +0200
  • f8be81baa5
         Fix README 'aiken new' example. KtorZ 2024-09-01 19:11:11 +0200
  • 9f6daa8cd5
         Refresh gift_card and hello_world examples. KtorZ 2024-09-01 18:16:39 +0200
  • 7bfc01413b
         Add missing parser snapshots. KtorZ 2024-09-01 18:12:46 +0200
  • ddfe01ee88
         Merge branch 'acceptance-test-111' KtorZ 2024-09-01 18:11:55 +0200
  • 53af366b59
         Ensure uniqueness of intermediate variables in expect_type_assign KtorZ 2024-09-01 18:08:20 +0200