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

Commit Graph

  • 5cf3275793
         Detect difference in cost model length to maintain compatability with mainnet and testnet microproofs 2024-11-30 13:12:51 +0700
  • 4839273449
         Continue working on new builtin cost model updates microproofs 2024-11-25 10:03:59 +0700
  • befbb6ec18
         Start adding implementation for new builtins microproofs 2024-11-25 08:36:01 +0700
  • 49aa5e01a0
         feat: update change#2 costmodels hade 2024-11-19 12:24:34 +0700
  • 86ec3b2924
         Fix: issue crash in code gen with incorrect column length in decision trees (#1069) Kasey 2024-12-05 11:02:19 +0700
  • a9675fedc6
         Fix deserialization of SerializedProgram into wrong Plutus version wrappers. KtorZ 2024-12-03 22:21:57 +0100
  • 0b007b4405 update hello world codes Hong Jing (Jingles) 2024-11-27 13:12:50 +0800
  • c3b07dfe83
         chore(example): const's should be let's rvcas 2024-11-25 22:58:20 -0500
  • 6f1477cef7 Allow tildes in identifier names Simon Gellis 2024-11-25 12:01:13 -0500
  • 9d59333757 feat: convert gift card tutorial to lucid-evolution and weld rvcas 2024-11-25 16:09:10 -0500
  • 7c1cd81554 feat: start switching to blaze and svelte rvcas 2024-09-03 14:11:34 -0400
  • 5a8ef1aef0 add: template from docs waalge/new-include-validator-template waalge 2024-11-23 17:05:42 +0000
  • 94ff20253b
         Merge pull request #1059 from waalge/waalge/bump-flake-1-82-0 Matthias Benkort 2024-11-20 11:05:38 +0100
  • 57311d123c bump flake deps waalge 2024-11-20 09:45:28 +0000
  • e2fb28b4ce
         chore: Release KtorZ 2024-11-19 15:55:23 +0100
  • 66e39898a1
         Fix release date in CHANGELOG. KtorZ 2024-11-19 15:54:24 +0100
  • e12d7e807d
         Move JSON-schema help for check behind dedicated flag KtorZ 2024-11-19 15:48:35 +0100
  • 7a93c55d0b
         Minor fixes on the telemetry output for terminal. KtorZ 2024-11-19 15:00:03 +0100
  • b5047d623a
         Update to pallas=0.31.0 KtorZ 2024-11-19 14:53:36 +0100
  • c740e4639f
         Update CHANGELOG KtorZ 2024-11-19 13:20:24 +0100
  • eec08fcbd9
         Fix scoped path for list with tail cases only plus wild card fallback microproofs 2024-11-18 12:21:40 -0500
  • 18054eed1a
         chore: Release microproofs 2024-11-13 15:17:53 -0500
  • dc38186f33
         Update changelog for 1.1.6 microproofs 2024-11-13 15:17:39 -0500
  • 4ea6fdffe8
         Aiken UPLC Optimization overhaul (#1052) Kasey 2024-11-13 15:08:36 -0500
  • 10c1b46bf7
         Bump minimum rust version everywhere to 1.70.0 KtorZ 2024-11-13 19:38:57 +0100
  • 5960065a03
         Fix validator selection for apply, address and policy command KtorZ 2024-11-13 19:32:48 +0100
  • a51f7285c1
         Make blueprint files configurable in and out KtorZ 2024-11-13 18:12:52 +0100
  • c523b0153d
         Merge branch 'json-check-output-2' KtorZ 2024-11-13 15:09:06 +0100
  • 51a8ddcc0b
         Document test output JSON schema through '--help' KtorZ 2024-11-13 14:59:20 +0100
  • da982510dc
         Rework JSON output for tests KtorZ 2024-11-13 13:12:42 +0100
  • fafb89d838
         Prevent ANSI colors & styles to appear in JSON output. KtorZ 2024-11-13 12:52:12 +0100
  • d24a71ee04
         Define new event target for JSON, and revert option passing KtorZ 2024-11-13 11:01:58 +0100
  • 1a75568027
         Added target awareness and fixed property based test json output Riley-Kilgore 2024-10-22 09:48:26 -0700
  • d1a1d0ec01
         Remove unused args in fmt_test_json Riley-Kilgore 2024-09-16 09:37:28 -0700
  • 8ac09025f5
         Cherry picked cef3276521ba005fa30af46130dba2836347b1ae Riley-Kilgore 2024-09-16 08:29:40 -0700
  • cd42f51f1a
         Finish up tests for decision-tree modification microproofs 2024-11-08 14:11:34 -0500
  • 634b2e0f79
         Next test microproofs 2024-11-02 17:16:03 -0400
  • d350bc1935
         Change another test microproofs 2024-11-02 14:45:58 -0400
  • 362eb75329
         Continue updating tests microproofs 2024-11-01 19:34:27 -0400
  • e87d7a1101
         Fixing unit tests microproofs 2024-11-01 01:24:41 -0400
  • d39d70a5d8
         More clippy fix microproofs 2024-10-31 16:15:27 -0400
  • 1227a8a7db
         Clippy fix microproofs 2024-10-31 15:58:53 -0400
  • 6b04a78e78
         Removing unneeded Air terms and reduce by about 800 lines microproofs 2024-10-31 15:30:03 -0400
  • 1bc15f78ea
         Finished up remaining touches to the implementation. Now I need to finish unit tests and add a few more microproofs 2024-10-31 14:19:03 -0400
  • a4aaf4d2d7
         Last issue from acceptance tests microproofs 2024-10-31 01:37:03 -0400
  • 27bf40260e
         Fix pairs not being unwrapped when wrapped as fields microproofs 2024-10-31 01:03:54 -0400
  • 25e4b42cd0
         Fix more tests and issues microproofs 2024-10-30 20:43:58 -0400
  • 6e94d502a7
         Fix more tests and issues microproofs 2024-10-29 18:12:04 -0400
  • 7655a6ecbe
         Fix test issues microproofs 2024-10-29 14:31:55 -0400
  • b4d142ca9d
         Fix assigns sometimes having free uniques microproofs 2024-10-29 01:32:13 -0400
  • fa203ba9a2
         Done with list pattern translation. Now to fix up tests microproofs 2024-10-28 17:57:18 -0400
  • 8591bedc1e
         Finish up list pattern translation to air microproofs 2024-10-27 22:58:22 -0400
  • 1a15440d24
         Checkpoint for today microproofs 2024-10-24 01:06:21 -0400
  • 9dbe66bc0c
         Producing uplc now. Just need to finish ListSwitch microproofs 2024-10-23 18:14:02 -0400
  • 342676f530
         Continue work on integrating the decision tree into code gen microproofs 2024-10-23 14:24:49 -0400
  • 61184fbb86
         Use Stick breaking set to track previously encountered values for each DecisionTree switch case microproofs 2024-10-22 17:04:29 -0400
  • 5eac774443
         Commit latest changes so far microproofs 2024-10-21 15:48:29 -0400
  • 753b41dc99
         Done with hoisting. Now to use it in gen_uplc. I hate RcDoc btw :'/ microproofs 2024-10-18 17:23:48 -0400
  • 9601c1034b
         Leave todo message for tomorrow microproofs 2024-10-17 18:43:05 -0400
  • 7966cc0165
         Finish up decision tree and rework it a bit to closely follow how the paper handles wild card patterns microproofs 2024-10-17 18:40:32 -0400
  • 3b3fcb666f
         Finish with adding constrs microproofs 2024-10-17 01:31:28 -0400
  • ecf4592be1
         Pass in interner and data types map into decision tree builder microproofs 2024-10-16 21:28:00 -0400
  • 64f7886b23
         Finished up creating the decision tree for lists. Only constr left. microproofs 2024-10-16 19:07:48 -0400
  • b340de2cfd
         Incremental commit for dealing with list tails microproofs 2024-10-15 14:37:19 -0400
  • ca161d8a68
         Continue work on handling lists with tails pattern matching microproofs 2024-10-14 13:19:25 -0400
  • def268d966
         Now working for all kinds of patterns except for constr microproofs 2024-10-11 01:18:49 -0400
  • 9369cbc1a3
         Remove some warnings microproofs 2024-10-10 12:14:04 -0400
  • 43e859f1ba
         Rework Decision Trees to use path to find the subject to test microproofs 2024-10-10 12:11:13 -0400
  • 20385a7ecd
         Handle tuples and pairs properly now microproofs 2024-10-09 22:04:12 -0400
  • 97ee1a8ba6
         Start working on using a decision tree for when expr. Also fmt fix. Other Stuff microproofs 2024-10-08 13:30:29 -0400
  • 2489e0fdd0
         Fix aiken docs constant generation KtorZ 2024-10-29 14:15:31 +0100
  • 2b7ca0e4a1
         Avoid unsafe unwrap of line_numbers, gracefully handle non-existing matches KtorZ 2024-10-25 11:36:05 +0200
  • 93d0191489
         Fix latest clippy warnings. KtorZ 2024-10-25 11:27:28 +0200
  • e97fe332b1
         Rename --filter_traces to --trace_filter KtorZ 2024-10-25 11:08:05 +0200
  • 8e90a933c6
         Add better METAVAR info to some command-line flags. KtorZ 2024-10-25 10:57:16 +0200
  • 7c4e044423
         Rename --blueprint-input to --in KtorZ 2024-10-25 10:51:57 +0200
  • f42cd83f10
         Merge pull request #1047 from aiken-lang/riley/update-changelog Matthias Benkort 2024-10-25 10:42:53 +0200
  • ab39eb82ce Updated changelog again, forgot to put my name Riley-Kilgore 2024-10-24 14:31:48 -0700
  • 413932d86b Updated Changelog Riley-Kilgore 2024-10-24 11:47:34 -0700
  • 8d8f91b76e Add blueprint file input as option for blueprint apply Riley-Kilgore 2024-10-24 09:24:04 -0700
  • a7741ec286
         chore: Release microproofs 2024-10-19 13:45:54 -0400
  • 3e076dd895
         Update changelog for 1.1.5 microproofs 2024-10-19 13:44:22 -0400
  • b3e6c3ab6b
         Fill-in CHANGELOG. KtorZ 2024-10-19 11:04:18 +0200
  • b04bb40532
         Merge branch 'integer-to-bytearray-cost-fix' KtorZ 2024-10-19 11:03:37 +0200
  • 365b3bf5bf
         Remove dead-code and clarify note. KtorZ 2024-10-19 11:00:46 +0200
  • 7f13fca1a4
         Revert "Add acceptance tests #114" KtorZ 2024-10-19 10:52:37 +0200
  • 4b95db4f88
         Fix data-type reification from Void KtorZ 2024-10-19 10:50:44 +0200
  • 523b270a8f
         Adjust telemetry output log. KtorZ 2024-10-19 10:40:30 +0200
  • 53685dd1d5
         Update cost model to properly calculate integer_to_bytearray microproofs 2024-10-18 13:07:49 -0400
  • 9dd3ead3df
         IntegerToByteString takes in the second param itself microproofs 2024-10-17 20:01:01 -0400
  • a18af83786
         Add acceptance tests #114 KtorZ 2024-10-13 13:40:25 +0200
  • 5fd349f571
         Remove an unused opcode microproofs 2024-10-08 20:32:56 -0400
  • 5d4b3e69b9
         Revert "Start working on using a decision tree for when expr. Also fmt fix" microproofs 2024-10-08 13:33:05 -0400
  • e8f74985d5
         Start working on using a decision tree for when expr. Also fmt fix microproofs 2024-10-08 13:30:29 -0400
  • c7ae161a39
         Mention quirks about gnu/musl linux artifact in the release guidelines. KtorZ 2024-10-02 12:08:01 +0200
  • 79d0e45099
         Don't mark openssl dependencies as optional on musl. KtorZ 2024-10-02 11:32:17 +0200
  • f4dbe1624a
         Use target_os = linux instead. KtorZ 2024-10-02 10:59:50 +0200
  • 19fe1d37e7
         Make bundling of ssl conditionned by target environment instead of feature flag. KtorZ 2024-10-02 10:50:54 +0200
  • b0cad2bf1d
         Update cargo-dist to v0.22.1 KtorZ 2024-10-02 10:27:00 +0200
  • 5204831bac
         Fix superfluous toml key in Cargo.toml. KtorZ 2024-10-02 10:14:27 +0200