waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 2a1253cb52
         Add additional test to check for Sampler alias formatting. KtorZ 2025-02-08 16:23:34 +0100
  • 428d30c3bb
         refactor and fix benchmark type-checking KtorZ 2025-02-08 16:20:41 +0100
  • 0a4d60b821
         minor aesthetic changes in test framework. KtorZ 2025-02-08 16:20:22 +0100
  • 497f663513
         actually fail if a (seeded) sampler return None KtorZ 2025-02-08 16:19:21 +0100
  • d87e7f808f
         remove duplicate entry in CHANGELOG KtorZ 2025-02-08 16:17:42 +0100
  • 782c3274f8
         remove unnecessary intermediate variables KtorZ 2025-02-08 16:17:14 +0100
  • c382e6fba8 Add a debug flag for uplc eval microproofs 2025-01-28 21:34:28 +0700
  • f85d9460f6
         Merge branch 'fix/blueprint-pairs' KtorZ 2025-02-08 15:04:03 +0100
  • 55cc1b932e
         Run formatter across the codebase (rust 1.84.1) KtorZ 2025-02-08 15:00:55 +0100
  • 774a249cd6
         Fill-in CHANGELOG. KtorZ 2025-02-08 14:59:41 +0100
  • 9162df7c6a
         fix blueprint schema definitions for pairs. KtorZ 2025-02-08 14:56:43 +0100
  • d3885ac67a
         prune orphan pair definitions after full blueprint generation. KtorZ 2025-01-30 15:45:50 +0100
  • 3e57109c35
         minor test rename in aiken.toml microproofs 2025-01-30 18:57:09 +0700
  • 7d6925545c
         Fix: additional tipo case when using Pairs type inside of a redeemer or datum type microproofs 2025-01-30 18:54:14 +0700
  • cb69325af5 Move 'benchmarking' over to the left Riley-Kilgore 2025-01-22 15:15:06 -0800
  • 5781d9d202 Fix changelog Riley-Kilgore 2025-01-22 10:51:44 -0800
  • d8a235732b Update aiken-project toml to remove csv; update changelog Riley-Kilgore 2025-01-22 10:36:46 -0800
  • 798e60fe78 Changes to lexer to keep clippy happy Riley-Kilgore 2025-01-22 10:29:40 -0800
  • 434771a57d rename acceptance test in aiken.toml Riley-Kilgore 2025-01-22 10:23:48 -0800
  • 79ac1b2bfa Fix benchmarking and cleanup for PR Riley-Kilgore 2025-01-22 10:20:25 -0800
  • 07679b8acc Ran fmt Riley-Kilgore 2025-01-14 05:48:14 -0800
  • 3ee74a5ba8 Move acceptance test 117 to 118 Riley-Kilgore 2025-01-14 05:40:06 -0800
  • bd44b22d59 Addressed comments on benchmarking PR Riley-Kilgore 2025-01-14 05:16:08 -0800
  • df05ae7e5d Uh, formatting again.. Riley-Kilgore 2024-12-17 06:10:45 -0800
  • d73ee3dfe7 Formatting Riley-Kilgore 2024-12-17 06:08:19 -0800
  • 84a0abeb0f Old Fuzzer, new Sampler Riley-Kilgore 2024-12-17 06:01:19 -0800
  • c0fabcd26a Added benchmark keyword and unified Samplers and Fuzzers as Generator Riley-Kilgore 2024-12-16 10:33:01 -0800
  • d353e07ea1 Formatting Riley-Kilgore 2024-12-04 06:45:27 -0800
  • 699628df62 Added ScaledFuzzer capabilities Riley-Kilgore 2024-12-04 06:34:49 -0800
  • f55419e8fb Fixed basic benchmarking functionality Riley-Kilgore 2024-11-27 05:13:22 -0800
  • 8764d37d76 Formatting Riley-Kilgore 2024-11-26 10:52:46 -0800
  • 9a3513b245 Basic benchmarking functionality. Riley-Kilgore 2024-11-26 09:24:49 -0800
  • e97e85a272 Dump (benchmarking wip) Riley-Kilgore 2024-11-26 08:11:40 -0800
  • f569f213b2 Dump (benchmarking wip) Riley-Kilgore 2024-11-21 09:45:34 +0100
  • 96a583c3ac Fill-in CHANGELOG w.r.t #1084 KtorZ 2025-01-22 19:30:16 +0100
  • be770acb54 add some regression tests for the new unused fields warning. KtorZ 2025-01-22 19:29:12 +0100
  • 05264bc423 Trigger warning when destructuring records using unnamed fields KtorZ 2025-01-22 18:57:22 +0100
  • b25afa2d0d
         chore: Release microproofs 2025-01-21 23:48:15 +0700
  • 07b0d807df
         Update Changelog for 1.1.10 microproofs 2025-01-21 23:46:24 +0700
  • e08476b8bb
         Update Changelog microproofs 2025-01-21 11:26:15 +0700
  • 1075be1b71
         Minor fix to optimization to actually detect vars that are just forced builtins microproofs 2025-01-17 11:34:41 +0700
  • 91b6e6da31
         Oops left a todo microproofs 2025-01-16 09:33:59 +0700
  • ade50dd462
         Clippy fix microproofs 2025-01-15 18:28:41 +0700
  • a9bedda5ed
         Update script context handler to do less work with only fallback. Also optimize wrapped builtins too. microproofs 2025-01-15 18:27:43 +0700
  • 6d2e38851e
         Push down functions that aren't dependent on the group in front. microproofs 2025-01-12 00:39:04 +0700
  • 09ddec6b41
         New optimization to split independent lam function applications to enable case constr to optimize further microproofs 2025-01-11 17:04:26 +0700
  • d559e384ec
         Handle case where write_bits is used without being applied microproofs 2025-01-11 17:14:10 +0700
  • e437d70ae2
         Clippy fix microproofs 2025-01-10 13:48:05 +0700
  • a3a3185e5e
         Conformance tests should be using NamedDebruijn comparisons not name. Also no inline remover needs to run separately from other uplc transformations microproofs 2025-01-10 13:03:28 +0700
  • f7f68fbafc
         Add writeBits back in and use the optimizer to utilize the list conversion microproofs 2025-01-10 12:11:19 +0700
  • 19d0ec23cf
         Oops did wrong comparison check on number of consecutive applies microproofs 2025-01-09 21:40:33 +0700
  • 7462f1d52f
         DecodeUtf8 is not error safe microproofs 2025-01-09 21:28:29 +0700
  • 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 microproofs 2025-01-09 21:23:48 +0700
  • 33392f1532
         Add case constr for applies greater than 2 optimization microproofs 2025-01-09 17:45:33 +0700
  • c1ed0dcbb5
         Remove some prints and switch an uneeded isize to usize since it can't be negative microproofs 2025-01-09 16:08:13 +0700
  • 19b4b9df0f
         Inline now handles (if cond then body else error) patterns. microproofs 2025-01-09 15:41:47 +0700
  • c130796f49
         Forgot this so I was reminded when trying to deserialize Bullet microproofs 2025-01-11 19:06:43 +0700
  • 7e9e187aac
         Merge pull request #1081 from aiken-lang/fix-completion-cli-doc Matthias Benkort 2025-01-08 10:58:37 +0100
  • d15bd5150b
         fix: Completion cli documentation Sebastian Nagel 2025-01-08 09:49:47 +0100
  • b3de1b048b
         fix: blueprint still needs to load older plutus versions rvcas 2025-01-02 13:37:17 -0500
  • 620fe6b299
         Preserve holes discard names in function captures KtorZ 2025-01-02 12:56:12 +0100
  • 5f8b252783
         fix: adjust comment formatting in pipelines closes #985 rvcas 2024-12-30 22:33:13 -0500
  • e1d46fa8f0
         chore: fix ci rvcas 2024-12-26 00:31:48 -0500
  • 44d261a9aa
         chore: update snapshots rvcas 2024-12-25 23:35:18 -0500
  • 9385f637f9
         feat: export now supports return type closes #968 rvcas 2024-12-25 23:34:06 -0500
  • 3e2ca757cd
         fix: remove unwrap which is causing panics closes #1073 rvcas 2024-12-25 23:14:11 -0500
  • 1f1ca4f807 update code and include package.json Jingles 2024-12-25 16:09:16 +0800
  • c1871768f8
         feat: remove plutus v1,v2 from aiken.toml closes #1032 rvcas 2024-12-25 22:52:08 -0500
  • 3355b477e2
         fix date on CHANGELOG for v1.1.9 KtorZ 2024-12-13 17:04:43 +0100
  • 22172069f8
         chore: Release KtorZ 2024-12-13 16:44:12 +0100
  • b1977214ca
         disable katex conversion on non-windows builds. KtorZ 2024-12-13 16:43:09 +0100
  • da1c478b2f
         chore: Release KtorZ 2024-12-13 15:22:10 +0100
  • 67bf64967b
         rename 'constr_{fields,index}' to 'unconstr_{field,index}' KtorZ 2024-12-13 15:18:15 +0100
  • 977e24c725
         Fill-in CHANGELOG for 1.1.8 KtorZ 2024-12-13 13:46:22 +0100
  • dc09949739
         Add couple of tests covering the new Katex rendering in docs. KtorZ 2024-12-13 13:41:51 +0100
  • 51af046fcb
         Switched to KaTeX for LaTeX rendering and used cmark-provided delimiters adrian052 2024-12-12 14:57:38 -0600
  • 5925dd3bfa
         Implement support for custom LaTeX markers and MathJax integration adrian052 2024-12-10 10:36:08 -0600
  • 27dab4a5e5
         Update changelog for 1.1.8 microproofs 2024-12-13 14:22:39 +0700
  • f0fc7b4d5f
         Clippy fix microproofs 2024-12-13 14:18:18 +0700
  • 463b88413e
         feat: new builtins constr_index and constr_fields for alternative fast ways to take apart Data microproofs 2024-12-13 14:15:19 +0700
  • ebc7d89d5d
         Comment out ExpModInteger since it's not live on testnets yet microproofs 2024-12-08 14:29:58 +0700
  • 1105dbf3c6
         enable new builtins (*with gotcha) KtorZ 2024-12-07 15:38:07 +0100
  • d3344528b3
         add type signatures for new builtins. KtorZ 2024-12-07 14:25:12 +0100
  • 1f1e68712c
         add type signatures for new builtins. KtorZ 2024-12-07 14:25:12 +0100
  • 96b864f655
         Include @waalge & @jinglescode contributions in the CHANGELOG. KtorZ 2024-12-07 13:46:33 +0100
  • 092b1e56dd
         Merge branch 'waalge/new-include-validator-template' KtorZ 2024-12-07 13:44:24 +0100
  • 75c88be091
         Fix validator placeholder template KtorZ 2024-12-07 13:42:53 +0100
  • 44c894518b
         Apply suggestions from code review Matthias Benkort 2024-12-07 13:31:48 +0100
  • 85b6caf9e9
         Update crates/aiken/src/cmd/new.rs Matthias Benkort 2024-12-07 13:28:36 +0100
  • 870086271c
         Merge pull request #1067 from jinglescode/main Matthias Benkort 2024-12-07 13:27:50 +0100
  • ddc58b9a65
         Cargo fmt fix microproofs 2024-12-07 12:30:14 +0700
  • 4d7a24234b
         Clippy fix microproofs 2024-12-07 12:27:35 +0700
  • 17fdbd356a
         Add new conformance tests microproofs 2024-12-07 12:23:51 +0700
  • 5f1f37919f
         Passing conformance tests microproofs 2024-12-07 12:23:22 +0700
  • a1804863dc
         Remaining builtin microproofs 2024-12-06 12:17:48 +0700
  • b507992172
         Clippy fix microproofs 2024-12-06 11:43:05 +0700
  • 86951ef19a
         One last builtin to do. Also switch to using bitvec for faster and more accurate shifting microproofs 2024-12-06 11:33:45 +0700
  • 91d4ecc350
         Unused import microproofs 2024-12-01 14:22:13 +0700
  • 9867de38b6
         A few more left to finish microproofs 2024-12-01 14:21:32 +0700
  • c3b6bc5bff
         Implementation of a few more of the new builtins microproofs 2024-12-01 09:56:55 +0700