Sebastian Nagel
d15bd5150b
fix: Completion cli documentation
...
Encountered this copy & paste error when using aiken.
2025-01-08 09:49:47 +01:00
rvcas
b3de1b048b
fix: blueprint still needs to load older plutus versions
2025-01-02 13:37:17 -05:00
KtorZ
620fe6b299
Preserve holes discard names in function captures
...
Fixes #1080
2025-01-02 12:57:32 +01:00
rvcas
5f8b252783
fix: adjust comment formatting in pipelines closes #985
2024-12-30 22:33:13 -05:00
rvcas
44d261a9aa
chore: update snapshots
2024-12-25 23:35:18 -05:00
rvcas
9385f637f9
feat: export now supports return type closes #968
2024-12-25 23:34:06 -05:00
rvcas
3e2ca757cd
fix: remove unwrap which is causing panics closes #1073
2024-12-25 23:14:18 -05:00
rvcas
c1871768f8
feat: remove plutus v1,v2 from aiken.toml closes #1032
2024-12-25 22:52:08 -05:00
KtorZ
22172069f8
chore: Release
2024-12-13 16:44:12 +01:00
KtorZ
b1977214ca
disable katex conversion on non-windows builds.
...
I am not going to spend time figuring out how to get katex working on Windows. If someone wants, feel free.
2024-12-13 16:43:30 +01:00
KtorZ
da1c478b2f
chore: Release
2024-12-13 15:22:10 +01:00
KtorZ
67bf64967b
rename 'constr_{fields,index}' to 'unconstr_{field,index}'
...
Better match the conventions so far used across the existing builtins.
2024-12-13 15:18:20 +01:00
KtorZ
dc09949739
Add couple of tests covering the new Katex rendering in docs.
...
Had a doubt about the Regex behaviour, so wanted to convince myself it
does what it should. All good.
2024-12-13 13:46:39 +01:00
adrian052
51af046fcb
Switched to KaTeX for LaTeX rendering and used cmark-provided delimiters
2024-12-13 13:46:39 +01:00
adrian052
5925dd3bfa
Implement support for custom LaTeX markers and MathJax integration
2024-12-13 13:46:39 +01:00
microproofs
f0fc7b4d5f
Clippy fix
2024-12-13 14:18:18 +07:00
microproofs
463b88413e
feat: new builtins constr_index and constr_fields for alternative fast ways to take apart Data
2024-12-13 14:15:19 +07:00
microproofs
ebc7d89d5d
Comment out ExpModInteger since it's not live on testnets yet
2024-12-08 14:29:58 +07:00
KtorZ
1105dbf3c6
enable new builtins (*with gotcha)
...
We still need to adjust the writeBits one to work around its list<int> argument.
2024-12-07 15:43:38 +01:00
KtorZ
d3344528b3
add type signatures for new builtins.
2024-12-07 15:43:38 +01:00
KtorZ
1f1e68712c
add type signatures for new builtins.
2024-12-07 14:25:12 +01:00
KtorZ
092b1e56dd
Merge branch 'waalge/new-include-validator-template'
2024-12-07 13:44:24 +01:00
KtorZ
75c88be091
Fix validator placeholder template
...
- Remove escape sequences for curly braces, not actually needed
- Make indentation 2-space
- Make it compile without errors
- Also add some example for 'else'
2024-12-07 13:42:53 +01:00
Matthias Benkort
44c894518b
Apply suggestions from code review
2024-12-07 13:31:48 +01:00
Matthias Benkort
85b6caf9e9
Update crates/aiken/src/cmd/new.rs
2024-12-07 13:28:36 +01:00
microproofs
ddc58b9a65
Cargo fmt fix
2024-12-07 12:30:14 +07:00
microproofs
4d7a24234b
Clippy fix
2024-12-07 12:27:35 +07:00
microproofs
17fdbd356a
Add new conformance tests
2024-12-07 12:23:51 +07:00
microproofs
5f1f37919f
Passing conformance tests
2024-12-07 12:23:22 +07:00
microproofs
a1804863dc
Remaining builtin
2024-12-06 12:17:48 +07:00
microproofs
b507992172
Clippy fix
2024-12-06 11:43:05 +07:00
microproofs
86951ef19a
One last builtin to do. Also switch to using bitvec for faster and more accurate shifting
2024-12-06 11:33:45 +07:00
microproofs
91d4ecc350
Unused import
2024-12-05 11:03:42 +07:00
microproofs
9867de38b6
A few more left to finish
2024-12-05 11:03:41 +07:00
microproofs
c3b6bc5bff
Implementation of a few more of the new builtins
2024-12-05 11:03:41 +07:00
microproofs
5cf3275793
Detect difference in cost model length to maintain compatability with mainnet and testnet
2024-12-05 11:03:41 +07:00
microproofs
4839273449
Continue working on new builtin cost model updates
2024-12-05 11:03:41 +07:00
microproofs
befbb6ec18
Start adding implementation for new builtins
2024-12-05 11:03:41 +07:00
hade
49aa5e01a0
feat: update change#2 costmodels
2024-12-05 11:03:41 +07:00
Kasey
86ec3b2924
Fix: issue crash in code gen with incorrect column length in decision trees ( #1069 )
...
* Fix: Deeply nested assignments would offset the new columns count calculation. Now we track relevant columns and their path to ensure each row has wildcards if they don't contain the relevant column
* Add test plus clippy fix
* Clippy fix
* New version clippy fix
2024-12-05 11:02:19 +07:00
KtorZ
a9675fedc6
Fix deserialization of SerializedProgram into wrong Plutus version wrappers.
2024-12-03 22:22:11 +01:00
Simon Gellis
6f1477cef7
Allow tildes in identifier names
2024-11-25 16:20:35 -05:00
waalge
5a8ef1aef0
add: template from docs
2024-11-23 17:05:42 +00:00
KtorZ
e2fb28b4ce
chore: Release
2024-11-19 15:55:23 +01:00
KtorZ
e12d7e807d
Move JSON-schema help for check behind dedicated flag
...
1. A new option `show_json_schema` which, when enabled, will print the JSON schema of the command output if the target isn't an ANSI-capable terminal.
2. Some modifications to the help message and error handling for the new option `show_json_schema`.
This is now done to avoid flooding the help screen with an entire
JSON schema. Plus, it makes the schema more easily exportable as an
actual JSON schema.
2024-11-19 15:48:39 +01:00
KtorZ
7a93c55d0b
Minor fixes on the telemetry output for terminal.
2024-11-19 15:00:03 +01:00
KtorZ
b5047d623a
Update to pallas=0.31.0
2024-11-19 14:53:36 +01:00
microproofs
eec08fcbd9
Fix scoped path for list with tail cases only plus wild card fallback
2024-11-18 12:22:08 -05:00
microproofs
18054eed1a
chore: Release
2024-11-13 15:17:53 -05:00
Kasey
4ea6fdffe8
Aiken UPLC Optimization overhaul ( #1052 )
...
* Refactor and structuring optimizations to be less computationally heavy
* Forgot to commit the new file containing the optimization do over
* Point to correct functions in shrinker2
* Split out inline_constr_ops since it adds in builtins that can then be swept up by the builtin force reduction
* Fix: issue where identity reducer was always returning true
* Forward inlining on lambdas produces better results. This is due to a forward pass being able to apply an argument that may have no_inline at the top where as vice-versa would reduce the arg first.
* Clippy and test fixes
* Clear no_inlines when inlining a function
* Convert shrinker2 to replace shrinker and update tests
2024-11-13 15:08:36 -05:00