waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,165 Commits 8 Branches 0 Tags
9d593337576ff459bbbc0dbef2f50519598ea7fb
Commit Graph

3165 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
KtorZ
51b6b77db8 Build LSP projects with verbose tracing level 
Without that, the language server might trigger awkward warnings about
  unused imports due to trace stripping. So it's better to compile/check
  projects in the language server in the most expanded form.
 2024-10-01 16:12:41 +02:00
KtorZ
0060804d1a Fix redundant warning when destructuring validator params 
This is not a "proper" fix as it simply get rid of the warning
  altogether (whether you use or not the destructured values).

  The reason for removing the warning entirely is because (1) it's
  simpler, but more so (2) there's no impact on the final code produced
  _anyway_. Redundant let bindings are already removed by the compiler;
  and while it's an implicit behaviour that requires a proper warning
  when it's coming from a user-defined assignment; here the redundant
  assignment is introduced by the compiler to begin with as another
  implicit behavior!

  So we have an implicit behaviour triggering a warning on another
  implicit behaviour. Truth is, there's no impact in having those
  parameters destructured and unused. So since users are already not
  aware that this results in an implicit let assignment being inserted
  in place for them; there's no need for the warning at all.
 2024-10-01 13:17:00 +02:00
KtorZ
5737556efc Fix compiler crash around dangling expect/let in traces 
Fixes #1029.
 2024-10-01 12:24:31 +02:00
KtorZ
9533903acc Prepare CHANGELOG for v1.1.4 2024-10-01 11:20:07 +02:00
Kasey
d5f8d3ab78 Cost model fixes with tests (#1030) 
* Finish V1 corrections and fixes to initialize cost model

* Finish V2 corrections to be inline with mainnet today
 2024-09-29 22:55:18 -04:00
Riley-Kilgore
92f5bf529f Generate address on else and spend validators; uses title 2024-09-24 11:55:10 -04:00
Riley-Kilgore
7c6f3278ba Fixed single character patterns using double quotes 2024-09-24 11:54:05 -04:00
KtorZ
9a29f4e876 Tweak cargo-dist config to produce static binaries for linux. 2024-09-23 12:22:06 +02:00
KtorZ
a35d4f383f Also add musl tools as system dependencies. 2024-09-23 11:08:04 +02:00
KtorZ
bdab4d99b4 Install necessary system dependencies for musl target. 2024-09-23 11:03:40 +02:00
KtorZ
b6e5bf68c5 Bundle openssl with musl build. 2024-09-23 10:56:45 +02:00
KtorZ
466dfca4f2 Install musl as target in CI workflow. 2024-09-23 10:54:27 +02:00
KtorZ
555bbc7a48 attempt building statically linked binary with musl. 2024-09-23 10:53:02 +02:00
KtorZ
ac9c71e32a Try to bundle openssl with the Aiken binary to avoid core dumps on Linux 2024-09-22 18:12:26 +02:00
microproofs
3d77b5c378 chore: Release 2024-09-20 14:05:15 -04:00
microproofs
e8cf43d7ec Format fix 2024-09-20 13:52:09 -04:00
microproofs
d3e95bd000 Changelog release change 2024-09-20 13:49:45 -04:00
microproofs
eb37ed0da5 Clippy fix 2024-09-20 13:47:56 -04:00
microproofs
4f1de2d3b5 Add test for flat error when encoding bls constant 2024-09-20 13:41:58 -04:00
microproofs
c3af748b76 Update changelog 2024-09-20 12:53:34 -04:00
microproofs
fa2aa0a3e8 When we find bls constants in UPLC convert them to their a hoisted compressed form with an uncompress call 2024-09-20 12:31:36 -04:00
KtorZ
a8b37820e8 Fix incorrect warning about unused variable when softcasting without explicit right-pattern. 
See note added in code for a rationale.
 2024-09-20 15:09:00 +02:00
Matthias Benkort
7155b4e45d Merge pull request #1023 from solidsnakedev/main 
Add wrap constructor to V1/V2 StakeCredential
 2024-09-20 14:47:08 +02:00
microproofs
3fddab4724 Add test for hard cast and soft cast on same type 2024-09-19 23:48:06 -04:00
microproofs
18e79db4b2 Fix edge case with traces off and usage of softcast and hardcast on the same type 2024-09-19 22:29:19 -04:00
KtorZ
83ac723a50 Fix extraneous space added after multiline alternative patterns 2024-09-19 20:24:59 +02:00
KtorZ
dd77fa7e53 Mention cost model fixes in CHANGELOG. 2024-09-19 20:20:30 +02:00
KtorZ
3f149ab346 Provide intermediate feedback during property test runs. 
Avoid the interface to hang for several seconds without feedback when counterexamples are being simplified. This sends a heads-up to the user to indicate that a research of a counter example is going on.
 2024-09-19 20:19:49 +02:00
KtorZ
91843b2c0e Tweak error output for failed data reification. 2024-09-19 20:18:53 +02:00
microproofs
43182721f5 Update PlutusV1 cost model 2024-09-19 10:36:36 -04:00
microproofs
b50fa91d4c Finish updating v2 models 2024-09-18 12:06:36 -04:00
microproofs
b26e16e319 Start updating v2 cost models 2024-09-18 12:06:36 -04:00
KtorZ
6b145d5594 - 2024-09-18 17:29:31 +02:00
solidsnakedev
75b5332288 fix: Add wrap constructor to V1/V2 stake_credential when Purpose is Rewarding 2024-09-17 19:45:39 -06:00
KtorZ
47a15cf8b2 Fix formatting of long multiline if/is expressions. 2024-09-15 14:59:47 +02:00
KtorZ
12c0d0bc04 Fix formatter adding extra unnecessary newlines after literal lists clause values or assignments. 2024-09-15 14:40:40 +02:00
KtorZ
d6c728c0f6 Fix link_tree generation when re-inserting the same modules. 2024-09-14 16:30:28 +02:00
microproofs
7047c7720e chore: Release 2024-09-13 16:52:20 -04:00
microproofs
0f8cb19ede Update Changelog for release 2024-09-13 16:49:37 -04:00
KtorZ
a9a7a4f977 Fix few formatter annoyances. 2024-09-13 18:53:26 +02:00
KtorZ
799546b654 Show strings as UTF-8 text string during type reification 
Instead of defaulting to hex-encoded bytearrays.
 2024-09-13 18:34:54 +02:00
KtorZ
9cf908d07f Fix type reification of Data 2024-09-13 18:34:54 +02:00
KtorZ
4fb13af49f Fix type reification of PRNG. 2024-09-13 18:34:53 +02:00
microproofs
debbae4fda Update Changelog 2024-09-13 12:09:11 -04:00
Matthias Benkort
a1045352d7 Merge pull request #1018 from solidsnakedev/main 
fix: Plutus V3 NoDatum
 2024-09-13 09:29:55 +02:00
microproofs
16e222e997 Clippy fixes 2024-09-12 19:34:40 -04:00
microproofs
3f2de2665d Clippy fixes 2024-09-12 19:13:31 -04:00
microproofs
8d13b0b706 Add acceptance test 112 2024-09-12 19:06:46 -04:00
microproofs
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.
 2024-09-12 17:03:48 -04:00
microproofs
30e66be568 Fix soft casting case 2024-09-12 17:03:48 -04:00