Commit Graph

3327 Commits

Author SHA1 Message Date
microproofs a3a3185e5e
Conformance tests should be using NamedDebruijn comparisons not name. Also no inline remover needs to run separately from other uplc transformations 2025-01-11 19:08:42 +07:00
microproofs f7f68fbafc
Add writeBits back in and use the optimizer to utilize the list conversion 2025-01-11 19:08:42 +07:00
microproofs 19d0ec23cf
Oops did wrong comparison check on number of consecutive applies 2025-01-11 19:08:42 +07:00
microproofs 7462f1d52f
DecodeUtf8 is not error safe 2025-01-11 19:08:42 +07:00
microproofs 2c214186b6
Make sure clean up doesn't add case and constr to comp time eval. Also had fun with test_1 mint script context validator 2025-01-11 19:08:42 +07:00
microproofs 33392f1532
Add case constr for applies greater than 2 optimization 2025-01-11 19:08:41 +07:00
microproofs c1ed0dcbb5
Remove some prints and switch an uneeded isize to usize since it can't be negative 2025-01-11 19:08:41 +07:00
microproofs 19b4b9df0f
Inline now handles (if cond then body else error) patterns.
This allows conditions like ```expect x == 1``` to match performance with ```x == 1 && ...```

Also change builtins forcing to accommodate the new case-constr apply optimization
2025-01-11 19:08:41 +07:00
microproofs c130796f49
Forgot this so I was reminded when trying to deserialize Bullet 2025-01-11 19:06:43 +07:00
Matthias Benkort 7e9e187aac
Merge pull request #1081 from aiken-lang/fix-completion-cli-doc
Fix completion cli documentation
2025-01-08 10:58:37 +01:00
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 e1d46fa8f0
chore: fix ci 2024-12-26 00:31:48 -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
Jingles 1f1ca4f807 update code and include package.json 2024-12-25 22:53:54 -05:00
rvcas c1871768f8
feat: remove plutus v1,v2 from aiken.toml closes #1032 2024-12-25 22:52:08 -05:00
KtorZ 3355b477e2
fix date on CHANGELOG for v1.1.9 2024-12-13 17:04:43 +01: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 977e24c725
Fill-in CHANGELOG for 1.1.8 2024-12-13 13:48:21 +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 27dab4a5e5
Update changelog for 1.1.8 2024-12-13 14:22:39 +07: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 96b864f655
Include @waalge & @jinglescode contributions in the CHANGELOG. 2024-12-07 13:49:05 +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
Matthias Benkort 870086271c
Merge pull request #1067 from jinglescode/main
update hello world codes
2024-12-07 13:27:50 +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