microproofs 5fe6e3f77b Finish simplification changes

2024-10-01 15:57:54 -04:00

..

aiken

Try to bundle openssl with the Aiken binary to avoid core dumps on Linux

2024-09-22 18:12:26 +02:00

aiken-lang

Finish simplification changes

2024-10-01 15:57:54 -04:00

aiken-lsp

Build LSP projects with verbose tracing level

2024-10-01 16:12:41 +02:00

aiken-project

Generate empty redeemer for else handler, to keep full compliance with the blueprint spec

2024-10-01 19:03:34 +02:00

uplc

Cost model fixes with tests (#1030)

2024-09-29 22:55:18 -04:00