Commit Graph

2466 Commits

Author SHA1 Message Date
Riley-Kilgore 79ac1b2bfa Fix benchmarking and cleanup for PR 2025-01-22 15:23:17 -08:00
Riley-Kilgore 07679b8acc Ran fmt 2025-01-22 15:23:17 -08:00
Riley-Kilgore bd44b22d59 Addressed comments on benchmarking PR 2025-01-22 15:23:17 -08:00
Riley-Kilgore df05ae7e5d Uh, formatting again.. 2025-01-22 15:23:17 -08:00
Riley-Kilgore d73ee3dfe7 Formatting 2025-01-22 15:23:17 -08:00
Riley-Kilgore 84a0abeb0f Old Fuzzer, new Sampler 2025-01-22 15:23:17 -08:00
Riley-Kilgore c0fabcd26a Added benchmark keyword and unified Samplers and Fuzzers as Generator 2025-01-22 15:23:17 -08:00
Riley-Kilgore d353e07ea1 Formatting 2025-01-22 15:23:17 -08:00
Riley-Kilgore 699628df62 Added ScaledFuzzer capabilities 2025-01-22 15:23:17 -08:00
Riley-Kilgore f55419e8fb Fixed basic benchmarking functionality 2025-01-22 15:23:17 -08:00
Riley-Kilgore 8764d37d76 Formatting 2025-01-22 15:23:17 -08:00
Riley-Kilgore 9a3513b245 Basic benchmarking functionality. 2025-01-22 15:23:17 -08:00
Riley-Kilgore e97e85a272 Dump (benchmarking wip) 2025-01-22 15:23:17 -08:00
Riley-Kilgore f569f213b2 Dump (benchmarking wip) 2025-01-22 15:23:17 -08:00
KtorZ be770acb54 add some regression tests for the new unused fields warning. 2025-01-22 18:07:57 -05:00
KtorZ 05264bc423 Trigger warning when destructuring records using unnamed fields
Comes with a helpful hint and a LSP quickfix, so that it's most
  convenient.
2025-01-22 18:07:57 -05:00
microproofs b25afa2d0d
chore: Release 2025-01-21 23:48:15 +07:00
microproofs 1075be1b71
Minor fix to optimization to actually detect vars that are just forced builtins 2025-01-17 11:34:41 +07:00
microproofs 91b6e6da31
Oops left a todo 2025-01-16 09:33:59 +07:00
microproofs ade50dd462
Clippy fix 2025-01-15 18:28:41 +07:00
microproofs a9bedda5ed
Update script context handler to do less work with only fallback. Also optimize wrapped builtins too. 2025-01-15 18:27:43 +07:00
microproofs 6d2e38851e
Push down functions that aren't dependent on the group in front. 2025-01-12 00:39:04 +07:00
microproofs 09ddec6b41
New optimization to split independent lam function applications to enable case constr to optimize further 2025-01-11 19:09:00 +07:00
microproofs d559e384ec
Handle case where write_bits is used without being applied 2025-01-11 19:08:43 +07:00
microproofs e437d70ae2
Clippy fix 2025-01-11 19:08:42 +07:00
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
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