KtorZ
|
17832fc5af
|
Fix clippy warnings: remove redundant closures & guards.
|
2023-10-21 21:27:31 +02:00 |
|
microproofs
|
596ce49327
|
fix: mixed up operators for ConstAboveDiagonal and ConstBelowDiagonal
Closes #618
|
2023-10-13 11:40:07 -04:00 |
|
microproofs
|
8964675670
|
feat: Add tracing for common multivalidator issues
|
2023-10-07 19:42:24 -04:00 |
|
microproofs
|
9335522df4
|
Make change @ktorz suggested
|
2023-10-07 19:42:24 -04:00 |
|
microproofs
|
98cb01413b
|
chore: prevent strings from being inlined and replicated
|
2023-10-07 19:42:24 -04:00 |
|
microproofs
|
fb6cbbec8b
|
chore: Release
|
2023-09-29 22:08:09 -04:00 |
|
microproofs
|
82ceb5b696
|
chore: Release
|
2023-09-29 19:39:28 -04:00 |
|
microproofs
|
fb2ca0e3e0
|
inline is actually cheaper in a lot of cases
|
2023-09-29 17:47:39 -04:00 |
|
microproofs
|
a2068ff062
|
fix: optmizer should never inline recursive functions
chore: some renames
|
2023-09-29 17:47:39 -04:00 |
|
microproofs
|
335560b81f
|
Add placeholders for new terms in optimize
Update tests to check optimization is applied properly
|
2023-09-29 17:47:39 -04:00 |
|
microproofs
|
5e2a78173b
|
optimization: increase the cases that inline_basic_reduce can handle
|
2023-09-29 17:47:39 -04:00 |
|
microproofs
|
47596f0324
|
feat: Remove tuple_index and record_access in favor of faster more direct functions for
accessing an item in a tuple or a field in a record
|
2023-09-28 01:05:05 -04:00 |
|
KtorZ
|
ee4001d2c8
|
chore: Release
|
2023-09-20 18:03:46 +02:00 |
|
KtorZ
|
9782c094b7
|
Fix clippy suggestions.
|
2023-09-08 16:21:07 +02:00 |
|
microproofs
|
819a0a20e6
|
add tests for case and constr
Fix a minor issue with decoding order
|
2023-09-03 11:52:49 -04:00 |
|
microproofs
|
c9b01ab365
|
chore: fill in cost model
test: Add case and constr eval tests
|
2023-09-03 11:52:49 -04:00 |
|
microproofs
|
85901dc141
|
chore: update cost model with placeholders for new terms to pass tests
|
2023-09-03 11:52:49 -04:00 |
|
microproofs
|
40e1d39f8b
|
Add placeholders for cost model
|
2023-09-03 11:52:49 -04:00 |
|
microproofs
|
33d6d3049e
|
add compute for the new terms constr and case
|
2023-09-03 11:52:49 -04:00 |
|
microproofs
|
e566c4e1de
|
feat(uplc): add Case and Const terms
- parsering
- interning
- flat encoding and decoding
- pretty printing
- debruijn conversion
Co-authored-by: Lucas Rosa <x@rvcas.dev>
|
2023-09-03 11:52:49 -04:00 |
|
rvcas
|
fb967d4c7b
|
fix: uplc formatter of Data closes #716
|
2023-08-31 17:20:48 -04:00 |
|
waalge
|
cd3a02416f
|
chore: rm unused pub function
|
2023-08-29 22:30:06 -04:00 |
|
waalge
|
756e16c14b
|
fix: rename assert to expect
|
2023-08-29 22:30:06 -04:00 |
|
rvcas
|
b075d85b40
|
chore: Release
|
2023-08-24 15:05:12 -06:00 |
|
rvcas
|
a7062ccb88
|
chore: fix versions
|
2023-08-24 15:04:19 -06:00 |
|
rvcas
|
747e057d05
|
fix: tags
|
2023-08-24 15:00:09 -06:00 |
|
KtorZ
|
2f0211a7b1
|
Bump all version manually because cargo workspaces didn't work.
|
2023-08-22 13:27:10 +02:00 |
|
microproofs
|
89c55a23fa
|
chore: Release
|
2023-08-19 20:17:00 -04:00 |
|
KtorZ
|
051e9a6851
|
Add some utility functions for displaying Term/PlutusData
This is useful with the blueprint stuff, where Term are often just plain PlutusData.
|
2023-08-19 13:39:39 -04:00 |
|
rvcas
|
690e41261e
|
chore: Release
|
2023-08-16 23:30:21 -04:00 |
|
rvcas
|
2600937447
|
chore: cargo fmt
|
2023-08-16 22:56:22 -04:00 |
|
logicalmechanism
|
649039c993
|
tx simulate still need fee work
|
2023-08-16 22:37:00 -04:00 |
|
logicalmechanism
|
050c41c8dc
|
tx simulate returns a vector of exbudgets now
|
2023-08-16 22:37:00 -04:00 |
|
microproofs
|
4a1ae9f412
|
set eval to public
|
2023-08-12 16:42:23 -04:00 |
|
microproofs
|
ca4a9fcd3d
|
chore: make eval function and SlotConfig public
|
2023-08-11 20:33:08 -04:00 |
|
microproofs
|
8af253e1df
|
chore: make slot_to_begin_posix_time a public function
|
2023-08-11 20:05:22 -04:00 |
|
Pi Lanningham
|
f464eb3702
|
Cargo fmt + clippy, with latest rust
|
2023-08-07 19:00:39 -04:00 |
|
microproofs
|
36c80f36c1
|
fix tests
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
f5c7d222aa
|
optmization fix
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
960a15c4ec
|
checkpoint - fixing tests and stuff
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
6eeb282dee
|
Now code gen is finished and we just have testing
|
2023-08-07 12:02:44 -04:00 |
|
rvcas
|
be7a441205
|
fix(uplc): pair type formatting closes #680
|
2023-07-19 13:49:05 -04:00 |
|
rvcas
|
97acd6d7bd
|
chore: Release
|
2023-07-15 21:37:10 -04:00 |
|
rvcas
|
621017bd93
|
chore: Release
|
2023-07-14 10:55:13 -04:00 |
|
Pi Lanningham
|
723c347a1a
|
Clippy
Clippy has a build failure locally, for some reason, so I have to use CICD to find these
|
2023-07-09 23:16:01 -04:00 |
|
Pi Lanningham
|
189150612c
|
cargo fmt :|
|
2023-07-09 23:16:01 -04:00 |
|
Pi Lanningham
|
26a4c57805
|
Clippy cleanup
|
2023-07-09 23:16:01 -04:00 |
|
Pi Lanningham
|
c4690c6e00
|
Data parsing, tests
|
2023-07-09 23:16:01 -04:00 |
|
Pi Lanningham
|
6d9a95ef2d
|
Add all but data parsing
Updates the parsing to the standard, *except* for Data, since that'll be more involved
|
2023-07-09 23:16:01 -04:00 |
|
Pi Lanningham
|
a48c45b737
|
Formatting
|
2023-07-09 23:16:01 -04:00 |