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 |
|
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
|
a14dae5863
|
changed slot_length to u32
|
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
|
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
|
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 |
|
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
|
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 |
|
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 |
|
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
|
8620332b75
|
feat: move input from json to helper method
|
2022-09-24 19:40:07 -04:00 |
|
alessandrokonrad
|
35d09c642b
|
fixed time conversion
|
2022-09-24 23:59:58 +02:00 |
|
rvcas
|
f10e3836ad
|
feat: new error for bad term
|
2022-09-19 11:04:21 -04:00 |
|
rvcas
|
6c34c9be19
|
feat: even more errors work
|
2022-09-19 01:05:33 -04:00 |
|
rvcas
|
9e280f9cb5
|
feat: rename transaction eval and add error enum
|
2022-09-18 15:35:10 -04:00 |
|
rvcas
|
68fc0f643e
|
feat: add some v1 methods so that cost_mdls can be optional
|
2022-09-18 15:16:41 -04:00 |
|
Kasey White
|
472cea6c41
|
parameratize cost model
|
2022-09-17 21:12:48 -04:00 |
|
Kasey White
|
02a8a34fe8
|
expose tx simulation with simulate cli command
|
2022-09-16 04:35:20 -04:00 |
|
Kasey White
|
3f27bd9f13
|
move utils to uplc and break up
|
2022-09-16 04:00:29 -04:00 |
|
rvcas
|
ddf3cdb6ec
|
chore: use alpha 3 instead of main
|
2022-09-15 11:29:08 -04:00 |
|
rvcas
|
26deb6df10
|
fix: it compiles again
|
2022-09-15 11:27:33 -04:00 |
|
rvcas
|
348ed3b719
|
fix: changes from pallas bump
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-09-14 22:00:52 -04:00 |
|
rvcas
|
336af376e1
|
chore: bump pallas version
|
2022-09-14 18:52:42 -04:00 |
|
alessandrokonrad
|
806d98e5fc
|
added error messages to execution purpose
|
2022-09-14 18:52:05 -04:00 |
|
alessandrokonrad
|
fc92c40c3c
|
fixed typo
|
2022-09-14 18:52:05 -04:00 |
|
alessandrokonrad
|
2bd46f90bb
|
error statemens after program
|
2022-09-14 18:52:05 -04:00 |
|
alessandrokonrad
|
829d959fa3
|
more error statements
|
2022-09-14 18:52:05 -04:00 |
|
alessandrokonrad
|
a408491e41
|
added error messages
|
2022-09-14 18:52:05 -04:00 |
|
alessandrokonrad
|
be8daa00dd
|
added plutusV1 test
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
6e4ff1e282
|
added plutusV1
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
d9b34973c7
|
fixed constructor tags
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
61bf55e151
|
added example
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
eb1466d269
|
fixed budget calc
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
fa6520e585
|
added full evaluation; still fails because hashes mismatch regarding pallas
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
76d326b9ac
|
completed execution part
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
b1b9d3a5d4
|
preliminary work on execution
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
080985b7c6
|
more bug fixes
|
2022-09-14 18:52:04 -04:00 |
|
alessandrokonrad
|
33c2a25fa3
|
bit more refactoring
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
ec63bd2365
|
fixed bugs in conversion to plutus data; little refactoring
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
f0d17897ab
|
fixed bug in tx_in_info
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
ecd363e67d
|
fixed bugs; preliminary work on eval
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
4060a25324
|
fixed bugs
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
24397d4b58
|
fixed time range
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
57816d4c09
|
added get script purpose
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
8b894f7351
|
added functions to get script context
|
2022-09-14 18:52:03 -04:00 |
|
alessandrokonrad
|
c0c7bd58b3
|
added all necessary trait impl for PlutusV2 scriptContext
|
2022-09-14 18:52:02 -04:00 |
|
alessandrokonrad
|
4e51826981
|
added more implementations for ToPlutusData
|
2022-09-14 18:52:02 -04:00 |
|
alessandrokonrad
|
60d7c52c26
|
added some structs; added ToPlutusData
|
2022-09-14 18:52:01 -04:00 |
|
rvcas
|
bc983d694a
|
feat: some cbor hex flags for flat and unflat
|
2022-09-14 18:51:38 -04:00 |
|
rvcas
|
da73995124
|
fix: resolved inputs should be a flag
|
2022-09-14 18:51:38 -04:00 |
|
Harper
|
d8cdeaf925
|
ouput (#51)
|
2022-09-14 18:51:38 -04:00 |
|
rvcas
|
564cd41626
|
chore: clean up tx in info
|
2022-09-14 18:51:37 -04:00 |
|
Kasey White
|
d5f8b749ae
|
add txininfo plutus data to main
|
2022-09-14 18:51:36 -04:00 |
|
rvcas
|
cf27c0c755
|
feat: apply redeemers and datum to script
|
2022-09-14 18:51:08 -04:00 |
|
rvcas
|
c9072deb09
|
feat: print some info
|
2022-09-14 18:50:11 -04:00 |
|
rvcas
|
055ca5c66b
|
feat: add a new subcommand for tx simulation
|
2022-09-14 18:50:05 -04:00 |
|
rvcas
|
4615132b05
|
Release 0.0.12
aiken@0.0.12
uplc@0.0.12
Generated by cargo-workspaces
|
2022-09-08 18:22:46 -04:00 |
|
Lucas
|
6d6f671f4f
|
eval with inputs (#56)
|
2022-09-08 18:20:52 -04:00 |
|
rvcas
|
1d6809661c
|
feat: lexer
|
2022-09-07 17:52:49 -04:00 |
|
rvcas
|
db5695a1c4
|
Release 0.0.11
aiken@0.0.11
uplc@0.0.11
Generated by cargo-workspaces
|
2022-09-07 17:49:27 -04:00 |
|
rvcas
|
4d742b5b47
|
chore: fix formatting
|
2022-09-06 15:45:08 -04:00 |
|
Niels Mündler
|
9b491b3777
|
Print machine logs (debug trace)
This may be made optional with a --verbose flag, but usually the user wants to see all invocations of the Trace command
|
2022-09-06 15:44:23 -04:00 |
|
Kasey White
|
2d1f147d40
|
remove extra dependencies and return result for data encode/decode
|
2022-08-29 14:07:13 -04:00 |
|
Kasey White
|
73e367ad53
|
add a data builtin and do ex_mem for pairs, list, data
|
2022-08-29 14:07:13 -04:00 |
|
rvcas
|
45e22c1ea8
|
Release 0.0.10
aiken@0.0.10
flat-rs@0.0.10
uplc@0.0.10
Generated by cargo-workspaces
|
2022-08-27 16:45:04 -04:00 |
|
rvcas
|
2b27261711
|
Release 0.0.9
aiken@0.0.9
uplc@0.0.9
Generated by cargo-workspaces
|
2022-08-17 22:48:06 -04:00 |
|
rvcas
|
c3f0814c9b
|
Release 0.0.8
aiken@0.0.8
uplc@0.0.8
Generated by cargo-workspaces
|
2022-08-12 19:45:20 -04:00 |
|
Kasey White
|
f3ace55355
|
Implement more builtins for bytestring and integer
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-08-10 12:23:34 -04:00 |
|
rvcas
|
4d04942a5e
|
Release 0.0.7
aiken@0.0.7
flat-rs@0.0.7
uplc@0.0.7
Generated by cargo-workspaces
|
2022-08-05 13:15:26 -04:00 |
|
rvcas
|
207f9e5ab0
|
Release 0.0.6
aiken@0.0.6
flat-rs@0.0.6
uplc@0.0.6
Generated by cargo-workspaces
|
2022-08-02 14:04:30 -04:00 |
|
rvcas
|
f332dfeb38
|
feat: 3 new error cases and more generic pretty printing
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
22f90bf07f
|
feat: impl ifThenElse kinda
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
0e2214a908
|
Implement apply evaluate
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
4db39c8790
|
Release 0.0.5
aiken@0.0.5
uplc@0.0.5
Generated by cargo-workspaces
|
2022-06-27 11:46:21 -04:00 |
|
rvcas
|
38e78cafeb
|
chore: readmes in uplc and cli
|
2022-06-18 23:15:05 -04:00 |
|
rvcas
|
0dd5cf2cb6
|
Release 0.0.4
aiken@0.0.4
Generated by cargo-workspaces
|
2022-06-18 23:06:15 -04:00 |
|
rvcas
|
7129ad6202
|
feat: remove authors from cli help
|
2022-06-18 23:06:05 -04:00 |