c89802eaed
chore: bump pallas version
2023-01-06 13:39:18 -05:00
3aba9baba5
Fixed reward account creation in ScriptContext
2023-01-05 10:31:32 -05:00
b0ea187151
better data deserialization errors and test hint
...
now runs even being in a sequence
2022-12-30 14:01:11 -05:00
a08c615da4
checkpoint
2022-12-27 19:35:08 -05:00
b7d506a8db
nested lists now work
2022-12-27 19:35:08 -05:00
6126ee4cb4
checkpoint
2022-12-27 19:35:08 -05:00
b97570bc00
Fixed clippy issue
2022-12-27 17:08:05 -05:00
c6b5380c27
Fixed ex unit budget limit per redeemer
2022-12-27 17:08:05 -05:00
b3266fb837
chore: clippy warnings
2022-12-20 16:32:31 -05:00
529b3e87ff
Rename builtin as 'verify_ed25519_signature'
...
It's best to keep builtin as-close-as possible to their standard name
because they're hard to document. We can then leverage the prelude and
the standard lib for convenient names.
2022-12-19 00:41:27 -05:00
e6c59dca2c
cleanup if then else a bit
2022-12-19 00:41:27 -05:00
775e90d782
chore: remove unnecessary Option wrapper on type
2022-12-15 18:22:31 -05:00
325a7b7b45
fix: correct V1 to_plutus_data() for txout with no datum hash
2022-12-15 18:22:31 -05:00
141a9aef30
feat: impl Sub for ExBudget
2022-12-08 19:24:20 -05:00
f250d3df84
feat: eval should take initial budget
2022-12-08 19:24:20 -05:00
2f7131e9b8
feat: add tuples and streamline conversion of types to and from data
2022-12-07 08:40:23 -05:00
29a30aa61f
feat: finished when constr is for IR and code gen
2022-12-05 14:18:44 -05:00
86ea41adc3
feat: start when expressions
2022-12-05 14:18:44 -05:00
8b24a66b7e
add field access and list patterns are finished
...
Co-authored-by: rvcas <x@rvcas.dev>
2022-12-05 14:18:44 -05:00
375499930a
Add UPLC support for 'ProtoList' & 'ProtoPair' constants
...
Supersedes #35 .
The syntax for these elements isn't "set in stone"; in the sense that it is unspecified in [input-output-hk/plutus](https://github.com/input-output-hk/plutus ). There's no visible plan from IOG to extend the Haskell parser to support this syntax, though there are samples of imagined syntax in the code. Thus, we can lead the way and simply choose a suitable syntax and let the Haskell implementation align to it later.
This syntax is thus inspired from input-output-hk/plutus' samples, with only a small change: we use `<` and `>` for encapsulating type declaration instead of `(`, `)`. There are already enough parentheses in the UPLC syntax, adding more reduces visibility.
Doing this, I've also added a lot more test cases for the UPLC parser. There could be more, but this is a good start.
Here are some example programs (taken from test cases) utilizing this syntax:
```
(program 0.0.0 (con list<bytestring> [#00 , #01 ]))
```
```
(program 0.0.0
(con pair
<integer, integer>
[14, 42]
)
)
```
```
(program 0.0.0
(con pair<string, list<integer>> ["foo", [14, 42]])
)
```
_(Note that this was mainly done as an exercise to get more familiar with Rust and parts of Aiken.)_
2022-12-03 10:16:16 -05:00
6066e3176c
move `to_string()` outside of the match
2022-11-28 17:30:45 -05:00
d5087dbcc7
fix: it's more consistent to have snakecase builtins
2022-11-24 18:36:22 -05:00
01e91b9fe5
chore: deal with clippy warnings
2022-11-10 01:27:18 -05:00
6c6aefd1c4
get basic when conditions to work
2022-11-08 22:21:07 -05:00
d8f3ada13e
chore: add default for Interner
2022-11-08 22:21:07 -05:00
ffa78e4c30
work out some initial direction for code gen
2022-11-08 22:21:07 -05:00
af7ca87ffc
Fixed more clippy issues
2022-11-04 18:21:22 +01:00
9a2c6753cd
Fixed clippy issues
2022-11-04 18:13:46 +01:00
d1141f306a
Sorted all relevant structures in ScriptContext
2022-11-04 17:58:23 +01:00
887f5eeee9
sorts inputs for sc
2022-11-03 05:04:21 -04:00
aabcacbe87
Expose Pallas stuff, bump version, update changelog
2022-10-27 20:40:37 -07:00
819256df99
feat: wrap up adding uplc builtins for now
2022-10-25 18:52:27 -04:00
c89690aa77
Create unknown constructor error for decode
2022-10-23 17:54:21 -04:00
360a5b6017
preceding bytes output changes if you error before position 5
2022-10-23 17:54:21 -04:00
15cfb22c8f
more detailed parse errors when decoding with flat
2022-10-23 17:54:21 -04:00
4ef654b660
fixed clippy issue
2022-10-22 18:01:36 -04:00
c6de827721
added apply_params_to_script function
2022-10-22 18:01:36 -04:00
e6f3c40429
changed i64 -> i128
2022-10-19 17:04:43 -04:00
a83c731eb1
fixed err description
2022-10-17 08:35:45 -04:00
ad542a68e8
removed unnecessary return statement
2022-10-17 08:35:45 -04:00
0856f6ccf2
added checked operators to some DefaultFunction
2022-10-17 08:35:45 -04:00
cfc1f92646
leave as i128
2022-10-17 08:35:45 -04:00
a14dae5863
changed slot_length to u32
2022-10-17 08:35:45 -04:00
28b9fed8e5
added i128 integer support
2022-10-17 08:35:45 -04:00
f3b9d33f32
added deserialisation error to machine
2022-09-27 09:13:00 -04:00
3256bfbc32
Wrapped errors in redeemer error
2022-09-26 16:33:52 -04:00
5ec991d83a
fixed error handling in eval raw
2022-09-26 03:24:31 -04:00
08596588a7
feat: output total budget spent from cli
2022-09-24 20:23:51 -04:00
4166e27fd7
chore: v1 comments
2022-09-24 19:52:40 -04:00
8620332b75
feat: move input from json to helper method
2022-09-24 19:40:07 -04:00
3cb24a1d00
update test mem and cpu assertions for eval tx tests
2022-09-24 18:19:18 -04:00
aa111f0a65
fixed slot
2022-09-25 00:01:01 +02:00
35d09c642b
fixed time conversion
2022-09-24 23:59:58 +02:00
fb0af3cfcf
fixed bugs
2022-09-24 17:47:07 -04:00
3eb4fb7523
fixed bugs
2022-09-24 23:09:55 +02:00
ca2d8f0a1f
ada policy is now empty and mintValue includes 0 ada
2022-09-24 15:47:51 -04:00
99a27f6a3d
new tests
2022-09-24 00:43:46 +02:00
3bb5826b91
change how mint gets converted to plutus data
2022-09-23 18:34:24 -04:00
c45643bb01
empty bytestring should return 0 not 1
2022-09-23 04:09:28 -04:00
9b6d4e20c7
check exunits for eval tests
2022-09-22 03:13:30 -04:00
2572ed6bbd
fix: remove BadTerm
2022-09-19 16:40:08 -04:00
169fa05572
added ex units from haskell plc
2022-09-19 22:32:56 +02:00
3e10fcbfbb
changed example 4 to check 'False'
2022-09-19 22:15:31 +02:00
caa88dab12
fix: valid condition for a script
2022-09-19 16:00:25 -04:00
6ccd0aa2fb
adding better debug for wrong term tag in uplc
2022-09-19 14:59:55 -04:00
21d71e94b3
added more tests
2022-09-19 18:19:56 +02:00
f12540d8e2
fixed missing script test
2022-09-19 17:17:15 +02:00
0ba8787b97
chore: clippy
2022-09-19 11:11:52 -04:00
f10e3836ad
feat: new error for bad term
2022-09-19 11:04:21 -04:00
30ed8d9150
fixed initial_budget
2022-09-19 14:53:44 +02:00
ea735428dd
fixed typos
2022-09-19 13:48:05 +02:00
4a6496db3f
Replaced unreachable statements with Error
2022-09-19 13:38:56 +02:00
1148863a43
Allow to set initial budget
2022-09-19 12:02:41 +02:00
83bac598de
removed deprecated comment
2022-09-19 10:58:45 +02:00
d5f398bc5f
Fixed output decoding for ResolvedInput
2022-09-19 10:50:25 +02:00
6c34c9be19
feat: even more errors work
2022-09-19 01:05:33 -04:00
9bab3187b1
feat: more errors
2022-09-19 00:39:52 -04:00
6e901de2f0
feat: implement script-related ledger checks for Tx Simulate ( #57 )
...
* feat: functions for extraneous/missing redeemers checks
* chore: typos
* feat: implement function to check for missing/extraneous scripts
* feat: check for missing/extraneous redeemers and scripts in eval_tx
* chore: add tests for missing/extraneous redeemers
* chore: remove duplicate file
2022-09-18 23:31:30 -04:00
9e280f9cb5
feat: rename transaction eval and add error enum
2022-09-18 15:35:10 -04:00
68fc0f643e
feat: add some v1 methods so that cost_mdls can be optional
2022-09-18 15:16:41 -04:00
dac25b6f41
fix cpu mem mix up on steps
2022-09-18 04:15:30 -04:00
6619a0e431
moved cost_mdls language determination into eval_redeemer
2022-09-18 09:37:14 +02:00
472cea6c41
parameratize cost model
2022-09-17 21:12:48 -04:00
d426f4922f
added eval_tx_raw
2022-09-16 17:13:42 +02:00
02a8a34fe8
expose tx simulation with simulate cli command
2022-09-16 04:35:20 -04:00
3f27bd9f13
move utils to uplc and break up
2022-09-16 04:00:29 -04:00
348ed3b719
fix: changes from pallas bump
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2022-09-14 22:00:52 -04:00
336af376e1
chore: bump pallas version
2022-09-14 18:52:42 -04:00
cf27c0c755
feat: apply redeemers and datum to script
2022-09-14 18:51:08 -04:00
6d6f671f4f
eval with inputs ( #56 )
2022-09-08 18:20:52 -04:00
739f38beac
UPLC data parsing support by CBOR notation ( #37 )
...
* Implement constant data parsing support
New notation: (con data #0000 )
Where #0000 is the CBOR hex representation of a PlutusDatum
* Add pretty printing support for data
* Format
2022-09-08 16:10:12 -04:00
c88e5df8b1
finish up builtin implementations for Vasil
2022-08-30 18:15:50 -04:00
2d1f147d40
remove extra dependencies and return result for data encode/decode
2022-08-29 14:07:13 -04:00
65b133251a
change pretty vars and handle larger range of cbor tags
2022-08-29 14:07:13 -04:00
833914c80c
done with data builtins
2022-08-29 14:07:13 -04:00
368cd4ad55
one more data builtin to go
2022-08-29 14:07:13 -04:00
00cc9f93d5
start making data with builtins
2022-08-29 14:07:13 -04:00
1a09a34873
mknil builtins
2022-08-29 14:07:13 -04:00
c34344ce21
add a few additional data builtins
2022-08-29 14:07:13 -04:00
c9c8e6e554
add unmap and other builtins to deconstruct data
2022-08-29 14:07:13 -04:00
rvcas