waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,362 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

294 Commits

Author SHA1 Message Date
KtorZ 660d2199d4
Make blueprint generation deterministic 
Sort validators before iterating on them.
 2023-03-17 14:57:39 +01:00
KtorZ c113582404 Support multi-clause patterns as syntactic sugar 
And disable multi-patterns clauses. I was originally just controlling
  whether we did disable that from the parser but then I figured we
  could actually support multi-patterns clauses quite easily by simply
  desugaring a multi-pattern into multiple clauses.

  This is only a syntactic sugar, which means that the cost of writing
  that on-chain is as expensive as writing the fully expanded form; yet
  it seems like a useful shorthand; especially for short clause
  expressions.

  This commit however disables multi-pattern when clauses, which we do
  not support in the code-generation. Instead, one pattern on tuples for
  that.
 2023-03-16 19:45:41 -04:00
KtorZ 13890874c0
Fix 'run' script, also do 'check' on modules that have validators. 2023-03-16 23:04:24 +01:00
Lucas fab6d56bf2
Merge branch 'main' into newline-assignment 2023-03-16 15:30:55 -04:00
KtorZ 45575cae96 Fix 'run' script and re-generate blueprint for scenario 077. 2023-03-16 15:29:44 -04:00
KtorZ 20f5baffa7
Enforce newline after assignment / clause. 
This leads to more consistent formatting across entire Aiken programs.
  Before that commit, only long expressions would be formatted on a
  newline, causing non-consistent formatting and additional reading
  barrier when looking at source code.

  Programs also now take more vertical space, which is better for more
  friendly diffing in version control systems (especially git).
 2023-03-16 19:46:46 +01:00
rvcas bf9297efcf
chore(gift_card): cardano scan url should be preprod as well 2023-03-16 09:45:11 -04:00
rvcas f7308f22fd
fix: gift_card deno.lock 2023-03-15 16:41:25 -04:00
waalge d13db5f34e Fix deno.lock 
Switch to preprod, and test against eternl (passed)
 2023-03-15 12:24:35 -04:00
rvcas 7e467ada2b chore(gift_card): more readme info 2023-03-14 19:13:21 -04:00
rvcas 56aa53eb73 chore: update lucid 2023-03-14 19:13:21 -04:00
rvcas 81359246f9 chore: update against latest main, rerun build, change unlock interface 2023-03-14 19:13:21 -04:00
rvcas 0147af8330 chore: rename example parents folder to gift card 2023-03-14 19:13:21 -04:00
rvcas a522cd1e7d chore: better names for the validators and some functions 2023-03-14 19:13:21 -04:00
rvcas 5e062c130d feat: finish up end to end example 
* create a gift card (nft)
* lock ADA while minting gift card
* unlock ADA while burning gift card

Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-14 19:13:21 -04:00
rvcas 79fd6b4828 feat(one_shot): actually getting properly applied contracts 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-14 19:13:21 -04:00
rvcas a82cedbd92 feat(one_shot): apply params to script 2023-03-14 19:13:21 -04:00
rvcas e35ccc9e0c feat(one_shot): document vendored lucid 2023-03-14 19:13:21 -04:00
rvcas 14cdac7bfa feat(one_shot): some deno and lucid stuff 2023-03-14 19:13:21 -04:00
rvcas ab1ee17ad4 feat(one_shot): some deno boilerplate 2023-03-14 19:13:21 -04:00
rvcas 7ea8aeda01 feat: one_shot example 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-14 19:13:21 -04:00
KtorZ ae981403c6 Re-introduce field title & description in referenced schemas. 2023-03-12 12:44:49 -04:00
KtorZ 45a463786f Update blueprints from acceptance tests and hello, world. 2023-03-12 12:44:49 -04:00
Kasey White 31c280552d add another validator 2023-03-12 00:25:26 -05:00
Kasey White 4a7bbc23df fix: change in scope was applied in wrong place in pattern_ir for constr expect 2023-03-12 00:25:26 -05:00
Kasey White f377d60085 ChooseData is now lazy with its branch arguments. 
This enables calling the un_data builtins directly from choose_data args
 2023-03-09 00:31:57 -05:00
KtorZ dbef4474fa Add new acceptance scenario: 065 
-> The provided Plutus code called 'error'.

  This scenario _could_ work if `choose_data` was lazy in its arguments.
  Which is a reasonable thing to expect from `choose_data`. Since we
  don't have any way to introduce on-demand lazyness in the language
  (and we are not looking for ways), we need to make a special case for
  `choose_data` which is a perfect (and singular) use case for it.
 2023-03-09 00:31:57 -05:00
Kasey White c85240cbed Fix exception when doing expect boolean = .. 
Add new Air Assert Bool
Add acceptance test 76
 2023-03-08 22:31:30 -05:00
Matthias Benkort d8934b3d8d
Merge pull request #421 from aiken-lang/monomorph-panic-fix 
Functions with only a generic return weren't being properly monomorph…
 2023-03-08 11:39:50 +01:00
Kasey White 89373c32e6
Functions with only a generic return weren't being properly monomorphized. Fixed that. 2023-03-08 10:31:05 +01:00
rvcas f8545854fc
feat: json output for uplc eval 2023-03-08 10:19:36 +01:00
KtorZ 7257c2d89e
Small tweaks on the hello_world examples. 2023-03-08 09:47:08 +01:00
KtorZ 4ea50ca9ab
Remove editor configuration file. 
Editor configurations and other system-specific files aren't meant to
  be committed to public repository. This belongs to a dev environment
  and should be handled by developers themselves though local git
  configurations.
 2023-03-08 09:42:03 +01:00
Jack Fraser 6ec37778d7 change var to utxo from lockOutRef 2023-03-07 19:15:03 -05:00
Jack Fraser 2cfa0aeda9 add missing types, update log descriptions, deno fmt 2023-03-07 19:15:03 -05:00
Jack Fraser 80afb5fc2d update cli documentation 2023-03-07 19:15:03 -05:00
Jack Fraser 6aa51213e4 add deno settings 2023-03-07 19:15:03 -05:00
rvcas 9b96f7bb2e
chore: commit acceptance test plutus files 2023-03-06 13:26:36 -05:00
Kasey White f230af436c fix: scope issue with expect and function calls 
Add acceptance test 72
 2023-03-03 01:00:35 -05:00
Kasey White 5779b77ccc fix: Had to also check for generic type in return of a function. 
add check to prevent stack overflow error
Add panic to prevent any other occurrences of stack overflow
 2023-03-02 21:49:20 -05:00
Kasey White 26b4156d5a remove comment 2023-03-02 21:49:20 -05:00
KtorZ 451d9d8493 Add new acceptance test scenario: 068 
Stack overflow happening during code generation.
 2023-03-02 21:49:20 -05:00
KtorZ 65c336cb82
Update blueprint outputs to reflect latest specification. 
Schemas of datums, redeemers and parameters are now nested under a field 'schema'. This allows to define a field 'purpose' at the same level.
 2023-03-02 17:17:27 +01:00
Kasey White 0c1c7da16f add accpetance test 71 2023-03-01 14:22:59 -05:00
Kasey White 665a8dec67 feat: add support for unconstr_data 
-Builitins IR now acts like Record IR in terms of argument consumption
-UnConstrData returns as Pair(Data,Data) to conform with how pairs are treated behind the scenes.
 2023-02-26 00:13:38 -05:00
KtorZ 81e072a14e Add new acceptance test scenario: 064 
- Type mismatch expected 'data' got 'integer'
  - Type mismatch expected 'data' got 'list data'
 2023-02-26 00:13:38 -05:00
KtorZ c0230a811f
Add 'plutusVersion' to blueprints. 2023-02-21 15:37:35 +01:00
Kasey White 70164282f8 fix: switch from unwrap to if let to allow boolean when 
fix: test 67 fixed to take in ByteArray instead of string literal
 2023-02-20 04:37:33 -05:00
Kasey White 87eb4ca3b4 feat: handle single constr when with multiple branches 
Add case to acceptance test 40
Add special case for top level single constr in a when.
 2023-02-20 02:46:46 -05:00
KtorZ 5132110d4b
Fix acceptance tests to use new syntax. 2023-02-19 10:10:40 +01:00