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

Commit Graph

  • ec58279424
         test(machine): integer overflow rvcas 2023-02-09 09:44:06 -0500
  • 37bd22a0d2
         Merge pull request #353 from aiken-lang/rvcas/assert_expect Matthias Benkort 2023-02-09 15:17:14 +0100
  • 461aaf14bd
         chore: no more loose numbers for location offsets rvcas 2023-02-09 09:16:54 -0500
  • b5cf8c78a5
         Add Ordering data-type definition to prelude known constructors. KtorZ 2023-02-09 14:36:39 +0100
  • 6be2a9ed80
         Fix formatting of unary operators applied to binary operators. KtorZ 2023-02-09 13:58:11 +0100
  • 83a86e6dc0
         Fix logical operator precedence in parser. KtorZ 2023-02-09 13:57:12 +0100
  • 62fe321ddf
         Add 'Ordering' data-type to the Prelude. KtorZ 2023-02-09 11:07:30 +0100
  • b803332f99
         Update crates/aiken-lang/src/tipo/error.rs Matthias Benkort 2023-02-09 09:25:33 +0100
  • efbc3abb95
         Delete tests.ak Matthias Benkort 2023-02-09 09:23:46 +0100
  • 460da20e4a
         feat: warn when using expect in a completely safe way rvcas 2023-02-09 02:10:22 -0500
  • e9caa710c4
         chore: rename assert_parser to expect_parser rvcas 2023-02-09 01:05:11 -0500
  • 9348caab2f
         feat(expect): update formatter rvcas 2023-02-09 00:57:38 -0500
  • 6f591c633d
         chore: fmt most of the acceptance tests rvcas 2023-02-09 00:57:14 -0500
  • 3f540c7c99
         chore: rename assignment kind rvcas 2023-02-09 00:47:38 -0500
  • dbd162e985
         feat: handle expect in parser rvcas 2023-02-09 00:43:29 -0500
  • 5a4a8df727
         feat(token): add Token::Expect rvcas 2023-02-09 00:25:54 -0500
  • fd14da0720 chore: fix blueprint tests rvcas 2023-02-08 23:52:05 -0500
  • 7b29a75cc0 test name number fix Kasey White 2023-02-08 04:00:42 -0500
  • f60b7d84c1 clippy fix Kasey White 2023-02-08 03:52:50 -0500
  • 076871492b fix: unwrap used in a reachable place. Replaced with alternative option Kasey White 2023-02-08 03:43:42 -0500
  • 9ae28aaa88 all nebula tests pass. Had one more fix on listaccessor to finish Kasey White 2023-02-08 02:37:54 -0500
  • 986a6009f7 fix: Various fixes for FieldsExpose, ListAccessor, TupleAccessor Kasey White 2023-02-07 17:42:33 -0500
  • cf7a20b986 Add new acceptance test scenario: 052 KtorZ 2023-02-07 14:49:37 +0100
  • c50bf94020 Add new acceptance test scenario: 053 KtorZ 2023-02-07 16:42:10 +0100
  • 95a62f7172
         Fix oversights in blueprint / schema generation. KtorZ 2023-02-08 19:04:41 +0100
  • f9892434bf
         Merge pull request #350 from spacebudz/constr_tests Matthias Benkort 2023-02-08 16:54:51 +0100
  • 221f1afbfe
         Changed imports alessandrokonrad 2023-02-08 16:28:59 +0100
  • 74b3507777
         Added tag/constructor conversion tests alessandrokonrad 2023-02-08 16:26:58 +0100
  • 242eaa8b67
         Merge pull request #347 from spacebudz/constr Ales 2023-02-08 14:52:50 +0100
  • ce648b7483 Fixed schnorr and limiting it to 32 bytes messages for now alessandrokonrad 2023-02-08 10:36:26 +0100
  • 3012a0b41d
         Fix constructor tag range alessandrokonrad 2023-02-08 13:14:26 +0100
  • 477c938cbb
         Merge pull request #344 from spacebudz/prehash Ales 2023-02-07 23:11:10 +0100
  • 7c9443d87f
         Changed to prehash function alessandrokonrad 2023-02-07 22:53:30 +0100
  • 145484f5ab
         Merge pull request #341 from aiken-lang/patch/cargo.nix Matthias Benkort 2023-02-07 14:33:18 +0100
  • cb5d0030a5 [create-pull-request] automated change KtorZ 2023-02-07 13:31:33 +0000
  • 244c122560
         Reinstate workflow SSH key access for Nix workflow. KtorZ 2023-02-07 14:23:45 +0100
  • 7984f6908c
         Merge pull request #244 from aiken-lang/flake Matthias Benkort 2023-02-07 13:16:30 +0100
  • 590f40139f
         Add support for Nix flakes. Micah Kendall 2023-01-07 22:05:49 +1100
  • 6e554129e9
         Fix blueprint validator tests. KtorZ 2023-02-07 12:28:34 +0100
  • 8feaefe073
         Merge pull request #335 from aiken-lang/blueprint-parameters Matthias Benkort 2023-02-07 11:43:01 +0100
  • 4aa92a6d5e
         Use positional argument for blueprint 'apply' command KtorZ 2023-02-07 11:42:42 +0100
  • 08e8347317 chore: rename feature flag to native-secp256k1 rvcas 2023-02-06 14:59:58 -0500
  • 67a2674d27 feat: allow verify functions to build for wasm rvcas 2023-02-06 14:43:21 -0500
  • 5d0c5d2a5b remove a redundant type replacement in build_ir Kasey White 2023-02-05 23:56:44 -0500
  • 3ff927d30a feat: reset the generator when generate finishes rvcas 2023-02-05 20:26:52 -0500
  • 501d667532 chore: fix tests rvcas 2023-02-05 20:20:49 -0500
  • f1b24a5f6d fix: the following issues fix conversion from inner opaque type for when and assignment This fixes Clause being used in cases where ListClause or TupleClause should be used Reset defined and zero arg functions between each code gen Fixes for optimizations when encountering shadowed variables Kasey White 2023-02-05 17:40:10 -0500
  • c32a9d7b6f commit working changes so far Kasey White 2023-02-05 15:35:32 -0500
  • 31cd19f198 feat: use secp256k1 to implement verify for ecdsa and schnorr rvcas 2023-02-04 17:50:39 -0500
  • cde3e31723 feat: fill in todo for verify ecdsa and schnorr costing rvcas 2023-02-04 17:49:55 -0500
  • 09d8d683b6 fix: switch to error from secp256k1 rvcas 2023-02-04 17:49:17 -0500
  • fb69a2c8a9 fix: switch to rust bindings for bitcoin-secp256k1 rvcas 2023-02-04 17:48:43 -0500
  • 025bf73254 test: verify schnorr and ecdsa rvcas 2023-02-04 17:48:10 -0500
  • c2ff9389c5 feat(runtime): implement verifyEcdsaSecp256k1Signature rvcas 2023-02-04 16:26:05 -0500
  • d224fe5356 feat(runtime): set force count and arg typechecking for the elliptic curve builtins rvcas 2023-02-04 16:25:32 -0500
  • fb37521857 feat: make a transparent machine error for signature::Error rvcas 2023-02-04 16:24:39 -0500
  • 175cd777d8 feat: enable elliptic curve verification builtins rvcas 2023-02-04 16:24:00 -0500
  • 7bffb994fc feat: add k256 for elliptic curve algos rvcas 2023-02-04 16:23:16 -0500
  • 71b7ec6088 chore(deps): bump tokio from 1.23.1 to 1.24.2 dependabot[bot] 2023-02-04 23:20:00 +0000
  • ddad05bf51
         chore: leave a comment for later rvcas 2023-02-04 15:33:18 -0500
  • b04fb5962a
         Do not compute addresses of parameterized validators KtorZ 2023-02-04 11:49:56 +0100
  • 9b8ff590b8
         Implement 'blueprint apply' command. KtorZ 2023-02-04 11:39:55 +0100
  • ea269b14a2
         Fix deserialization issue when 'parameters' is missing. KtorZ 2023-02-04 11:38:09 +0100
  • 592d3d7a1c
         Define 'apply_parameter' method on 'Project' KtorZ 2023-02-04 10:44:33 +0100
  • 12f4768008
         Write method to apply a UPLC term to an existing 'Validator' KtorZ 2023-02-04 10:22:23 +0100
  • 9c71aab3db
         Factor out reusable parts regarding blueprints from lib/project KtorZ 2023-02-04 10:21:45 +0100
  • 55ecc199d1
         Add 'parameters' to blueprints for parameterized validators. KtorZ 2023-02-04 09:31:39 +0100
  • 4c8221e439 fix: add is data check to recursive_assert_tipo Kasey White 2023-02-04 02:47:55 -0500
  • 86ca466807 feat: some code gen improvements Kasey White 2023-02-04 02:27:12 -0500
  • 6053e76f6f chore: more acceptance tests Kasey White 2023-02-04 02:23:44 -0500
  • c126f6acda feat: invert how casting is controlled rvcas 2023-02-03 22:35:05 -0500
  • 2b554d105a fix: when Data cast bypass rvcas 2023-02-03 21:03:04 -0500
  • a9ed04ef22 feat: newer rules around casting Data rvcas 2023-02-02 18:23:19 -0500
  • 910d5ad312 Delete fib_iter.uplc Niels Mündler 2023-02-02 16:08:59 +0100
  • 700e9cab5b Add missing carets when dumping builtin list Niels Mündler 2023-02-02 16:01:50 +0100
  • 0f6d2487ec
         fix: acceptance test 040 after new casting rules rvcas 2023-02-02 01:17:58 -0500
  • ae42dc964a
         fix: allow var and discard with data on right hand side rvcas 2023-02-02 01:16:53 -0500
  • 79b0af15da
         chore: commit acceptance test plutus files rvcas 2023-02-02 00:49:47 -0500
  • 39e0716f5f
         feat: better rules around Data casting rvcas 2023-02-02 00:43:45 -0500
  • 0ee083cc9a
         chore(examples): commit updated plutus.json rvcas 2023-02-01 23:54:35 -0500
  • c9d0ce0392 chore: fmt rvcas 2023-02-01 23:43:38 -0500
  • 50b5273967 fix(tests): validator hashs and cbor changed for blueprints rvcas 2023-02-01 23:37:50 -0500
  • 1843b7e73b clippy fix and remove some prints Kasey White 2023-02-01 22:31:13 -0500
  • 9dc2bac2c3 fix:minor optimization fixes Unique only comparison for equals led to strange results Fixed by interning in a different spot Kasey White 2023-02-01 22:03:50 -0500
  • fdf89b7326 implement optimizations -Force usage on builtins -Inline vars used once -Lambdas that use a var as an arg -Lambdas that use a const as an arg Kasey White 2023-02-01 20:50:51 -0500
  • 88ce8ba8b9 feat: remove check assignment rvcas 2023-02-01 20:25:56 -0500
  • 21251d6499
         fix: remove check from lexer rvcas 2023-02-01 20:44:58 -0500
  • 3123ad9079 change eval_builtin_app to return Rc so that ifthenelse and chooselist are faster Kasey White 2023-02-01 15:22:17 -0500
  • 456b08a205 minor performance improvements Changed a couple cases where the inner Rc object was cloned to use the Rc object instead Kasey White 2023-02-01 14:20:15 -0500
  • 99c1c880b0 chore: more clippy rvcas 2023-02-01 13:23:17 -0500
  • a365649360 chore: clippy autofix rvcas 2023-02-01 13:08:54 -0500
  • 4530507109 chore: remove debug symbols in release rvcas 2023-02-01 12:21:56 -0500
  • 9c4e921e79 feat: more Rc in machine rvcas 2023-01-31 21:01:13 -0500
  • c8efe60843 feat: use Rc for more things, fib_iter runs almost 3 seconds faster now rvcas 2023-01-31 03:30:45 -0500
  • eda3194cf0 feat: trying Rc for Name rvcas 2023-01-30 11:41:48 -0500
  • b5d9a9bb52 Change discharge_value and discharge_value_env to use a stack machine Kasey White 2023-01-29 16:15:59 -0500
  • 790e8ba680 fix: start trying to get rid of recursion for discharge value rvcas 2023-01-28 02:05:46 -0500
  • cb8bdac39d chore: we can now turn cargo audit back on rvcas 2023-02-01 14:38:47 -0500
  • 618ea0c8dc feat: switch to zip from zip-extract rvcas 2023-02-01 14:38:26 -0500
  • 651f757b63 chore(deps): bump bzip2 from 0.4.3 to 0.4.4 dependabot[bot] 2023-02-01 17:38:00 +0000