Turner
|
aabcacbe87
|
Expose Pallas stuff, bump version, update changelog
|
2022-10-27 20:40:37 -07:00 |
|
rvcas
|
819256df99
|
feat: wrap up adding uplc builtins for now
|
2022-10-25 18:52:27 -04:00 |
|
rvcas
|
d5d2ba9cd7
|
feat: start creating aiken/builtin module
|
2022-10-25 18:52:27 -04:00 |
|
rvcas
|
a41d05f7b6
|
feat: change project structure
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
825783ca61
|
feat: typecheck If expressions
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
5244e58c9f
|
feat: typechecking is working
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
cabc653167
|
feat: start expr inference
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
81c87ab4da
|
feat: register import, types, and values in environment
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
d0287d418b
|
feat: add prelude
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
4df3de0a03
|
feat: some boilerplate for typechecking
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
ed2ef4fa9b
|
feat: sort modules and detect cycles
|
2022-10-24 00:09:00 -04:00 |
|
rvcas
|
15c774b7d0
|
Release 0.0.21
aiken@0.0.21
flat-rs@0.0.21
uplc@0.0.21
Generated by cargo-workspaces
|
2022-10-23 17:58:21 -04:00 |
|
Kasey White
|
c89690aa77
|
Create unknown constructor error for decode
|
2022-10-23 17:54:21 -04:00 |
|
Kasey White
|
360a5b6017
|
preceding bytes output changes if you error before position 5
|
2022-10-23 17:54:21 -04:00 |
|
Kasey White
|
56984dea36
|
more spacing for parse error
|
2022-10-23 17:54:21 -04:00 |
|
Kasey White
|
15cfb22c8f
|
more detailed parse errors when decoding with flat
|
2022-10-23 17:54:21 -04:00 |
|
alessandrokonrad
|
4ef654b660
|
fixed clippy issue
|
2022-10-22 18:01:36 -04:00 |
|
alessandrokonrad
|
c6de827721
|
added apply_params_to_script function
|
2022-10-22 18:01:36 -04:00 |
|
alessandrokonrad
|
e6f3c40429
|
changed i64 -> i128
|
2022-10-19 17:04:43 -04:00 |
|
rvcas
|
ce875a3c47
|
Release 0.0.20
aiken@0.0.20
aiken-lang@0.0.20
flat-rs@0.0.20
uplc@0.0.20
Generated by cargo-workspaces
|
2022-10-17 17:22:50 -04:00 |
|
alessandrokonrad
|
a83c731eb1
|
fixed err description
|
2022-10-17 08:35:45 -04:00 |
|
alessandrokonrad
|
ad542a68e8
|
removed unnecessary return statement
|
2022-10-17 08:35:45 -04:00 |
|
alessandrokonrad
|
0856f6ccf2
|
added checked operators to some DefaultFunction
|
2022-10-17 08:35:45 -04:00 |
|
alessandrokonrad
|
cfc1f92646
|
leave as i128
|
2022-10-17 08:35:45 -04:00 |
|
alessandrokonrad
|
4e8fd53e70
|
fixed comments
|
2022-10-17 08:35:45 -04:00 |
|
alessandrokonrad
|
a14dae5863
|
changed slot_length to u32
|
2022-10-17 08:35:45 -04:00 |
|
alessandrokonrad
|
28b9fed8e5
|
added i128 integer support
|
2022-10-17 08:35:45 -04:00 |
|
rvcas
|
6e7ea45e11
|
fix: flip the cbor_hex if condition
|
2022-10-13 10:56:04 -04:00 |
|
rvcas
|
da89e9902c
|
feat: starting to get pretty error messages
|
2022-10-11 14:34:27 -04:00 |
|
rvcas
|
59d7b54473
|
feat: start integrating miette
|
2022-10-11 14:34:27 -04:00 |
|
rvcas
|
57dc50e3aa
|
chore: temp allow dead code
|
2022-10-09 15:39:28 -04:00 |
|
rvcas
|
03d4a6f1e1
|
chore: rename
|
2022-10-09 15:39:28 -04:00 |
|
rvcas
|
ff26db2245
|
feat: start project building
|
2022-10-09 15:39:28 -04:00 |
|
rvcas
|
2896b92203
|
Release 0.0.19
aiken@0.0.19
aiken-lang@0.0.19
Generated by cargo-workspaces
|
2022-10-04 17:10:21 -04:00 |
|
rvcas
|
6de41e64be
|
feat: add simple check command
|
2022-10-04 17:09:43 -04:00 |
|
rvcas
|
6ef8ba5c35
|
feat: if expressions
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
dba82d544d
|
feat: record update syntax
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
3ad915cafd
|
fix: list spread allowing no comma before spread
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
fb1ff759e1
|
feat: function calls and captures
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
1b61f4b25b
|
feat: field access
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
34492f600c
|
test: empty function definition
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
512431d27f
|
feat: anonymous functions
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
695ac409b7
|
feat: assert and boolean negation
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
c7c11d1bd5
|
feat: finish when clauses
|
2022-10-04 16:32:32 -04:00 |
|
Kasey White
|
722dc4b477
|
work on adding when clause
|
2022-10-04 16:32:32 -04:00 |
|
Kasey White
|
118a5ac54e
|
add some block parsing and a test (incomplete)
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
4acb849f09
|
fix: include return type in one function def
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
55f906482a
|
feat: strip for release builds
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
c5450d37d5
|
chore: move lang tests to a submodule
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
43b147a9e0
|
feat: lists and flatten sequences
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
3208dab718
|
feat: finish parsing let bindings
|
2022-10-04 16:32:32 -04:00 |
|
Kasey White
|
3c5039134f
|
attempt to parse let
|
2022-10-04 16:32:32 -04:00 |
|
Kasey White
|
60359ec9b0
|
add pipeline and logical ops to expr parsing
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
fff38e30d2
|
test: add more stuff to get successfully parsing
|
2022-10-04 16:32:32 -04:00 |
|
rvcas
|
8e3b32fe2c
|
Release 0.0.18
aiken@0.0.18
uplc@0.0.18
Generated by cargo-workspaces
|
2022-09-27 09:15:41 -04:00 |
|
rvcas
|
037297880c
|
Release 0.0.17
aiken@0.0.17
uplc@0.0.17
Generated by cargo-workspaces
|
2022-09-27 09:15:26 -04:00 |
|
rvcas
|
8f9481079c
|
Release 0.0.16
aiken@0.0.16
uplc@0.0.16
Generated by cargo-workspaces
|
2022-09-27 09:14:11 -04:00 |
|
alessandrokonrad
|
f3b9d33f32
|
added deserialisation error to machine
|
2022-09-27 09:13:00 -04:00 |
|
rvcas
|
94bfc2846c
|
Release 0.0.17
aiken-lang@0.0.17
Generated by cargo-workspaces
|
2022-09-26 17:13:44 -04:00 |
|
rvcas
|
4c1b04e022
|
chore: add Cargo.toml fields
|
2022-09-26 17:13:30 -04:00 |
|
rvcas
|
65f39432fa
|
Release 0.0.16
aiken@0.0.16
aiken-lang@0.0.16
Generated by cargo-workspaces
|
2022-09-26 17:11:01 -04:00 |
|
Lucas
|
28553e3d03
|
Merge pull request #33 from txpipe/lang
Lang
|
2022-09-26 17:10:30 -04:00 |
|
rvcas
|
119a6f1e77
|
feat: use pretty assert
|
2022-09-26 17:04:54 -04:00 |
|
rvcas
|
ae2866f784
|
Release 0.0.15
aiken@0.0.15
uplc@0.0.15
Generated by cargo-workspaces
|
2022-09-26 16:34:26 -04:00 |
|
alessandrokonrad
|
3256bfbc32
|
Wrapped errors in redeemer error
|
2022-09-26 16:33:52 -04:00 |
|
rvcas
|
81dd826ab8
|
Merge branch 'main' into lang
|
2022-09-26 11:15:02 -04:00 |
|
rvcas
|
4f26957806
|
feat: some expr with precendence parsing
|
2022-09-26 11:14:42 -04:00 |
|
rvcas
|
e817b39e4c
|
Release 0.0.14
aiken@0.0.14
uplc@0.0.14
Generated by cargo-workspaces
|
2022-09-26 09:59:28 -04:00 |
|
alessandrokonrad
|
5ec991d83a
|
fixed error handling in eval raw
|
2022-09-26 03:24:31 -04:00 |
|
rvcas
|
c08f6a8454
|
Merge branch 'main' into lang
|
2022-09-25 17:44:20 -04:00 |
|
rvcas
|
25790287b7
|
Release 0.0.13
aiken@0.0.13
uplc@0.0.13
Generated by cargo-workspaces
|
2022-09-24 20:35:36 -04:00 |
|
rvcas
|
08596588a7
|
feat: output total budget spent from cli
|
2022-09-24 20:23:51 -04:00 |
|
rvcas
|
4166e27fd7
|
chore: v1 comments
|
2022-09-24 19:52:40 -04:00 |
|
rvcas
|
8620332b75
|
feat: move input from json to helper method
|
2022-09-24 19:40:07 -04:00 |
|
Kasey White
|
3cb24a1d00
|
update test mem and cpu assertions for eval tx tests
|
2022-09-24 18:19:18 -04:00 |
|
alessandrokonrad
|
aa111f0a65
|
fixed slot
|
2022-09-25 00:01:01 +02:00 |
|
alessandrokonrad
|
35d09c642b
|
fixed time conversion
|
2022-09-24 23:59:58 +02:00 |
|
alessandrokonrad
|
fb0af3cfcf
|
fixed bugs
|
2022-09-24 17:47:07 -04:00 |
|
alessandrokonrad
|
3eb4fb7523
|
fixed bugs
|
2022-09-24 23:09:55 +02:00 |
|
Kasey White
|
ca2d8f0a1f
|
ada policy is now empty and mintValue includes 0 ada
|
2022-09-24 15:47:51 -04:00 |
|
alessandrokonrad
|
99a27f6a3d
|
new tests
|
2022-09-24 00:43:46 +02:00 |
|
Kasey White
|
3bb5826b91
|
change how mint gets converted to plutus data
|
2022-09-23 18:34:24 -04:00 |
|
Kasey White
|
c45643bb01
|
empty bytestring should return 0 not 1
|
2022-09-23 04:09:28 -04:00 |
|
Kasey White
|
9b6d4e20c7
|
check exunits for eval tests
|
2022-09-22 03:13:30 -04:00 |
|
rvcas
|
2572ed6bbd
|
fix: remove BadTerm
|
2022-09-19 16:40:08 -04:00 |
|
alessandrokonrad
|
169fa05572
|
added ex units from haskell plc
|
2022-09-19 22:32:56 +02:00 |
|
alessandrokonrad
|
3e10fcbfbb
|
changed example 4 to check 'False'
|
2022-09-19 22:15:31 +02:00 |
|
rvcas
|
caa88dab12
|
fix: valid condition for a script
|
2022-09-19 16:00:25 -04:00 |
|
Kasey White
|
6ccd0aa2fb
|
adding better debug for wrong term tag in uplc
|
2022-09-19 14:59:55 -04:00 |
|
alessandrokonrad
|
21d71e94b3
|
added more tests
|
2022-09-19 18:19:56 +02:00 |
|
alessandrokonrad
|
f12540d8e2
|
fixed missing script test
|
2022-09-19 17:17:15 +02:00 |
|
rvcas
|
0ba8787b97
|
chore: clippy
|
2022-09-19 11:11:52 -04:00 |
|
rvcas
|
f10e3836ad
|
feat: new error for bad term
|
2022-09-19 11:04:21 -04:00 |
|
alessandrokonrad
|
30ed8d9150
|
fixed initial_budget
|
2022-09-19 14:53:44 +02:00 |
|
alessandrokonrad
|
ea735428dd
|
fixed typos
|
2022-09-19 13:48:05 +02:00 |
|
alessandrokonrad
|
4a6496db3f
|
Replaced unreachable statements with Error
|
2022-09-19 13:38:56 +02:00 |
|
alessandrokonrad
|
1148863a43
|
Allow to set initial budget
|
2022-09-19 12:02:41 +02:00 |
|
alessandrokonrad
|
83bac598de
|
removed deprecated comment
|
2022-09-19 10:58:45 +02:00 |
|
alessandrokonrad
|
d5f398bc5f
|
Fixed output decoding for ResolvedInput
|
2022-09-19 10:50:25 +02:00 |
|
rvcas
|
6c34c9be19
|
feat: even more errors work
|
2022-09-19 01:05:33 -04:00 |