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

Commit Graph

  • 1a09a34873 mknil builtins Kasey White 2022-08-26 03:26:53 -0400
  • c34344ce21 add a few additional data builtins Kasey White 2022-08-26 03:01:24 -0400
  • c9c8e6e554 add unmap and other builtins to deconstruct data Kasey White 2022-08-26 01:40:29 -0400
  • 73e367ad53 add a data builtin and do ex_mem for pairs, list, data Kasey White 2022-08-26 00:21:18 -0400
  • 45e22c1ea8
         Release 0.0.10 rvcas 2022-08-27 16:45:04 -0400
  • 03847259f7 Removing whitespace zypeh 2022-08-27 13:48:44 +0800
  • b474abdb9b Rewrite test in proptest, remove quickcheck dep zypeh 2022-08-27 13:46:44 +0800
  • 8eb2d24704 fix clippy check Kasey White 2022-08-25 19:05:04 -0400
  • aeae9aa51e zigzag zagzig zypeh 2022-08-25 21:43:22 +0800
  • b81986c44c Adding more tests zypeh 2022-08-25 21:13:47 +0800
  • ef81427b62 Fixed bug if byte array exceed 255 bytes zypeh 2022-08-25 21:13:29 +0800
  • 10461779af Moved the test and use compiler specific function zypeh 2022-08-25 21:12:25 +0800
  • 7cff93e718 Code linting zypeh 2022-08-25 18:27:06 +0800
  • 40fd4ae447 Adding test cover the write_blk encode function zypeh 2022-08-25 18:26:07 +0800
  • 9ded4d79d5 Move test to tests directory zypeh 2022-08-25 17:56:15 +0800
  • f997a6250c Eliminate the recursive call zypeh 2022-08-25 17:38:39 +0800
  • 09ae98065c remaining buitlins for list and integer Kasey White 2022-08-23 23:58:19 -0400
  • 3f6ad6be60 verify signature changed name and cost Kasey White 2022-08-22 21:18:22 -0400
  • c03d3e3604
         fix budget restriction back to protocol params (#39) Kasey White 2022-08-21 16:52:31 -0400
  • 2b27261711
         Release 0.0.9 rvcas 2022-08-17 22:48:06 -0400
  • 8ed87c5f17 chore: fix clippy issues rvcas 2022-08-17 22:35:49 -0400
  • 2bb482d9ec Using rc we now get code that runs much faster and can run jpg contract with no inputs Kasey White 2022-08-17 05:21:40 -0400
  • fb81955f51 start changing machine to use rc instead of box (does compile) Kasey White 2022-08-15 00:51:12 -0400
  • c050a5647f remove some unnecessary clones with more optimizations to come Kasey White 2022-08-15 00:20:47 -0400
  • c3f0814c9b
         Release 0.0.8 rvcas 2022-08-12 19:45:20 -0400
  • f3ace55355 Implement more builtins for bytestring and integer Kasey White 2022-08-10 01:27:11 -0400
  • 7f1ffd8e2f
         chore: change nix job name rvcas 2022-08-08 15:00:30 -0400
  • 956eacde5b
         Update README.md (#31) Olof Blomqvist 2022-08-08 14:23:59 +0200
  • 11ee99c199 Add several builtins for strings and bytestring Kasey White 2022-08-07 22:12:26 -0400
  • 0e5d25b019 feat: add a nix flake John Rinehart 2022-06-14 22:47:06 +0100
  • 4d04942a5e
         Release 0.0.7 rvcas 2022-08-05 13:15:26 -0400
  • b83394be74 feat: decode proto list and proto pair rvcas 2022-08-05 00:23:26 -0400
  • e8f783e7bb feat: decode plutus data rvcas 2022-08-04 13:46:46 -0400
  • fa3c88a31e feat: add from_cbor and from_hex rvcas 2022-08-04 12:48:09 -0400
  • e6be899b2a feat: fill in encode constant todos rvcas 2022-08-04 12:22:14 -0400
  • 61b70e7e3d feat: encode plutus data rvcas 2022-08-04 11:59:40 -0400
  • d14920265e flat encoding for list and pairs Kasey White 2022-08-04 02:36:39 -0400
  • 198dae7f5d feat: impl display for Program and Term where T: Binder rvcas 2022-08-03 21:59:57 -0400
  • e70881c27c feat: add some missing enum members to constant rvcas 2022-08-03 17:29:27 -0400
  • 8e8f1270b5 feat: to_cbor and to_hex for Program rvcas 2022-08-03 17:15:57 -0400
  • beaeeb26fc
         chore: use max-height rvcas 2022-08-02 19:26:18 -0400
  • 339e638705 feat: impl eval for Program<DeBruijn> rvcas 2022-08-02 17:17:14 -0400
  • 207f9e5ab0
         Release 0.0.6 rvcas 2022-08-02 14:04:30 -0400
  • 8a18362632
         chore: update readme rvcas 2022-07-31 11:52:28 -0400
  • bddca386dd
         chore: update readme rvcas 2022-07-31 11:51:16 -0400
  • d4f76b7ca5
         feat: update readme rvcas 2022-07-31 11:44:49 -0400
  • 21c9f36d5a
         feat: add logo rvcas 2022-07-31 11:26:44 -0400
  • a3a175d74b switch to stack model for plutus eval Kasey White 2022-07-28 02:40:44 -0400
  • 4acbd704e0 fix compilation issue Kasey White 2022-07-25 23:56:18 -0400
  • 234ab7c7cb Try out recursion for environment and frames Kasey White 2022-07-25 02:14:58 -0400
  • be38d1eebe fix fmt error Kasey White 2022-07-24 19:56:00 -0400
  • 2552a9c203 Finish docs for decoder Kasey White 2022-06-29 18:02:43 -0400
  • ac3ab5b47a chore: start decoding docs and fix wording for encode docs Kasey White 2022-06-29 16:28:50 -0400
  • 3aaec0936d chore: create docs for encoding Kasey White 2022-06-29 01:04:44 -0400
  • b3cb9c4510 use expect instead of unwrap Kasey White 2022-07-24 19:47:13 -0400
  • 2a85567154 chore: clippy rvcas 2022-07-20 23:57:44 -0400
  • 9e62181caa feat: new Error not a constant rvcas 2022-07-20 23:53:57 -0400
  • 77a7b11467 feat: finish to_ex_mem for constant rvcas 2022-07-20 23:52:26 -0400
  • f332dfeb38 feat: 3 new error cases and more generic pretty printing rvcas 2022-07-15 23:26:57 -0400
  • 598c5364fe implement force for builtins Kasey White 2022-07-15 20:43:22 -0400
  • 22f90bf07f feat: impl ifThenElse kinda rvcas 2022-07-15 19:40:56 -0400
  • 83b9294ac1 chore: print runtime rvcas 2022-07-15 18:03:34 -0400
  • b7e6f7b27f feat: add default builtin costs rvcas 2022-07-14 23:14:45 -0400
  • 9f977f7e58 add costing capability for builtins Kasey White 2022-07-14 22:26:41 -0400
  • 84df3be139 start filling in builtin cost model Kasey White 2022-07-12 23:50:25 -0400
  • a5140513de fix: debruijn index - 1 Kasey White 2022-07-09 22:12:51 -0400
  • d55409d8c5 feat: basic builtin execution rvcas 2022-07-09 21:46:01 -0400
  • 9ea57aa461 Add some runtime types Kasey White 2022-07-09 15:41:31 -0400
  • 045dc8fed8 add builtin cost model Kasey White 2022-07-07 23:16:51 -0400
  • e8aa013aa4 chore: set to zero in spend loop rvcas 2022-07-07 13:43:24 -0400
  • 93f7849fc0 Finish machine evaluation for all terms except builtin Kasey White 2022-07-06 23:44:24 -0400
  • 0e2214a908 Implement apply evaluate Kasey White 2022-07-06 23:12:26 -0400
  • 650a789194 chore: step and maybe spend rvcas 2022-07-06 22:33:00 -0400
  • 0bf93e59b5 add evaluation for terms Kasey White 2022-07-06 02:11:46 -0400
  • 795d9ee028 feat: clean up the machine a bit rvcas 2022-07-03 16:38:55 -0400
  • de476c801b Add costing to steps Kasey White 2022-07-03 14:57:39 -0400
  • 7b8018447f create initial enums and function of the UPLC cek interpreter Kasey White 2022-07-02 22:15:19 -0400
  • 0ea42ab7e7
         Remove commented code related to closed story (#23) MitchTurner 2022-07-10 12:32:36 -0700
  • ada7b00b49
         Expand builder (#20) MitchTurner 2022-07-01 20:50:58 -0700
  • 7f70ae0f74 Remove experimentation in features Turner 2022-06-28 22:40:45 -0700
  • a238dc58a6 Move program builder to uplc crate Turner 2022-06-28 22:27:40 -0700
  • f8aae49fce Appease Clippy-sama Turner 2022-06-27 17:10:17 -0700
  • 6748395d9e Remove TODOs Turner 2022-06-27 17:05:48 -0700
  • 35bdd542f1 Add test for nested lambdas Turner 2022-06-27 16:59:30 -0700
  • 888e64d485 Refactor Lambda too Turner 2022-06-27 14:07:08 -0700
  • c7dfd01a5e Refactor Turner 2022-06-27 13:43:21 -0700
  • 41a7b73877 Add test for lambda and some edge cases for constant Turner 2022-06-22 22:58:43 -0700
  • e667fc3613 Add passing tests for builder Turner 2022-06-22 21:53:02 -0700
  • 4db39c8790
         Release 0.0.5 rvcas 2022-06-27 11:46:21 -0400
  • 302da5e20d Fix clippy warning Kasey White 2022-06-26 21:34:39 -0400
  • 4eafdd2d39 fix issue with same names causing 0 index debruijn for var Kasey White 2022-06-26 21:30:24 -0400
  • 027daf30ea Add TODO for failing test with link to bug Turner 2022-06-20 14:55:07 -0700
  • 19fd6a0e8c Add comment explaining why that test is only one-way Turner 2022-06-20 14:40:36 -0700
  • 1b00e4d416 Sanitize fibonacci program to make round-trip tests happy, isolate unsanitary code Turner 2022-06-20 14:28:11 -0700
  • 787f345275 Add new uplc case to test, it is failing Turner 2022-06-19 22:33:24 -0700
  • 5ba7349f4a Refactor tests, move them into integ folder Turner 2022-06-19 22:21:39 -0700
  • d8c8f56da1 Create rust.yml MitchTurner 2022-06-20 20:56:22 -0700
  • 38e78cafeb
         chore: readmes in uplc and cli rvcas 2022-06-18 23:15:05 -0400
  • 0dd5cf2cb6
         Release 0.0.4 rvcas 2022-06-18 23:06:15 -0400
  • 7129ad6202
         feat: remove authors from cli help rvcas 2022-06-18 23:06:05 -0400