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

Commit Graph

  • 9aa9070f56
         Revise desugaring following feedback KtorZ 2024-08-21 14:31:57 +0200
  • fbe6f02fd1
         Allow assignment as last expression KtorZ 2024-08-20 14:19:27 +0200
  • 7435dfd0e5
         Switch back to pallas crates release now that 0.30.0 is out. KtorZ 2024-08-23 15:59:05 +0200
  • d1ee90a3a0
         Update CHANGELOG.md KtorZ 2024-08-23 10:41:20 +0200
  • 0f905045e7
         Rename mk_nil_data, mk_pair_data & mk_nil_pair_data builtins. KtorZ 2024-08-23 10:39:37 +0200
  • 6e67fe837b
         Keep constants and types sorted; only functions are unsorted. KtorZ 2024-08-23 10:30:18 +0200
  • c3e39301e2
         Re-format source code using cargo fmt. KtorZ 2024-08-22 16:42:41 +0200
  • 39c1b5a68a
         Merge branch 'generated-docs-improvements' KtorZ 2024-08-22 16:38:15 +0200
  • b479a289cf
         Implement source linker and add URL to source code in generated docs. KtorZ 2024-08-22 16:37:48 +0200
  • 44e42d608d
         Allow hidden modules, not generating any documentation. KtorZ 2024-08-22 15:29:49 +0200
  • 7eee3ce63c
         Fix CLI output colors when generating documentation. KtorZ 2024-08-22 15:08:34 +0200
  • 10c829edfa
         Parse and display documentation section headers. KtorZ 2024-08-22 15:08:21 +0200
  • 0ff12b9246
         Better module hierarchy and style for generated docs. KtorZ 2024-08-22 13:59:53 +0200
  • 8b869c0a32
         Do not sort functions, types and constants in generated docs KtorZ 2024-08-22 12:35:41 +0200
  • 0b6b672149
         Merge pull request #984 from aiken-lang/acceptance_107 Matthias Benkort 2024-08-21 14:43:59 +0200
  • 35b7066163
         Introduce acceptance test 107 illustrating compiler crash KtorZ 2024-07-27 14:12:09 +0200
  • 802e8272c5
         Properly display constructor arguments documentation, if any. KtorZ 2024-08-17 17:01:28 +0200
  • 2bb2f11090
         Update CHANGELOG.md Matthias Benkort 2024-08-14 10:03:42 +0200
  • 32e6705423
         Merge branch 'tx-simulate-plutus-v3' KtorZ 2024-08-14 03:17:14 +0200
  • 520ceff83d
         Do not ignore ctx/inputs.cbor; it is used/needed by the test runner. KtorZ 2024-08-14 03:09:45 +0200
  • b104356fb9
         (temporarily) make script context tests more verbose. KtorZ 2024-08-14 03:02:40 +0200
  • 42784965d2
         Implement new costing function for {divide,quotient,mod,remainder}_integer KtorZ 2024-08-14 02:46:04 +0200
  • 2cb87f4f8f
         Add PlutusV3 conformance tests and also control budgets KtorZ 2024-08-14 02:42:04 +0200
  • f879f6d183
         Fix script context translations for withdrawals and validity intervals. KtorZ 2024-08-13 23:43:47 +0200
  • fe5c5650a1
         Tweak .gitattributes to exclude insta snapshots from stats (and provide better diffing). KtorZ 2024-08-13 17:16:22 +0200
  • 5067aad0d8
         Fix 'Pair' formatter inside forced unbroken components. KtorZ 2024-08-13 17:05:41 +0200
  • 7501538053
         Add script context translations for voting purpose. KtorZ 2024-08-13 16:18:52 +0200
  • bfc93bf076
         Add script context translation for new Conway certificates KtorZ 2024-08-12 02:10:00 +0200
  • f244b9c496
         Add support for protocol parameters (except cost models) KtorZ 2024-08-11 18:47:28 +0200
  • 50dad1fdfe
         Test proposal procedures through Aiken. KtorZ 2024-08-11 00:53:19 +0200
  • cfca0da4e9
         Add (partial) support for simulating contract with proposal procedures KtorZ 2024-08-10 23:24:30 +0200
  • 6b6bace8a5
         test 'mint' purpose and script context creation. KtorZ 2024-08-10 15:56:53 +0200
  • eea8dc7d0a
         Support multi-validator in script context accept test. KtorZ 2024-08-10 14:11:24 +0200
  • b158469144
         Improve / fix machine and uplc error reporting. KtorZ 2024-08-10 14:10:43 +0200
  • f56b9bbbc7
         Rename function variable in parser KtorZ 2024-08-10 14:06:13 +0200
  • 62b1b932f9
         Write down first e2e script context test for v3. KtorZ 2024-08-09 19:04:25 +0200
  • 821f7bd8c7
         Fix ToPlutusData serializer for V3 KtorZ 2024-08-09 16:50:12 +0200
  • f848bad3f2
         define UPLC machine default cost models for Plutus V3. KtorZ 2024-08-09 01:11:58 +0200
  • fdf7a81288
         implement a strict subset of PlutusV3 transaction info KtorZ 2024-08-08 23:01:17 +0200
  • c454dc72eb
         Actually decode Conway transaction in 'aiken tx simulate' KtorZ 2024-08-08 18:18:07 +0200
  • 508d88035b
         Fix Plutus v3 validator hash calculation in blueprint. KtorZ 2024-08-08 18:17:38 +0200
  • 445ffc483d
         Further remove todos for v3, and reduce duplication in transaction evaluation KtorZ 2024-08-08 16:20:04 +0200
  • ff4a480242
         Upgrade pallas to v0.0.29, and start support for simulating transactions carrying Plutus v3 scripts. KtorZ 2024-08-07 20:18:16 +0200
  • 0dec4dc533
         Move script context e2e tests under a nested 'v2' directory. KtorZ 2024-08-07 09:12:42 +0200
  • cab58e5aab One other place Riley-Kilgore 2024-08-08 17:11:30 -0700
  • 213ad48de7 Fixed span calculation for backpassing (sort of) Riley-Kilgore 2024-08-08 17:09:45 -0700
  • eb4a43719c
         Merge pull request #998 from aiken-lang/riley/misc-hover Matthias Benkort 2024-08-12 02:16:38 +0200
  • 3b94717c58
         Merge pull request #996 from aiken-lang/acceptance-scenario-108 Matthias Benkort 2024-08-10 16:05:01 +0200
  • 52c8ca6cee Added fix to Fn find_node Riley-Kilgore 2024-08-08 17:15:28 -0700
  • 72059eacee
         Fix: Recursion issue where the static param optimization on recursive functions that were passed as arguments to other functions microproofs 2024-08-08 19:36:16 -0400
  • 6e4a16d8e0
         Illustrate new failing scenario with multi-arg function identifiers KtorZ 2024-08-06 17:00:13 +0200
  • 59bc9e04ad
         Box large elements in project errors. KtorZ 2024-08-06 14:27:49 +0200
  • b36250d183
         Provide better errors on unknown type in cyclic definitions. KtorZ 2024-08-06 11:45:42 +0200
  • 6fd9b34b92 Running examples as doc tests is not gonna work microproofs 2024-08-08 00:32:59 -0400
  • 53c461294b Fix example that was throwing an error microproofs 2024-08-08 00:25:26 -0400
  • 31627897d7 Fix example that was throwing an error microproofs 2024-08-07 16:01:38 -0400
  • 0800901135 Fix clippy microproofs 2024-08-07 15:57:20 -0400
  • 51fd503317 warning fix microproofs 2024-08-07 14:51:02 -0400
  • 0a1992acd2 Run acceptance tests microproofs 2024-08-07 14:48:58 -0400
  • 224f31b1d7 Fixed last gen_uplc test microproofs 2024-08-07 14:01:14 -0400
  • 56ff4ec678 Fixing other tests microproofs 2024-08-07 00:11:04 -0400
  • 7ad5491ea9 Fix major uplc test microproofs 2024-08-06 19:42:26 -0400
  • 33370b8637 Fix minor issues found when testing microproofs 2024-08-06 02:08:34 -0400
  • 4249ef2509 Fix extra delay in a test microproofs 2024-08-05 12:08:42 -0400
  • f5c4e185d4 Redact compiledCode & hash in generated blueprint tests KtorZ 2024-08-03 13:26:58 +0200
  • 8a461d5bd5 Few minor changes, clippy fixes, and test fixes microproofs 2024-08-03 01:43:43 -0400
  • 4cf81a19b1 Update most of the tests and builder functions to use the new delay_branch_functions microproofs 2024-08-02 01:37:23 -0400
  • d7e9fef4d3 Create new helper functions to take care of force and delaying branch terms microproofs 2024-08-02 00:24:21 -0400
  • 23a3134642 Rework choose_data_xxx API to include force/delay inside functions. KtorZ 2024-08-01 19:56:42 +0200
  • d23a5b2f11 Fix test for expect_head_cast_data_with_tail microproofs 2024-08-01 13:10:13 -0400
  • 8b30f064a2 Make gen_uplc test output more readable + start debugging expect_head_cast_with_tail KtorZ 2024-08-01 18:09:04 +0200
  • 021679b8ac Force unwrap_xxx_or inside function body KtorZ 2024-08-01 17:42:20 +0200
  • a132a2e486 Fix unwrap issues microproofs 2024-08-01 11:15:47 -0400
  • 93a141bfa4 Test and fix 'unwrap_void_or' KtorZ 2024-08-01 16:55:37 +0200
  • 49ddcccd12 Revert checking for negative constr on bool KtorZ 2024-08-01 16:48:08 +0200
  • aefbc6e1b9 Define a safer API for unwrap_xxx_or and choose_data_xxx KtorZ 2024-08-01 16:45:30 +0200
  • 846c16087e Test (and fix) unwrap_or helpers. KtorZ 2024-08-01 14:58:16 +0200
  • ea8003af8f Fix bool soft-casting. KtorZ 2024-08-01 13:08:29 +0200
  • 9610237616 Refactor unknown_data_to_type, break down into smaller functions. KtorZ 2024-08-01 12:29:34 +0200
  • c3a61706b5 Factor out common UPLC logic for converting Data to Bool. KtorZ 2024-08-01 10:42:43 +0200
  • 05504b9762 Fix out of order expect check. Also fix no_inline error in code gen. @acceptance_107 microproofs 2024-07-31 10:00:45 -0400
  • 663695558c Fix remaining errors and now onto testing microproofs 2024-07-30 14:10:50 -0400
  • 0be5229f1c Only 2 errors and todos left to finish microproofs 2024-07-29 14:45:54 -0400
  • 6ba9a312f0 Work through all but constr case for expect_type_assign TODO: constr case for expect_type_assign TODO: soft_cast opcode uplc codegen TODO: fix PairAccessor opcode uplc codegen microproofs 2024-07-28 23:42:26 -0400
  • dd5badd884 Start work on revamping assignment so we can handle soft casting properly microproofs 2024-07-28 16:14:41 -0400
  • 9ea54afd12 Add on more example illustrating if/is issue. KtorZ 2024-07-27 09:27:38 +0200
  • a6c5dbb5ad Thread down if/is pattern assignment type down to code-generation. KtorZ 2024-07-25 16:36:09 +0200
  • c4abf2e8f4 Add acceptance test 106 showing issue with if/is implicit casting. KtorZ 2024-07-25 16:34:50 +0200
  • aa872846bb
         Re-generate insta snapshots, remove obsolete snapshots. KtorZ 2024-08-06 19:03:45 +0200
  • 9d8fdf787c
         Improve formatter on long-lines, in particular bin-ops. KtorZ 2024-08-06 17:29:00 +0200
  • 91e0e2493a
         Provide better errors on unknown type in cyclic definitions. KtorZ 2024-08-06 11:45:42 +0200
  • 1ae6640cd0
         Make alternative clause parser more flexible. KtorZ 2024-08-06 11:31:11 +0200
  • 8c121f6d97
         Document 'export' and provide better errors on module not found. KtorZ 2024-08-06 11:09:05 +0200
  • e3b1cf1093
         Rework CHANGELOG to reflect reality. KtorZ 2024-08-06 10:50:15 +0200
  • e6bb13def6
         Merge pull request #994 from aiken-lang/conditional-modules Matthias Benkort 2024-08-06 09:05:11 +0200
  • 5160ab49de Use char instead of str Riley-Kilgore 2024-07-31 07:39:41 -0700
  • 9296516f5a Fixed hyphen in filename breaking LSP Riley-Kilgore 2024-07-31 07:28:46 -0700
  • a07f8cbc58
         Fill-in CHANGELOG. KtorZ 2024-08-04 14:33:15 +0200
  • ec7f659539
         Allow bytes to be defined as plain strings, or with specified encoding. KtorZ 2024-08-04 14:29:05 +0200
  • 6454266b06
         Allow simple expressions as configuration in aiken.toml KtorZ 2024-08-04 13:18:54 +0200