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

Commit Graph

  • df3baa082e
         Remove 'seed' arg from 'with_project' to FinishedTests event KtorZ 2024-03-04 18:43:39 +0100
  • c9dd281b45 disable assert that was blocking issue #844 microproofs 2024-03-04 11:48:22 -0500
  • 27eb1a3e04 Change all uses of interning besides the uplc parser to use the new CodeGenInterner microproofs 2024-03-04 11:03:23 -0500
  • e14f091b86 add back test 93 microproofs 2024-03-04 10:48:48 -0500
  • d971d9818b update tests and ensure identity reducer handles no_inline lambda microproofs 2024-03-02 17:22:23 -0500
  • af6c107187 remove unneeded assert microproofs 2024-03-02 14:26:37 -0500
  • 06ca22c26a update inliner to handle no_inline functions microproofs 2024-03-02 13:39:21 -0500
  • 4e928f39db start adding no inline flag to functions microproofs 2024-03-01 11:10:37 -0500
  • 2aaa46e54c remove print microproofs 2024-02-29 19:49:27 -0500
  • c6ef37cc5c checkpoint microproofs 2024-02-29 17:34:30 -0500
  • 4e0aaf970f update tests and fix final unique issues microproofs 2024-02-19 14:27:21 -0500
  • 62963f7fc2 feat: finish curry optmization, improve inline optimization further, and add a subtract integer to add integer conversion microproofs 2024-02-19 11:31:20 -0500
  • 7d8fdc0f22 prevent curried function hoisting if occurrences is 0 microproofs 2024-02-16 15:55:52 -0500
  • 258b5abf23 now currying works microproofs 2024-02-16 11:27:22 -0500
  • 3b55a32583 finish up curry optimization on builtins microproofs 2024-02-15 17:21:41 -0500
  • 58d586c5cf large refactor to reduce complexity microproofs 2024-02-15 15:56:30 -0500
  • 8f84eb382f commit some changes so far microproofs 2024-02-14 09:55:25 -0500
  • 9a52258e14 chugging along with a small refactor and some more work toward currying microproofs 2024-01-30 09:04:59 -0500
  • 2f72510102 chore: Add back curry code removed in a previous commit microproofs 2023-12-17 19:47:06 -0500
  • 7c2bae0904
         Merge pull request #849 from waalge/waalge/bump-rust-1-76-0 Matthias Benkort 2024-03-04 16:18:41 +0100
  • 658984e157 Merge remote-tracking branch 'official/main' into waalge/bump-rust-1-76-0 waalge 2024-03-04 14:34:14 +0000
  • 5d6bcaabe9 bump flake ... but in a way that works for external builds?! waalge 2024-03-04 14:32:27 +0000
  • 8e8e0de044
         cargo fmt --all KtorZ 2024-03-04 14:46:10 +0100
  • 6a4841dd7f
         Merge pull request #848 from waalge/waalge/bump-rust-1-76-0 Matthias Benkort 2024-03-04 14:45:52 +0100
  • 69aefc8c48 bump rust version in flake waalge 2024-03-04 13:33:43 +0000
  • 362acd43a3
         Rework and optimize PRNG KtorZ 2024-03-04 14:27:16 +0100
  • dd1c7d675f
         Allow Aiken files to have more than one dot-separated suffix. KtorZ 2024-03-04 00:15:05 +0100
  • 50faf81c0f
         Use u64 for PRNG choices. KtorZ 2024-03-04 00:14:34 +0100
  • b68f99cf24
         Merge pull request #835 from aiken-lang/fuzz2 Matthias Benkort 2024-03-03 21:18:57 +0100
  • c2bc5848dd
         Fill-in CHANGELOG. KtorZ 2024-03-03 21:09:17 +0100
  • 900b73b21a
         cargo fmt --all KtorZ 2024-03-03 21:05:43 +0100
  • fbda31d980
         Fix and improve test outputs for prop tests. KtorZ 2024-03-03 21:00:51 +0100
  • 7a2537432a
         Accept an optional --seed parameter for check, otherwise default to random. KtorZ 2024-03-03 20:36:01 +0100
  • a7b9d4bb22
         Use u8 for fuzzer choices instead of u32 KtorZ 2024-03-03 19:38:49 +0100
  • 30841fe000
         Rework generate_raw to avoid need to intern in prop tests KtorZ 2024-03-03 19:24:35 +0100
  • 1134b8d7d0
         Register tests as callable definitions. KtorZ 2024-03-03 18:26:37 +0100
  • c2dc47fa0b
         Refactor creation of CodeGenerator and management of known data_types and functions. KtorZ 2024-03-03 16:19:14 +0100
  • 26e563a9be
         Hardened property-based testing framework. More tests, less bugs. KtorZ 2024-03-03 03:16:36 +0100
  • 775a34bc47
         Remove acceptance_test 095, now done directly from Rust.' KtorZ 2024-03-03 03:11:49 +0100
  • 3df5bcd96d
         Fix shrinker impl and implement 3rd strategy of bin_search reduction. KtorZ 2024-03-02 18:54:54 +0100
  • 70ea3c9598
         Write boilerplate code for being able to easily test properties. KtorZ 2024-03-02 16:23:43 +0100
  • 2db15d59be
         Rename 'aiken-project::script' into 'aiken-project::test_framework' KtorZ 2024-03-02 14:59:18 +0100
  • bbc9fc5762
         Yield proper user-facing error when inferring Fuzzer usage KtorZ 2024-03-02 12:55:56 +0100
  • cf61387a41
         Allow prop test argument to be (optionally) annotated. KtorZ 2024-03-02 11:19:21 +0100
  • 93347d8e7b
         Add Fuzzer to the prelude. KtorZ 2024-03-01 17:02:49 +0100
  • 5b4fedd084
         Add PRNG to the Prelude. KtorZ 2024-03-01 16:47:17 +0100
  • 41fdcbdfae
         Add via keywords to str_to_keyword KtorZ 2024-03-01 16:23:03 +0100
  • bfcfc5c41b
         Implement reification from Maps. KtorZ 2024-03-01 16:14:23 +0100
  • 5272f5ecee
         Adjust order in which Bool's constructors are declared in the prelude KtorZ 2024-02-28 10:09:29 +0100
  • 14f1025f0b
         Display counterexamples as Aiken values instead of raw UPLC. KtorZ 2024-02-27 18:36:21 +0100
  • c766f44601
         Allow Fuzzer with type parameter KtorZ 2024-02-27 09:50:33 +0100
  • c29d163900
         Rename acceptance_test_093 -> acceptance_test_095 KtorZ 2024-02-26 22:00:07 +0100
  • a703db4d14
         Borrow integrated shrinking approach from MiniThesis. KtorZ 2024-02-26 21:59:23 +0100
  • 3762473a60
         Add preliminary plumbing to run property test through the CLI. KtorZ 2024-02-25 01:09:26 +0100
  • aadf3cfb48
         Allow test definition to carry one parameter KtorZ 2024-02-24 19:02:45 +0100
  • bfb4455e0f
         Merge pull request #847 from aiken-lang/forbid-opaque-types Matthias Benkort 2024-03-03 15:37:43 +0100
  • 84c4ccaf4c
         Forbid opaque types in the application binary interface. KtorZ 2024-03-03 13:37:02 +0100
  • 4ff11f4229
         Fix acceptance test 087 following BigInt seralization fix. KtorZ 2024-03-02 14:11:01 +0100
  • 2b8e99a1b8
         Fix CI script for acceptance tests, and have them run in parallel. KtorZ 2024-03-02 13:34:25 +0100
  • d698f76e3c
         fix(codegen): builtin calls for g1 and g2 where flipped rvcas 2024-02-29 12:13:48 -0500
  • ff5491caa0
         fix(check): only disallow ml_result in data rvcas 2024-02-29 11:19:26 -0500
  • d18caaeecb
         feat(cli): support mainnet address output rvcas 2024-02-27 21:55:13 -0500
  • 50c37c7a14
         feat(aikup): error message when version not found rvcas 2024-02-27 21:37:53 -0500
  • 2018a18d15
         fix: error message for bls elements in a type def rvcas 2024-02-27 21:21:09 -0500
  • 46c357df7b Fix Int/BigInt pivot KtorZ 2024-02-25 12:16:07 +0100
  • 8d59ba1c77 chore: update the conformance tests rvcas 2024-02-19 21:34:57 -0500
  • a15fead982 chore: remove unused import rvcas 2024-02-19 20:57:46 -0500
  • 20917bbd5b feat(machine): fix Value::Constr fields order rvcas 2024-02-19 20:52:38 -0500
  • 028528899c feat(runtime): implement byteStringToInteger and add conformance tests rvcas 2024-02-19 20:47:19 -0500
  • da6e5ec6d1 feat: implement integerToByteString rvcas 2024-02-16 11:50:20 -0500
  • c7dd4d0e48 feat(aiken-lang): expose integerToByteString and byteStringToInteger rvcas 2024-02-16 10:07:49 -0500
  • fc3bc4d9ff feat(cost_model): add costing for integerToByteString and byteStringToInteger rvcas 2024-02-16 09:58:53 -0500
  • 70d4d7fdeb feat(runtime): add force count and arity for integerToByteString and byteStringToInteger rvcas 2024-02-15 14:44:30 -0500
  • b0eade209b feat(DefaultFunction): add IntegerToByteString and ByteString rvcas 2024-02-15 14:43:17 -0500
  • b6b57c776f chore: use updated theme method Sam Foo 2024-02-14 09:07:04 -0800
  • 9e3f348c6c
         chore: commit artifacts from acceptance tests rvcas 2024-02-13 21:29:46 -0500
  • 0ccfe60072
         feat: support nested void matching rvcas 2024-02-13 21:29:24 -0500
  • ac0c73a56a
         chore: clippy fixes rvcas 2024-02-13 20:26:12 -0500
  • 3582c5569d
         fix: no single when clause warning sometimes rvcas 2024-02-13 20:12:40 -0500
  • 4c5a449d83
         chore: improve a comment/doc rvcas 2024-02-13 19:46:34 -0500
  • 6e2f9b9eb9 fix tests microproofs 2024-02-07 11:05:20 -0500
  • 056e3d76ea change check_validator_args to check type after each arg microproofs 2024-02-06 19:31:25 -0500
  • 6c6be3f53d got past the errors and warnings microproofs 2024-02-04 16:35:32 -0500
  • 51f1da2505 Removed AirStatements and AirExpressions Still a WIP microproofs 2024-02-04 15:36:56 -0500
  • b807d58e89 fix first compiler pass of errors microproofs 2024-02-03 17:17:25 -0500
  • dc195b22d4 missed another hoist over microproofs 2024-02-04 13:06:21 -0500
  • 713b16e25d we now build forwards when it comes to piplines and expressions so this test got reordered microproofs 2024-02-03 20:27:29 -0500
  • d1c784ed49 few more hoist over fixes microproofs 2024-02-03 20:16:16 -0500
  • 3938d74bb6 missed a hoist over microproofs 2024-02-03 20:12:36 -0500
  • 6b97ab71fe fix up code gen tests microproofs 2024-02-03 20:09:34 -0500
  • 4ab3b61200 In most cases the context isn't need so I made the code more explicit about that microproofs 2024-02-03 18:47:51 -0500
  • 575dde9885 fix: issue with reordering statements caused clause props to not be updated microproofs 2024-02-03 18:33:12 -0500
  • 8702c736d0 fix warning microproofs 2024-02-03 17:50:39 -0500
  • 806a74c192 fix all current errors microproofs 2024-02-03 17:42:39 -0500
  • 9f96e4bc5a fix first compiler pass of errors microproofs 2024-02-03 17:17:25 -0500
  • a12c374258 Start turning AirTree statements into expressions (let) KtorZ 2023-10-06 19:16:53 +0200
  • cf51b30045 update changelog microproofs 2024-02-07 11:48:38 -0500
  • 3c8460e6af Allow annotating Data for blueprint KtorZ 2024-02-07 16:01:35 +0100
  • 20ce19dfb1 Fix error hint when expecting 0 generic parameters. KtorZ 2024-02-07 10:25:12 +0100
  • 0e2995e16e fix test microproofs 2024-02-06 14:07:40 -0500